Geodesic
Metamathematics of the alternative set theory. I
Commentationes Mathematicae Universitatis Carolinae, Tome 20 (1979) no. 4, pp. 697-722

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR   Zbl

Classification : 02K05, 02K10, 02K15, 03E35, 03E70 
Sochor, Antonín. Metamathematics of the alternative set theory. I. Commentationes Mathematicae Universitatis Carolinae, Tome 20 (1979) no. 4, pp. 697-722. http://geodesic.mathdoc.fr/item/CMUC_1979_20_4_a6/
@article{CMUC_1979_20_4_a6,
     author = {Sochor, Anton{\'\i}n},
     title = {Metamathematics of the alternative set theory. {I}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {697--722},
     year = {1979},
     volume = {20},
     number = {4},
     mrnumber = {555184},
     zbl = {0433.03028},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1979_20_4_a6/}
}
TY  - JOUR
AU  - Sochor, Antonín
TI  - Metamathematics of the alternative set theory. I
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1979
SP  - 697
EP  - 722
VL  - 20
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/CMUC_1979_20_4_a6/
LA  - en
ID  - CMUC_1979_20_4_a6
ER  - 
%0 Journal Article
%A Sochor, Antonín
%T Metamathematics of the alternative set theory. I
%J Commentationes Mathematicae Universitatis Carolinae
%D 1979
%P 697-722
%V 20
%N 4
%U http://geodesic.mathdoc.fr/item/CMUC_1979_20_4_a6/
%G en
%F CMUC_1979_20_4_a6

[B] P. BERNAYS: A system of axiomatic set theory. Journ. Symb. Logic 2 (1937), 65-77. | Zbl

[B-S] J. L. BELL A. B. SLOMSON: Models and Ultraproducts. North-Holland 1971.

[B-H-P] R. BOYD G. HENSEL H. PUTNAM: A recursion-theoretic characterization of the ramified analytic hierarchy. T.A.M.S. 141 (1969), 37-62. | MR

[E] H. ENDERTON: Constructible $\beta $-models. Zeitschrift f. math. Logik 19 (1973), 277-282. | MR | Zbl

[C] P. COHEN: The independence of the continuum hypothesis. Proc. Nat. Acad. Sci. 50 (1963), 1143-1148 and 51 (1964), 105-110. | MR

[G] K. GÖDEL: The consistency of the axiom of choice and of the generalized continuum hypothesis. Ann. of Math. Studies, Princeton 1940.

[F] S. FEFERMAN: Arithmetization of metamathematics in a general setting. Fundamenta Math. 49 (1960-61), 35-92. | MR | Zbl

[H] A. HAJNAL: On a Consistency Theorem Connected with the Generalized Continuum Problem. Zeitschrift f. math. Logik 2 (1956), 131-136. | MR | Zbl

[M] R. MONTAGUE: Semantical closure ani non-finite axiomatizability I in Infinistic methods. Warsaw 1959, 45-69. | MR

[Mo] A. MOSTOWSKI: On models of axiomatic systems. Fund. Math. 39 (1952), 133-158. | MR

[M-H] M. MACHOVER J. HIRSCHFELD: Lectures on Non-Standard Analysis. Lect. Notes in Math, no 94, Springer 1969. | MR

[M-S] W. MAREK A. SOGHOR: On weak Kelley-Morse theory of classes. Comment. Math. Univ. Carolinae 19 (1978), 371-381. | MR

[M-St] W. MAREK M. STREBRNY: No minimal transitive model of $Z^-$. Zeitschr. f. math. Logik 21 (1975), 225-228. | MR

[N] I. L. NOVAK: Models of consistent systems. Fund. Math. 37 (1950), 87-110. | MR | Zbl

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

[Ro] A. ROBINSON: Non-Standard Analysis. North-Holland, Amsterdam 1966. | MR | Zbl

[Sh] J. R. SHOENFIELD: Mathematical Logic. Reading, Mass. 1968. | MR

[Sh 1] J. R. SHOENFIELD: A relative consistency proof. JSL 19 (1954), 21-28. | MR | Zbl

[Sk] 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.

[So 1] 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. | MR | Zbl

[So 2] A. SOCHOR: Differential calculus in alternative set theory. Set theory and hierarchy theory V, Lect. Notes in Math, no 619, 273-284, Springer 1977. | MR

[So 3] A. SOCHOR: Real classes in the ultrapower of hereditarily finite sets. Comment. Math. Univ. Carolinae 16 (1975), 637-640. | MR | Zbl

[S-V 1] A. SOCHOR P. VOPĚNKA: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. | MR

[S-V 2] A. SOCHOR P. VOPĚNKA: Revealments. to appear in Comment. Math. Univ. Carolinae 21 (1980). | MR

[T-M-R] A. TARSKI A. MOSTOWSKI A. ROBINSON: Undecidable Theories. North-Holland 1953. | MR

[V] P. VOPĚNKA: Mathematics in Alternative Set Theory. Teubner-Texte, Leipzig 1979. | MR

[V-H] P. VOPĚNKA P. HÁJEK: The Theory of Semisets. North-Holland Amsterdam and Academia Prague 1972. | MR

[Z] P. ZBIERSKI: Models for higfter order arithmetic. BAPS 19 (1971), 557-562. | MR