Publisher： Cambridge University Press
E-ISSN： 2056-6328|95|533|240-243
ISSN： 0025-5572
Source： The Mathematical Gazette, Vol.95, Iss.533, 2011-07, pp. : 240-243
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Forcing axiom failure for any >ℵ 1
Archive for Mathematical Logic, Vol. 43, Iss. 3, 2004-04 ,pp. :
Access to resources
Recommend
A hierarchy for the 1-section of any type two object
The Journal of Symbolic Logic, Vol. 39, Iss. 1, 1974-03 ,pp. :
Constructive solution of the robotic chassis AnyWalker
ITM Web of conferences, Vol. 6, Iss. issue, 2016-03 ,pp. :
Access to resources
Small forcing makes any cardinal superdestructible
The Journal of Symbolic Logic, Vol. 63, Iss. 1, 1998-03 ,pp. :
A consistent prepositional logic without any finite models
The Journal of Symbolic Logic, Vol. 50, Iss. 1, 1985-03 ,pp. :