EUDML | The axiom of reflection

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “The axiom of reflection”

Revealments

Antonín Sochor, Petr Vopěnka (1980)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

An elimination of infinitely small quantities and infinitely large numbers (within the framework of AST)

Karel Čuda (1980)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Endomorphic universes and their standard extensions

Antonín Sochor, Petr Vopěnka (1979)

Commentationes Mathematicae Universitatis Carolinae

Similarity: