Elementary cuts in saturated models of Peano arithmetic
From MaRDI portal
Publication:424574
DOI10.1215/00294527-1626491zbMATH Open1244.03114OpenAlexW2048574912MaRDI QIDQ424574FDOQ424574
Authors: James H. Schmerl 
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
Recommendations
- On closed elementary cuts in recursively saturated models of Peano arithmetic
- Remarks on weak notions of saturation in models of Peano arithmetic
- On elementary cuts in recursively saturated models of Peano Arithmetic
- Some highly saturated models of Peano arithmetic
- Automorphisms of saturated and boundedly saturated models of arithmetic
Cites Work
- The structure of models of Peano arithmetic
- Elementary extensions of recursively saturated models of arithmetic
- On cofinal submodels and elementary interstices
- Order-types of models of arithmetic and a connection with arithmetic saturation
- A note on satisfaction classes
- Saturated models of Peano arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (8)
- Model-theoretic applications of cofinality spectrum problems
- Remarks on weak notions of saturation in models of Peano arithmetic
- On elementary cuts in recursively saturated models of Peano Arithmetic
- Some highly saturated models of Peano arithmetic
- Title not available (Why is that?)
- On cofinal submodels and elementary interstices
- Minimal satisfaction classes with an application to rigid models of Peano arithmetic
- On closed elementary cuts in recursively saturated models of Peano arithmetic
This page was built for publication: Elementary cuts in saturated models of Peano arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424574)
