共 50 条
- [1] CONSEQUENCES OF ARITHMETIC FOR SET-THEORY [J]. JOURNAL OF SYMBOLIC LOGIC, 1994, 59 (01) : 30 - 40
- [2] OMITTING TYPES IN SET-THEORY AND ARITHMETIC [J]. JOURNAL OF SYMBOLIC LOGIC, 1976, 41 (01) : 25 - 32
- [3] OMITTING TYPES IN ARITHMETIC AND SET-THEORY [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (06): : A588 - A589
- [4] DIALOGUE THEORY OF PROOFS FOR ARITHMETIC, ANALYSIS, AND SET-THEORY [J]. RUSSIAN ACADEMY OF SCIENCES IZVESTIYA MATHEMATICS, 1995, 44 (03): : 571 - 600
- [5] POINTWISE DEFINABLE MODELS OF ARITHMETIC AND SET-THEORY [J]. NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (04): : A447 - A447