EUDML | A contribution to topology in AST: Compactness

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

Displaying similar documents to “A contribution to topology in AST: Compactness”

Nonstandard models of arithmetic as an alternative basis for continuum considerations

Karel Čuda (1983)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Real and imaginary classes in the alternative set theory

Karel Čuda, Petr Vopěnka (1979)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Endomorphic universes and their standard extensions

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

Commentationes Mathematicae Universitatis Carolinae

Similarity: