Biequivalences and topology in the alternative set theory
Jaroslav Guričan; Pavol Zlatoš
Commentationes Mathematicae Universitatis Carolinae (1985)
- Volume: 026, Issue: 3, page 525-552
- ISSN: 0010-2628
Access Full Article
topHow to cite
topGuričan, Jaroslav, and Zlatoš, Pavol. "Biequivalences and topology in the alternative set theory." Commentationes Mathematicae Universitatis Carolinae 026.3 (1985): 525-552. <http://eudml.org/doc/17403>.
@article{Guričan1985,
author = {Guričan, Jaroslav, Zlatoš, Pavol},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = { -equivalence; -equivalence; biequivalences; compatible; continuous functions; compactness results; relations; monad; galaxy; figure; accessibility; indiscernibility; AST; alternative set theory; NSA},
language = {eng},
number = {3},
pages = {525-552},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Biequivalences and topology in the alternative set theory},
url = {http://eudml.org/doc/17403},
volume = {026},
year = {1985},
}
TY - JOUR
AU - Guričan, Jaroslav
AU - Zlatoš, Pavol
TI - Biequivalences and topology in the alternative set theory
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1985
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 026
IS - 3
SP - 525
EP - 552
LA - eng
KW - -equivalence; -equivalence; biequivalences; compatible; continuous functions; compactness results; relations; monad; galaxy; figure; accessibility; indiscernibility; AST; alternative set theory; NSA
UR - http://eudml.org/doc/17403
ER -
References
top- J. L. KELLEY, General Topology, Van Nostrand, New York 1957. (1957) MR0070144
- J. MLČEK, Approximations of -classes and -classes, CMUC 20 (1979), 669-680. (1979) MR0555182
- J. MLČEK, Valuations of structures, CMUC 20 (1979), 681-696. (1979) MR0555183
- A. SOCHOR P. VOPĚNKA, Endomorphic universes and their standard extensions, CMUC 20 (1979), 605-630. (1979) MR0555178
- P. VOPĚNKA, Mathematics in the Alternative Set Theory, Teubner, Leipzig 1979; Russian translation, Mir, Moskva 1983. (1979) MR0718490
- P. VOPĚNKA, The lattice of indiscernibility equivalences, CMUC 20 (1979), 631-638. (1979) MR0555179
Citations in EuDML Documents
top- Jaroslav Guričan, Pavol Zlatoš, Archimedean and geodetical biequivalences
- C. Ward Henson, Pavol Zlatoš, Indiscernibles and dimensional compactness
- Karel Čuda, A contribution to topology in AST: Almost indiscernibilities
- Miroslav Šmíd, Pavol Zlatoš, Biequivalence vector spaces in the alternative set theory
- J. Náter, P. Pulmann, Pavol Zlatoš, Dimensional compactness in biequivalence vector spaces
- Martin Kalina, Pavol Zlatoš, Borel classes in AST. Measurability, cuts and equivalence
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.