Combinatorial Isols and the Arithmetic of Dekker Semirings
From MaRDI portal
Publication:4530144
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
Full work available at URL: https://doi.org/10.1002/1521-3870(200204)48:3<323::aid-malq323>3.0.co;2-c
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