A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
From MaRDI portal
Publication:685068
DOI10.1016/0168-0072(93)90197-LzbMath0785.03038MaRDI QIDQ685068
Publication date: 22 September 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items
Algebraic combinatorics in bounded induction ⋮ MARGINALIA ON A THEOREM OF WOODIN ⋮ HIERARCHICAL INCOMPLETENESS RESULTS FOR ARITHMETICALLY DEFINABLE EXTENSIONS OF FRAGMENTS OF ARITHMETIC
Cites Work
This page was built for publication: A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)