Metamathematics of the alternative set theory. I.

 Access to full text

 Full (PDF)

1. P. BERNAYS, A system of axiomatic set theory, Journ. Symb. Logic 2 (1937), 65-77. (1937) Zbl0019.29403
2. J. L. BELL A. B. SLOMSON, Models and Ultraproducts, North-Holland 1971. (1971) 
3. R. BOYD G. HENSEL H. PUTNAM, A recursion-theoretic characterization of the ramified analytic hierarchy, T.A.M.S. 141 (1969), 37-62. (1969) MR0242673
4. H. ENDERTON, Constructible $\beta$-models, Zeitschrift f. math. Logik 19 (1973), 277-282. (1973) Zbl0301.02053MR0325376
5. P. COHEN, The independence of the continuum hypothesis, Proc. Nat. Acad. Sci. 50 (1963), 1143-1148 and 51 (1964), 105-110. (1963) MR0157890
6. K. GÖDEL, The consistency of the axiom of choice and of the generalized continuum hypothesis, Ann. of Math. Studies, Princeton 1940. (1940) 
7. S. FEFERMAN, Arithmetization of metamathematics in a general setting, Fundamenta Math. 49 (1960-61), 35-92. (1960) Zbl0095.24301MR0147397
8. A. HAJNAL, On a Consistency Theorem Connected with the Generalized Continuum Problem, Zeitschrift f. math. Logik 2 (1956), 131-136. (1956) Zbl0074.01203MR0091914
9. R. MONTAGUE, Semantical closure ani non-finite axiomatizability I in Infinistic methods, Warsaw 1959, 45-69. (1959) MR0150033
10. A. MOSTOWSKI, On models of axiomatic systems, Fund. Math. 39 (1952), 133-158. (1952) MR0054547
11. M. MACHOVER J. HIRSCHFELD, Lectures on Non-Standard Analysis, Lect. Notes in Math, no 94, Springer 1969. (1969) MR0249285
12. W. MAREK A. SOGHOR, On weak Kelley-Morse theory of classes, Comment. Math. Univ. Carolinae 19 (1978), 371-381. (1978) MR0491176
13. W. MAREK M. STREBRNY, No minimal transitive model of $Z^{-}$, Zeitschr. f. math. Logik 21 (1975), 225-228. (1975) MR0381996
14. I. L. NOVAK, Models of consistent systems, Fund. Math. 37 (1950), 87-110. (1950) Zbl0039.24504MR0041082
15. L. RIEGER, A contribution to Gödel's axiomatic set theory III, Czech. Math. J. 9 (1959), 51-88. (1959) 
16. A. ROBINSON, Non-Standard Analysis, North-Holland, Amsterdam 1966. (1966) Zbl0151.00803MR0205854
17. J. R. SHOENFIELD, Mathematical Logic, Reading, Mass. 1968. (1968) MR0225631
18. J. R. SHOENFIELD, A relative consistency proof, JSL 19 (1954), 21-28. (1954) Zbl0055.00404MR0060433
19. T. SKOLEM, Einige Bemerkung zur axiomatischen Begründung der Mengenlehre, Wissenschaftl. Vorträge gen. a. d. V. Kongress d. Skandinavischer Mathematiker, Helsingfors 1923, 217-232. (1923) 
20. A. SOCHOR, The alternative set theory, Set theory and hierarchy theory - A Memorial tribute to A. Mostowski, Lect. Notes in Math, no 537, 259-271, Springer 1976. (1976) Zbl0344.02049MR0462948
21. A. SOCHOR, Differential calculus in alternative set theory, Set theory and hierarchy theory V, Lect. Notes in Math, no 619, 273-284, Springer 1977. (1977) MR0472524
22. A. SOCHOR, Real classes in the ultrapower of hereditarily finite sets, Comment. Math. Univ. Carolinae 16 (1975), 637-640. (1975) Zbl0327.02047MR0389588
23. A. SOCHOR P. VOPĚNKA, Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) MR0555178
24. A. SOCHOR P. VOPĚNKA, Revealments, to appear in Comment. Math. Univ. Carolinae 21 (1980). (1980) MR0566243
25. A. TARSKI A. MOSTOWSKI A. ROBINSON, Undecidable Theories, North-Holland 1953. (1953) MR0058532
26. P. VOPĚNKA, Mathematics in Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) MR0581368
27. P. VOPĚNKA P. HÁJEK, The Theory of Semisets, North-Holland Amsterdam and Academia Prague 1972. (1972) MR0444473
28. P. ZBIERSKI, Models for higfter order arithmetic, BAPS 19 (1971), 557-562. (1971) MR0307907

1. Jiří Sgall, Construction of the class FN
2. Antonín Sochor, Metamathematics of the alternative set theory. II.
3. Michal Resl, On models in the alternative set theory
4. Karel Čuda, The consistency of the measurability of projective semisets
5. Antonín Sochor, Petr Vopěnka, Shiftings of the horizon
6. Michal Resl, Antonín Sochor, Provability in the alternative set theory
7. Antonín Sochor, Petr Vopěnka, The axiom of reflection
8. Karel Čuda, Blanka Vojtášková, Model-theoretical constructions in AST. I.
9. Jiří Sgall, Forcing in the alternative set theory. I
10. Nando Prati, Alternative set theory with elementary classes