Revealments
Antonín Sochor, Petr Vopěnka (1980)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Model-theoretical constructions in AST. I.”
Revealments
The axiom of reflection
Antonín Sochor, Petr Vopěnka (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
A note on cofinal extensions and segments
Josef Mlček (1978)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Endomorphic universes and their standard extensions
Antonín Sochor, Petr Vopěnka (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity: