The theory of -like models of arithmetic

DOI10.1305/NDJFL/1040136915zbMATH Open0848.03019OpenAlexW1532715505MaRDI QIDQ1913629FDOQ1913629

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Model-theoretic properties characterizing Peano arithmetic
• Title not available (Why is that?)
• Closure properties of countable non-standard integers
• Title not available (Why is that?)
• On cofinal extensions of models of fragments of arithmetic
• Constructing κ-like Models of Arithmetic
• Title not available (Why is that?)

Cited In (7)

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

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)