Metamathematics of the alternative set theory. II.
Commentationes Mathematicae Universitatis Carolinae (1982)
- Volume: 023, Issue: 1, page 55-79
- ISSN: 0010-2628
Access Full Article
topHow to cite
topReferences
topCitations in EuDML Documents
top- Karel Čuda, Blanka Vojtášková, Model-theoretical constructions in AST. I.
- Jiří Sgall, Forcing in the alternative set theory. I
- Jiří Sgall, Antonín Sochor, Forcing in the alternative set theory. II
- Antonín Sochor, Metamathematics of the alternative set theory. III.
- Karel Čuda, Blanka Vojtášková, Monads of indiscernibles
- Antonín Sochor, Notes on revealed classes
- Antonín Sochor, Complexity of the axioms of the alternative set theory