Publication:4530144
From MaRDI portal
DOI<323::AID-MALQ323>3.0.CO;2-C 10.1002/1521-3870(200204)48:3<323::AID-MALQ323>3.0.CO;2-CzbMath1005.03042MaRDI QIDQ4530144
Publication date: 24 July 2002
03F30: First-order arithmetic and fragments
03D50: Recursive equivalence types of sets and structures, isols
Cites Work
- Unnamed Item
- Extensions to isols
- Models of arithmetic and recursive functions
- Hereditarily odd-even and combinatorial isols.
- Diophantine correct non-standard models in the isols
- The minimum of two regressive isols
- A note on effective ultrapowers: Uniform failure of bounded collection
- A Fine Structure in the Theory of Isols