Combinatorial Isols and the Arithmetic of Dekker Semirings

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200204)48:3<323::AID-MALQ323>3.0.CO;2-C" /><323::AID-MALQ323>3.0.CO;2-C 10.1002/1521-3870(200204)48:3<323::AID-MALQ323>3.0.CO;2-CzbMath1005.03042OpenAlexW2139841281MaRDI QIDQ4530144

Thomas G. McLaughlin

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

zbMATH Keywords

isolcombinatorial isolDekker semiringregressive isolcompletely torre

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive equivalence types of sets and structures, isols (03D50)

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

This page was built for publication: Combinatorial Isols and the Arithmetic of Dekker Semirings