Nonstandard models of arithmetic as an alternative basis for continuum considerations
Karel Čuda (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: