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 “On the symmetry of approximate Dini derivates of arbitrary functions”
An elimination of the predicate “to be a standard member” in nonstandard models of arithmetic
Shiftings of the horizon
Antonín Sochor, Petr Vopěnka (1983)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Ultrafilters of sets
Antonín Sochor, Petr Vopěnka (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity: