Previous |  Up |  Next


alternative set theory; automorphism; revealed; fully revealed; revealment
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.
[P-S 1984] Pudlák P., Sochor A.: Models of the alternative set theory. JSL 49 (1984), 570-585. MR 0745386
[S-1985] Sochor A.: Notes on revealed classes. Comment. Math. Univ. Carolinae 26 (1985), 477-498. MR 0817822 | Zbl 0583.03041
[S-V 1979] Sochor A., Vopěnka P.: Endomorphic universes and their standard extensions. Comment. Math. Univ. Carolinae 20 (1979), 605-629. MR 0555178
[S-V 1980] Sochor A., Vopěnka P.: Revealments. Comment. Math. Univ. Carolinae 21 (1980), 97-118. MR 0566243
[S-V 1981] Sochor A., Vopěnka P.: Ultrafilters of sets. Comment. Math. Univ. Carolinae 22 (1981), 698-699. MR 0647017
[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
[Ve 1982] Vencovská A.: Constructions of endomorphic universes and similarities. Comment. Math. Univ. Carolinae 23 (1982), 557-577. MR 0677863
[V] Vopěnka P.: Mathematics in the alternative set theory. Teubner-Texte, Leipzig, 1979. MR 0581368
Partner of
EuDML logo