LIFTING PROOF THEORY TO THE COUNTABLE ORDINALS: ZERMELO-FRAENKEL SET THEORY

Publisher： Cambridge University Press

E-ISSN： 1943-5886|79|2|325-354

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.79, Iss.2, 2014-06, pp. : 325-354

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

A completeness theorem for Zermelo-Fraenkel set theory

By  

The Journal of Symbolic Logic, Vol. 41, Iss. 2, 1976-06 ,pp. : 323-327

Cambridge University Press

Access to resources Recommend Favorite

Global quantification in Zermelo-Fraenkel set theory

By  

The Journal of Symbolic Logic, Vol. 50, Iss. 2, 1985-06 ,pp. : 289-301

Cambridge University Press

Access to resources Recommend Favorite

The disjunction and related properties for constructive Zermelo-Fraenkel set theory

By  

The Journal of Symbolic Logic, Vol. 70, Iss. 4, 2005-12 ,pp. : 1233-1254

Cambridge University Press

Access to resources Recommend Favorite

An investigation of several finiteness criteria relative to Zermelo-Fraenkel set theory

By  

Bulletin of the Australian Mathematical Society, Vol. 7, Iss. 2, 1972-10 ,pp. : 300-300

Cambridge University Press

Access to resources Recommend Favorite

Zermelo and Set Theory

By  

Bulletin of Symbolic Logic, Vol. 10, Iss. 4, 2004-12 ,pp. : 487-553

Cambridge University Press

Access to resources Recommend Favorite