Metamathematics of the alternative set theory. III.
Antonín Sochor (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The search session has expired. Please query the service again.
Displaying similar documents to “Nonstandard models of arithmetic as an alternative basis for continuum considerations”
Metamathematics of the alternative set theory. III.
Why semisets?
Petr Hájek (1973)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Constructibility and shiftings of view
Antonín Sochor (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity: