Models of AST without choice
Karel Čuda, Blanka Vojtášková (1984)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “A nonstandard treatment with quantities”
Models of AST without choice
Some remarks on revealness
Athanossios Tzouvaras (1987)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Definability degrees for classes in the alternative set theory
Athanossios Tzouvaras (1988)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Addition of initial segments. I.
Antonín Sochor (1988)
Commentationes Mathematicae Universitatis Carolinae
Similarity: