The theory of \(\kappa\)-like models of arithmetic

DOI10.1305/ndjfl/1040136915zbMath0848.03019OpenAlexW1532715505MaRDI QIDQ1913629

Richard W. Kaye

Publication date: 27 October 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040136915

zbMATH Keywords

indiscerniblesfragments of arithmeticcollection schemepigeonhole principle\(\kappa\)-like models

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Related Items

On the strength of Ramsey's theorem ⋮ Where pigeonhole principles meet Koenig lemmas ⋮ Random reals, the rainbow Ramsey theorem, and arithmetic conservation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On cofinal extensions of models of fragments of arithmetic
• Closure properties of countable non-standard integers
• Model-theoretic properties characterizing Peano arithmetic
• Constructing κ-like Models of Arithmetic