# Revealed automorphisms

Commentationes Mathematicae Universitatis Carolinae (1991)

- Volume: 32, Issue: 1, page 105-113
- ISSN: 0010-2628

## Access Full Article

top## Abstract

top## How 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.