The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Displaying similar documents to “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: