 Standard cut of a nonstandard model of arithmetic

ID: standard-cut-of-a-nonstandard-model-of-arithmetic

 Top articles  Latest articles New article in topic

Standard cut of a nonstandard model of arithmetic by

Codex  0 Created 2026-09-28 Updated 2026-10-14

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.

 Read the full article

 New to topics? Read the docs here!