Models of AST without choice
Čuda, Karel ; Vojtášková, Blanka
Commentationes Mathematicae Universitatis Carolinae, Tome 025 (1984), p. 555-589 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1984-01-01
Classification:  03E25,  03E70 
@article{106326,
     author = {Karel \v Cuda and Blanka Vojt\'a\v skov\'a},
     title = {Models of AST without choice},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {025},
     year = {1984},
     pages = {555-589},
     zbl = {0561.03028},
     mrnumber = {782009},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106326}
}

Čuda, Karel; Vojtášková, Blanka. Models of AST without choice. Commentationes Mathematicae Universitatis Carolinae, Tome 025 (1984) pp. 555-589. http://gdmltest.u-ga.fr/item/106326/

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

K. Čuda B. Kussová Basic equivalences in the alternative set theory, Comment. Math. Univ. Carolines 23 (1982), 629-644. (1982) | MR 0687559

K. Čuda B. Kussová Monads in basic equivalences, Comment. Math. Univ. Carolinae 24 (1983), 437-452. (1983) | MR 0730139

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

K. Čuda P. Vopěnka Real and imaginary classes in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) | MR 0555180

A. Sochor Metamathematics of the alternative set theory I, Comment. Math. Univ. Carolinae 20 (1979), 697-722. (1979) | MR 0555184 | Zbl 0433.03028

A. Sochor P. Vopěnka The axiom of reflection, Comment. Math. Univ. Carolinae 22 (1981), 689-699. (1981) | MR 0647017

A. Vencovská Independence of the axiom of choice in the alternative set theory, Open days in model theory and set theory, Proceedings of a conference held in September 1981 at Jadwisin; W. Guzicki, W. Marek, A. Pelc, C. Rauszer (Leeds 1984). (1981)

G. Cherling J. Hirscheld Ultrafliters and ultraproducts in non-standard analysis, Contributions to Non-Standard Analysis, Studies in Logic, vol. 69, North-Holl. Publ. Company, 261-279. | MR 0485344