Elementary cuts in saturated models of Peano arithmetic
From MaRDI portal
Publication:424574
DOI10.1215/00294527-1626491zbMath1244.03114MaRDI QIDQ424574
Publication date: 1 June 2012
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1336586234
03C62: Models of arithmetic and set theory
Related Items
On cofinal submodels and elementary interstices, Model-theoretic applications of cofinality spectrum problems
Cites Work