The axiom of reflection
Antonín Sochor, Petr Vopěnka (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Revealments”
The axiom of reflection
Model-theoretical constructions in AST. I.
Karel Čuda, Blanka Vojtášková (1986)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Endomorphic universes and their standard extensions
Antonín Sochor, Petr Vopěnka (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Approximations of -classes and -classes
Josef Mlček (1979)
Commentationes Mathematicae Universitatis Carolinae
Similarity: