Geodesic
Forcing in the alternative set theory. I
Commentationes Mathematicae Universitatis Carolinae, Tome 32 (1991) no. 2, pp. 323-337 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

The technique of forcing is developed for the alternative set theory (AST) and similar weak theories, where it can be used to prove some new independence results. There are also introduced some new extensions of AST.
The technique of forcing is developed for the alternative set theory (AST) and similar weak theories, where it can be used to prove some new independence results. There are also introduced some new extensions of AST.
Classification : 03E25, 03E35, 03E40, 03E45, 03E70
Keywords: alternative set theory; forcing; generic extension; symmetric extension; axiom of constructibility 
@article{CMUC_1991_32_2_a14,
     author = {Sgall, Ji\v{r}{\'\i}},
     title = {Forcing in the alternative set theory. {I}},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {323--337},
     year = {1991},
     volume = {32},
     number = {2},
     mrnumber = {1137794},
     zbl = {0751.03025},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1991_32_2_a14/}
}
TY  - JOUR
AU  - Sgall, Jiří
TI  - Forcing in the alternative set theory. I
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1991
SP  - 323
EP  - 337
VL  - 32
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMUC_1991_32_2_a14/
LA  - en
ID  - CMUC_1991_32_2_a14
ER  - 
%0 Journal Article
%A Sgall, Jiří
%T Forcing in the alternative set theory. I
%J Commentationes Mathematicae Universitatis Carolinae
%D 1991
%P 323-337
%V 32
%N 2
%U http://geodesic.mathdoc.fr/item/CMUC_1991_32_2_a14/
%G en
%F CMUC_1991_32_2_a14
Sgall, Jiří. Forcing in the alternative set theory. I. Commentationes Mathematicae Universitatis Carolinae, Tome 32 (1991) no. 2, pp. 323-337. http://geodesic.mathdoc.fr/item/CMUC_1991_32_2_a14/

[S 1979] Sochor A.: Metamathematics of the Alternative set theory I. Comment. Math. Univ. Carolinae 20 (1979), 697-722. | MR | Zbl

[S 1982] Sochor A.: Metamathematics of the Alternative set theory II. Comment. Math. Univ. Carolinae 23 (1982), 55-79. | MR | Zbl

[S 1985] Sochor A.: Constructibility and shiftings of view. Comment. Math. Univ. Carolinae 26 (1985), 477-498. | MR | Zbl

[S 1991] Sochor A.: Scheme of choice in higher order arithmetics. to appear.

[V] Vopěnka P.: Mathematics in the Alternative Set Theory. Leipzig, 1979. | MR