Previous |  Up |  Next

Article

Title: Revealed automorphisms (English)
Author: Sgall, Jiří
Author: Sochor, Antonín
Language: English
Journal: Commentationes Mathematicae Universitatis Carolinae
ISSN: 0010-2628 (print)
ISSN: 1213-7243 (online)
Volume: 32
Issue: 1
Year: 1991
Pages: 105-113
.
Category: math
.
Summary: 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. (English)
Keyword: alternative set theory
Keyword: automorphism
Keyword: revealed
Keyword: fully revealed
Keyword: revealment
MSC: 03E70
MSC: 03H15
idZBL: Zbl 0735.03026
idMR: MR1118293
.
Date available: 2008-10-09T13:11:14Z
Last updated: 2012-10-09
Stable URL: http://hdl.handle.net/10338.dmlcz/116946
.
Reference: [P-S 1984] Pudlák P., Sochor A.: Models of the alternative set theory.JSL 49 (1984), 570-585. MR 0745386
Reference: [S-1985] Sochor A.: Notes on revealed classes.Comment. Math. Univ. Carolinae 26 (1985), 477-498. Zbl 0583.03041, MR 0817822
Reference: [S-V 1979] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions.Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178
Reference: [S-V 1980] Sochor A., Vopěnka P.: Revealments.Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243
Reference: [S-V 1981] Sochor A., Vopěnka P.: Ultrafilters of sets.Comment. Math. Univ. Carolinae 22 (1981), 698-699. MR 0647017
Reference: [S-V 1989] Sochor A., Vopěnka P.: Constructions of classes by transfinite induction in AST.Comment. Math. Univ. Carolinae 30 (1989), 155-161. MR 0995714
Reference: [Ve 1982] Vencovská A.: Constructions of endomorphic universes and similarities.Comment. Math. Univ. Carolinae 23 (1982), 557-577. MR 0677863
Reference: [V] Vopěnka P.: Mathematics in the alternative set theory.Teubner-Texte, Leipzig, 1979. MR 0581368
.

Files

Files Size Format View
CommentatMathUnivCarolRetro_32-1991-1_11.pdf 217.3Kb application/pdf View/Open
Back to standard record
Partner of
EuDML logo