共 50 条
- [1] A cumulative hierarchy of sets for constructive set theoryMATHEMATICAL LOGIC QUARTERLY, 2014, 60 (1-2) : 21 - 30Ziegler, Albert
- [2] ZERMELO-FRAENKEL SET THEORY AND CUMULATIVE TYPE THEORYJOURNAL OF SYMBOLIC LOGIC, 1970, 35 (01) : 181 - &POLLOCK, JL
- [3] Theory of set and types of unconscious psycheVOPROSY PSIKHOLOGII, 2021, (06) : 13 - +Imedadze, I., V
- [4] Cumulative higher-order logic as a foundation for set theoryMATHEMATICAL LOGIC QUARTERLY, 2000, 46 (02) : 147 - 170Degen, WJohannsen, J
- [6] OMITTING TYPES IN SET-THEORY AND ARITHMETICJOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 25 - 32KNIGHT, JF
- [7] A SET THEORETIC APPROACH TO SIMPLE THEORY OF TYPESJOURNAL OF SYMBOLIC LOGIC, 1967, 32 (03) : 438 - &RESNIK, MD
- [8] OMITTING TYPES IN ARITHMETIC AND SET-THEORYNOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A588 - A589KNIGHT, JF
- [9] Types in class set theory and inaccessible cardinalsARCHIVE FOR MATHEMATICAL LOGIC, 1996, 35 (03) : 145 - 156Marshall, MV
- [10] ORDER TYPES OF ORDINALS IN MODELS OF SET-THEORYJOURNAL OF SYMBOLIC LOGIC, 1976, 41 (02) : 489 - 502HUTCHINSON, JE