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 “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: