Global quantification in Zermelo-Fraenkel set theory

Publisher： Cambridge University Press

E-ISSN： 1943-5886|50|2|289-301

ISSN： 0022-4812

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

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

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

By  

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

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-Fraenkel consistency results by Fraenkel-Mostowski methods

By  

The Journal of Symbolic Logic, Vol. 37, Iss. 4, 1972-12 ,pp. : 721-743

Cambridge University Press

Access to resources Recommend Favorite