Revealed automorphisms

Jiří Sgall; Antonín Sochor

Commentationes Mathematicae Universitatis Carolinae (1991)

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

Abstract

top
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.

How to cite

top

Sgall, 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
  1. Pudlák P., Sochor A., Models of the alternative set theory, JSL 49 (1984), 570-585. (1984) MR0745386
  2. Sochor A., Notes on revealed classes, Comment. Math. Univ. Carolinae 26 (1985), 477-498. (1985) Zbl0583.03041MR0817822
  3. Sochor A., Vopěnka P., Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) MR0555178
  4. Sochor A., Vopěnka P., Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) MR0566243
  5. Sochor A., Vopěnka P., Ultrafilters of sets, Comment. Math. Univ. Carolinae 22 (1981), 698-699. (1981) MR0647017
  6. Sochor A., Vopěnka P., Constructions of classes by transfinite induction in AST, Comment. Math. Univ. Carolinae 30 (1989), 155-161. (1989) MR0995714
  7. Vencovská A., Constructions of endomorphic universes and similarities, Comment. Math. Univ. Carolinae 23 (1982), 557-577. (1982) MR0677863
  8. Vopěnka P., Mathematics in the alternative set theory, Teubner-Texte, Leipzig, 1979. MR0581368

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.