共 50 条
- [34] OMEGA-CONSERVATIVITY OF THE NONSTANDARD QUANTITY THEOREM OF NELSON REGARDING ZERMELO-FRAENKEL + COMPACTNESS THEORY ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1984, 30 (02): : 133 - 144
- [37] REPRESENTATION OF PARTIAL ORDERING IN CARDINALS OF MODEL OF ZERMELO-FRAENKEL SET THEORY .2. SETS OF INCOMPARABLE POWERS BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1966, 14 (09): : 479 - &
- [39] Lifschitz realizability for intuitionistic Zermelo–Fraenkel set theory Archive for Mathematical Logic, 2012, 51 : 789 - 818