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)
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03C62: Models of arithmetic and set theory
Related Items
Cites Work