Metamathematics of the alternative set theory. I.
Sochor, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 020 (1979), p. 697-722 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1979-01-01
Classification:  02K05,  02K10,  02K15,  03E35,  03E70 
@article{105962,
     author = {Anton\'\i n Sochor},
     title = {Metamathematics of the alternative set theory. I.},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {020},
     year = {1979},
     pages = {697-722},
     zbl = {0433.03028},
     mrnumber = {555184},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105962}
}

Sochor, Antonín. Metamathematics of the alternative set theory. I.. Commentationes Mathematicae Universitatis Carolinae, Tome 020 (1979) pp. 697-722. http://gdmltest.u-ga.fr/item/105962/

P. Bernays A system of axiomatic set theory, Journ. Symb. Logic 2 (1937), 65-77. (1937) | Zbl 0019.29403

J. L. Bell A. B. Slomson Models and Ultraproducts, North-Holland 1971. (1971)

R. Boyd G. Hensel H. Putnam A recursion-theoretic characterization of the ramified analytic hierarchy, T.A.M.S. 141 (1969), 37-62. (1969) | MR 0242673

H. Enderton Constructible $\beta $-models, Zeitschrift f. math. Logik 19 (1973), 277-282. (1973) | MR 0325376 | Zbl 0301.02053

P. Cohen The independence of the continuum hypothesis, Proc. Nat. Acad. Sci. 50 (1963), 1143-1148 and 51 (1964), 105-110. (1963) | MR 0157890

K. Gödel The consistency of the axiom of choice and of the generalized continuum hypothesis, Ann. of Math. Studies, Princeton 1940. (1940)

S. Feferman Arithmetization of metamathematics in a general setting, Fundamenta Math. 49 (1960-61), 35-92. (1960) | MR 0147397 | Zbl 0095.24301

A. Hajnal On a Consistency Theorem Connected with the Generalized Continuum Problem, Zeitschrift f. math. Logik 2 (1956), 131-136. (1956) | MR 0091914 | Zbl 0074.01203

R. Montague Semantical closure ani non-finite axiomatizability I in Infinistic methods, Warsaw 1959, 45-69. (1959) | MR 0150033

A. Mostowski On models of axiomatic systems, Fund. Math. 39 (1952), 133-158. (1952) | MR 0054547

M. Machover J. Hirschfeld Lectures on Non-Standard Analysis, Lect. Notes in Math, no 94, Springer 1969. (1969) | MR 0249285

W. Marek A. Soghor On weak Kelley-Morse theory of classes, Comment. Math. Univ. Carolinae 19 (1978), 371-381. (1978) | MR 0491176

W. Marek M. Strebrny No minimal transitive model of $Z^-$, Zeitschr. f. math. Logik 21 (1975), 225-228. (1975) | MR 0381996

I. L. Novak Models of consistent systems, Fund. Math. 37 (1950), 87-110. (1950) | MR 0041082 | Zbl 0039.24504

L. Rieger A contribution to Gödel's axiomatic set theory III, Czech. Math. J. 9 (1959), 51-88. (1959)

A. Robinson Non-Standard Analysis, North-Holland, Amsterdam 1966. (1966) | MR 0205854 | Zbl 0151.00803

J. R. Shoenfield Mathematical Logic, Reading, Mass. 1968. (1968) | MR 0225631

J. R. Shoenfield A relative consistency proof, JSL 19 (1954), 21-28. (1954) | MR 0060433 | Zbl 0055.00404

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)

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) | MR 0462948 | Zbl 0344.02049

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) | MR 0472524

A. Sochor Real classes in the ultrapower of hereditarily finite sets, Comment. Math. Univ. Carolinae 16 (1975), 637-640. (1975) | MR 0389588 | Zbl 0327.02047

A. Sochor P. Vopěnka Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) | MR 0555178

A. Sochor P. Vopěnka Revealments, to appear in Comment. Math. Univ. Carolinae 21 (1980). (1980) | MR 0566243

A. Tarski A. Mostowski A. Robinson Undecidable Theories, North-Holland 1953. (1953) | MR 0058532

P. Vopěnka Mathematics in Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) | MR 0581368

P. Vopěnka P. Hájek The Theory of Semisets, North-Holland Amsterdam and Academia Prague 1972. (1972) | MR 0444473

P. Zbierski Models for higfter order arithmetic, BAPS 19 (1971), 557-562. (1971) | MR 0307907