Revealments
Commentationes Mathematicae Universitatis Carolinae (1980)
- Volume: 021, Issue: 1, page 97-118
- ISSN: 0010-2628
Access Full Article
top
How to cite
topSochor, Antonín, and Vopěnka, Petr. "Revealments." Commentationes Mathematicae Universitatis Carolinae 021.1 (1980): 97-118. <http://eudml.org/doc/17019>.
@article{Sochor1980,
author = {Sochor, Antonín, Vopěnka, Petr},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {revealments; codable class of all set-theoretically definable classes; alternative set theory; non-standard methods; endomorphic universe; standard extension},
language = {eng},
number = {1},
pages = {97-118},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Revealments},
url = {http://eudml.org/doc/17019},
volume = {021},
year = {1980},
}
TY - JOUR
AU - Sochor, Antonín
AU - Vopěnka, Petr
TI - Revealments
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1980
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 021
IS - 1
SP - 97
EP - 118
LA - eng
KW - revealments; codable class of all set-theoretically definable classes; alternative set theory; non-standard methods; endomorphic universe; standard extension
UR - http://eudml.org/doc/17019
ER -
References
top- P. VOPĚNKA, Mathematics in the alternative set theory, Teubner-Texte, Leipzig 1979. (1979) MR0581368
- K. ČUDA P. VOPĚNKA, Real and imaginary classes in the alternative set theory, Comment. Math. Univ. Carolinae 20 (1979), 639-653. (1979) MR0555180
- S. KRAJEWSKI, Non standard satisfaction classes, Set Theory and Hierarchy Theory, A Memorial Tribute to A. Mostowski, Lecture Notes in Math. 539, pp. 121-144, Springer-Verlag 1976. (1976) Zbl0338.02030MR0446963
- A. SOCHOR P. VOPĚNKA, Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) MR0555178
Citations in EuDML Documents
top- Athanossios Tzouvaras, Some remarks on revealness
- Antonín Sochor, Petr Vopěnka, Endomorphic universes and their standard extensions
- Michal Resl, On models in the alternative set theory
- Josef Mlček, Some automorphisms of natural numbers in the alternative set theory
- Josef Mlček, -structures
- Josef Mlček, Valuations of structures
- Josef Mlček, Approximations of -classes and -classes
- Antonín Sochor, Petr Vopěnka, The axiom of reflection
- Jaroslav Guričan, Pavol Zlatoš, Archimedean and geodetical biequivalences
- Karel Čuda, The consistency of the measurability of projective semisets
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.