An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Karel Čuda (1982)
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 “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: