Revealed automorphisms
Commentationes Mathematicae Universitatis Carolinae (1991)
- Volume: 32, Issue: 1, page 105-113
- ISSN: 0010-2628
Access Full Article
top
Abstract
topHow to cite
topSgall, Jiří, and Sochor, Antonín. "Revealed automorphisms." Commentationes Mathematicae Universitatis Carolinae 32.1 (1991): 105-113. <http://eudml.org/doc/247271>.
@article{Sgall1991,
abstract = {We study automorphisms in the alternative set theory. We prove that fully revealed automorphisms are not closed under composition. We also construct some special automorphisms. We generalize the notion of revealment and Sd-class.},
author = {Sgall, Jiří, Sochor, Antonín},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {alternative set theory; automorphism; revealed; fully revealed; revealment; revealment; fully revealed automorphisms; alternative set theory; recursively saturated countable models of PA; transfinite constructions; equivalences of indiscernibility; nonstandard models of arithmetic},
language = {eng},
number = {1},
pages = {105-113},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Revealed automorphisms},
url = {http://eudml.org/doc/247271},
volume = {32},
year = {1991},
}
TY - JOUR
AU - Sgall, Jiří
AU - Sochor, Antonín
TI - Revealed automorphisms
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1991
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 32
IS - 1
SP - 105
EP - 113
AB - We study automorphisms in the alternative set theory. We prove that fully revealed automorphisms are not closed under composition. We also construct some special automorphisms. We generalize the notion of revealment and Sd-class.
LA - eng
KW - alternative set theory; automorphism; revealed; fully revealed; revealment; revealment; fully revealed automorphisms; alternative set theory; recursively saturated countable models of PA; transfinite constructions; equivalences of indiscernibility; nonstandard models of arithmetic
UR - http://eudml.org/doc/247271
ER -
References
top- Pudlák P., Sochor A., Models of the alternative set theory, JSL 49 (1984), 570-585. (1984) MR0745386
- Sochor A., Notes on revealed classes, Comment. Math. Univ. Carolinae 26 (1985), 477-498. (1985) Zbl0583.03041MR0817822
- Sochor A., Vopěnka P., Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) MR0555178
- Sochor A., Vopěnka P., Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) MR0566243
- Sochor A., Vopěnka P., Ultrafilters of sets, Comment. Math. Univ. Carolinae 22 (1981), 698-699. (1981) MR0647017
- Sochor A., Vopěnka P., Constructions of classes by transfinite induction in AST, Comment. Math. Univ. Carolinae 30 (1989), 155-161. (1989) MR0995714
- Vencovská A., Constructions of endomorphic universes and similarities, Comment. Math. Univ. Carolinae 23 (1982), 557-577. (1982) MR0677863
- Vopěnka P., Mathematics in the alternative set theory, Teubner-Texte, Leipzig, 1979. MR0581368
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.