Indiscernibles in the alternative set theory
Antonín Sochor; Alena Vencovská
Commentationes Mathematicae Universitatis Carolinae (1981)
- Volume: 022, Issue: 4, page 785-798
- ISSN: 0010-2628
Access Full Article
topHow to cite
topReferences
top- J. B. PARIS, On models of arithmetic, in Conference in Mathematical Logic - London '70, LN 255 Springer-Verlag 1972. (1972) Zbl0236.02042MR0392552
- A. SOCHOR, Metamathematics of the alternative set theory, Comment, Math. Univ. Carolinae 20 (1979), 697-722. (1979) Zbl0433.03028MR0555184
- A. SOCHOR P. VOPĚNKA, Endomorphic universes and their standard extensions, Comment. Math. Univ. Carolinae 20 (1979), 605-629. (1979) MR0555178
- A. SOCHOR P. VOPĚNKA, Revealments, Comment. Math. Univ. Carolinae 21 (1980), 97-118. (1980) MR0566243
- A. SOCHOR P. VOPĚNKA, Ultrafliters of sets, ibid., 22 (1981), 689-699. (1981) MR0647017
- A. VENCOVSKÁ, Constructions of endomorphic universes and endomorphisms, to appear in Comment. Math. Univ. Carolinae.
- P. VOPĚNKA, Mathematics in Alternative Set Theory, Teubner-Texte, Leipzig 1979. (1979) MR0581368
- P. VOPĚNKA, The lattice of indiscernibility equivalence, Comment. Math. Univ. Carolinae 20 (1979), 631-638. (1979) MR0555179
Citations in EuDML Documents
top- Josef Mlček, Some automorphisms of natural numbers in the alternative set theory
- Alena Vencovská, Constructions of endomorphic universes and similarities
- Karel Čuda, Blanka Vojtášková, Basic equivalences in the alternative set theory
- Karel Čuda, Blanka Vojtášková, Monads of indiscernibles
- C. Ward Henson, Pavol Zlatoš, Indiscernibles and dimensional compactness
- Karel Čuda, Blanka Vojtášková, Monads in basic equivalences
- Martin Kalina, Pavol Zlatoš, Arithmetic of cuts and cuts of classes
- Karel Čuda, A contribution to topology in AST: Compactness
- Martin Kalina, Pavol Zlatoš, Cuts of real classes
- Martin Kalina, Pavol Zlatoš, Borel classes in AST. Measurability, cuts and equivalence