Regularity in models of arithmetic

DOI10.2307/2274109zbMath0584.03044OpenAlexW2047460779MaRDI QIDQ3708802

George Mills, Jeffrey Bruce Paris

Publication date: 1984

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

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

zbMATH Keywords

regularityPeano arithmeticaxiomatizationfirst-order arithmeticcutssecond-order theoriesthere exist unboundedly many

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Logic with extra quantifiers and operators (03C80) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)

Related Items (3)

THE STABILITY SPECTRUM FOR CLASSES OF ATOMIC MODELS ⋮ Model theory of the regularity and reflection schemes ⋮ Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}

Cites Work

• Some independence results for Peano arithmetic

This page was built for publication: Regularity in models of arithmetic