Shiftings of the horizon
Antonín Sochor, Petr Vopěnka (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic”
Shiftings of the horizon
Ultrafilters of sets
Antonín Sochor, Petr Vopěnka (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Monads in basic equivalences
Karel Čuda, Blanka Vojtášková (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity: