A contribution to topology in AST: Compactness
Commentationes Mathematicae Universitatis Carolinae (1987)
- Volume: 028, Issue: 1, page 43-61
- ISSN: 0010-2628
Access Full Article
topHow to cite
topČuda, Karel. "A contribution to topology in AST: Compactness." Commentationes Mathematicae Universitatis Carolinae 028.1 (1987): 43-61. <http://eudml.org/doc/17512>.
@article{Čuda1987,
author = {Čuda, Karel},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {indiscernibility relation; real class indiscernibles; independence of a graph; alternative set theory; nonstandard analysis; compactness},
language = {eng},
number = {1},
pages = {43-61},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {A contribution to topology in AST: Compactness},
url = {http://eudml.org/doc/17512},
volume = {028},
year = {1987},
}
TY - JOUR
AU - Čuda, Karel
TI - A contribution to topology in AST: Compactness
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1987
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 028
IS - 1
SP - 43
EP - 61
LA - eng
KW - indiscernibility relation; real class indiscernibles; independence of a graph; alternative set theory; nonstandard analysis; compactness
UR - http://eudml.org/doc/17512
ER -
References
top- P. VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) MR0581368
- K. ČUDA, Nonstandard models of arithmetic as an alternative basis for continuum considerations, Comment. Math. Univ. Carolinae 24 (1983), 415-430. (1983) MR0730137
- 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) MR0687559
- K. ČUDA B. KUSSOVÁ, Monads in basic equivalences, Comment. Math. Univ. Carolinae 24 (1983), 437-452. (1983) MR0730139
- K. ČUDA B. VOJTÁŠK0VÁ, Models of AST without choice, Comment. Math. Univ. Carolinae 25 (1984), 555-589. (1984) MR0782009
- R. L. GRAHAM, Rudiments of Ramsey Theory, Regional Conference Series in Math. (Num 45, 1981), (1981) Zbl0458.05043MR0608630
- K. ČUDA P. VOPĚNKA, Real and imaginary classes in the alternative set theory, Comment. Math. Univ. Caroline 20 (1979), 697-722. (1979) MR0555180
- J. R. SHOENFIELD, Mathematical logić, Addison-Wesley publ. comp. 1967. (1967) Zbl0155.01102MR0225631
- P. PUDLÁK A. SOCHOR, Models of the alternative set theory, Journ. of Symb. Log. 49 (1984), 570-585. (1984) MR0745386
- A. SOCHOR P. VOPĚNKA, Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) MR0566243
- A. SOCHOR A. VENCOVSKÁ, Indiscernibles in the alternative set theory, Comment. Math. Univ. Carolinae 22 (1981), 785-798. (1981) MR0647026
- P. VOPĚNKA, The lattice of indiscernibility equivalences, Comment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) MR0555179
- 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)
Citations in EuDML Documents
topNotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.