Definability of initial segments

Saharon Shelah*, Akito Tsuboi

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

Abstract

In any nonstandard model of Peano arithmetic, the standard part is not first-order definable. But we show that in some model the standard part is definable as the unique solution of a formula φ(P), where P is a unary predicate variable.

Original languageEnglish
Pages (from-to)65-73
Number of pages9
JournalNotre Dame Journal of Formal Logic
Volume43
Issue number2
DOIs
StatePublished - 2002

Keywords

  • Absoluteness
  • Definability
  • Peano arithmetic

Fingerprint

Dive into the research topics of 'Definability of initial segments'. Together they form a unique fingerprint.

Cite this