A contribution to topology in AST: Compactness
Čuda, Karel
Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987), p. 43-61 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1987-01-01
Classification:  03E70,  54J05 
@article{106508,
     author = {Karel \v Cuda},
     title = {A contribution to topology in AST: Compactness},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {028},
     year = {1987},
     pages = {43-61},
     zbl = {0617.03033},
     mrnumber = {889767},
     language = {en},
     url = {http://dml.mathdoc.fr/item/106508}
}

Čuda, Karel. A contribution to topology in AST: Compactness. Commentationes Mathematicae Universitatis Carolinae, Tome 028 (1987) pp. 43-61. http://gdmltest.u-ga.fr/item/106508/

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

K. Čuda Nonstandard models of arithmetic as an alternative basis for continuum considerations, Comment. Math. Univ. Carolinae 24 (1983), 415-430. (1983) | MR 0730137

K. Čuda Contribution to the topology in AST: Almostindiscernibilities, (to appear).

K. Čuda B. Kussová Basic equivalences in the alternative set theory, Comment. Math. Univ. Carolinae 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

K. Čuda B. Vojtášk0Vá Models of AST without choice, Comment. Math. Univ. Carolinae 25 (1984), 555-589. (1984) | MR 0782009

R. L. Graham Rudiments of Ramsey Theory, Regional Conference Series in Math. (Num 45, 1981), (1981) | MR 0608630 | Zbl 0458.05043

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

J. R. Shoenfield Mathematical logić, Addison-Wesley publ. comp. 1967. (1967) | MR 0225631 | Zbl 0155.01102

P. Pudlák A. Sochor Models of the alternative set theory, Journ. of Symb. Log. 49 (1984), 570-585. (1984) | MR 0745386

A. Sochor P. Vopěnka Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) | MR 0566243

A. Sochor A. Vencovská Indiscernibles in the alternative set theory, Comment. Math. Univ. Carolinae 22 (1981), 785-798. (1981) | MR 0647026

P. Vopěnka The lattice of indiscernibility equivalences, Comment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) | MR 0555179

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)