Publisher: Cambridge University Press
E-ISSN: 1446-8735|56|4|359-372
ISSN: 1446-1811
Source: ANZIAM Journal, Vol.56, Iss.4, 2015-07, pp. : 359-372
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
Extendible sentential calculus
The Journal of Symbolic Logic, Vol. 24, Iss. 3, 1959-09 ,pp. :
A EUROPEAN OPTION GENERAL FIRST-ORDER ERROR FORMULA
ANZIAM Journal, Vol. 54, Iss. 4, 2013-04 ,pp. :
Laver sequences for extendible and super-almost-huge cardinals
The Journal of Symbolic Logic, Vol. 64, Iss. 3, 1999-09 ,pp. :