The theory of -like models of arithmetic

DOI10.1305/NDJFL/1040136915MaRDI QIDQ1913629zbMATH OpenOpenAlexFDO

Authors Richard 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

fragments of arithmeticcollection schemepigeonhole principleindiscernibles\(\kappa\)-like models

Mathematics Subject Classification ID

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

Recommendations

• Constructing κ-like Models of Arithmetic
• On Keisler singular-like models
• $L_{∞ ω_1}-elementary equivalence of $ω_1$-like models of PA
• Recursively saturated \(\omega _ 1\)-like models of arithmetic
• scientific article; zbMATH DE number 4043829

Cites work

• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3566838 (Why is no real title available?)
• scientific article; zbMATH DE number 3304035 (Why is no real title available?)
• scientific article; zbMATH DE number 3402615 (Why is no real title available?)
• Closure properties of countable non-standard integers
• Constructing κ-like Models of Arithmetic
• Model-theoretic properties characterizing Peano arithmetic
• On cofinal extensions of models of fragments of arithmetic

Cited in

(7)

• Constructing κ-like Models of Arithmetic
• Where pigeonhole principles meet Koenig lemmas
• On the strength of Ramsey's theorem
• Kripke Models Built from Models of Arithmetic
• Model theory of the inaccessibility scheme
• Random reals, the rainbow Ramsey theorem, and arithmetic conservation
• Models of Peano arithmetic and a question of Sikorski on ordered fields

This page was built for publication: The theory of \(\kappa\)-like models of arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1913629)