Forcing in the alternative set theory. II
Sgall, Jiří ; Sochor, Antonín
Commentationes Mathematicae Universitatis Carolinae, Tome 32 (1991), p. 339-353 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)

By the technique of forcing, some new independence results are proved for the alternative set theory (AST) and similar weak theories: The scheme of choice is independent both of AST and of second order arithmetic, axiom of constructibility is independent of AST plus schemes of choice.

Publié le : 1991-01-01
Classification:  03E25,  03E35,  03E40,  03E45,  03E70 
@article{116975,
     author = {Ji\v r\'\i\ Sgall and Anton\'\i n Sochor},
     title = {Forcing in the alternative set theory. II},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {32},
     year = {1991},
     pages = {339-353},
     zbl = {0751.03026},
     mrnumber = {1137795},
     language = {en},
     url = {http://dml.mathdoc.fr/item/116975}
}

Sgall, Jiří; Sochor, Antonín. Forcing in the alternative set theory. II. Commentationes Mathematicae Universitatis Carolinae, Tome 32 (1991) pp. 339-353. http://gdmltest.u-ga.fr/item/116975/

Adamowicz Z. Constructible semi-lattices of degrees of constructibility, In: Set Theory and Hierarchy Theory V, Lecture Notes in Mathematics 619, p. 1-43. | MR 0505487 | Zbl 0369.02042

Lévy A. Definability in axiomatic set theory II, In: Mathematical Logic and Foundations of Set Theory, ed. by Y. Bar-Hillel, North-Holland, 1970. | MR 0268037

Sochor A. Metamathematics of the alternative set theory II, Comment. Math. Univ. Carolinae 23 (1982), 55-79. (1982) | MR 0653351 | Zbl 0493.03030

Sochor A. Constructibility and shiftings of view, Comment. Math. Univ. Carolinae 26 (1985), 477-498. (1985) | MR 0817822 | Zbl 0583.03040

Sgall J. Forcing in the alternative set theory I, Comment. Math. Univ. Carolinae 32 (1991), 323-337. (1991) | MR 1137794 | Zbl 0751.03025

Vopěnka P. Mathematics in the Alternative Set Theory, Leipzig, 1979. | MR 0581368