Model-theoretic properties characterizing Peano arithmetic

DOI10.2307/2275063zbMath0746.03032OpenAlexW1991956515MaRDI QIDQ3985092

Richard W. Kaye

Publication date: 27 June 1992

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275063

zbMATH Keywords

Peano arithmeticelementary extensionelementary substructures

Mathematics Subject Classification ID

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

Related Items

The theory of \(\kappa\)-like models of arithmetic ⋮ HOW STRONG IS RAMSEY’S THEOREM IF INFINITY CAN BE WEAK? ⋮ \(\Delta_{2}\) degrees without \(\Sigma_{1}\) induction ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting)