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