An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Karel Čuda (1982)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Displaying similar documents to “Shiftings of the horizon”
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Monads in basic equivalences
Karel Čuda, Blanka Vojtášková (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Constructibility and shiftings of view
Antonín Sochor (1985)
Commentationes Mathematicae Universitatis Carolinae
Similarity: