Truth in generic cuts
From MaRDI portal
Publication:636338
DOI10.1016/j.apal.2009.11.001zbMath1230.03070MaRDI QIDQ636338
Publication date: 26 August 2011
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2009.11.001
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on initial segment constructions in recursively saturated models of arithmetic
- Elementary extensions of recursively saturated models of arithmetic
- On two questions concerning the automorphism groups of countable recursively saturated models of PA
- Four problems concerning recursively saturated models of arithmetic
- On interpretations of arithmetic and set theory
- On elementary cuts in models of arithmetic
- On elementary cuts in recursively saturated models of Peano Arithmetic
- Some remarks on initial segments in models of Peano arithmetic
- Generic cuts in models of arithmetic