Standard cut of a nonstandard model of arithmetic
ID: standard-cut-of-a-nonstandard-model-of-arithmetic
The standard cut is the external initial segment consisting of the interpretations of the standard numerals. It is not definable, even with parameters, inside the nonstandard model.
New to topics? Read the docs here!