Combinatorial Isols and the Arithmetic of Dekker Semirings

DOI10.1002/1521-3870(200204)48:3%3C323::AID-MALQ323%3E3.0.CO;2-CMaRDI QIDQ4530144zbMATH OpenOpenAlexFDO

Authors Thomas G. McLaughlin

Publication date 24 July 2002

Full work available at URL https://doi.org/10.1002/1521-3870(200204)48:3%3C323::aid-malq323%3E3.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)

Recommendations

• Hereditarily odd-even and combinatorial isols.
• A Fine Structure in the Theory of Isols
• Embeddings of and into Nerode semirings
• Some Properties of ∀∃ Models in the Isols
• On infinite series of infinite isols

Cites work

• scientific article; zbMATH DE number 3760150 (Why is no real title available?)
• A Fine Structure in the Theory of Isols
• A note on effective ultrapowers: Uniform failure of bounded collection
• Diophantine correct non-standard models in the isols
• Extensions to isols
• Hereditarily odd-even and combinatorial isols.
• Models of arithmetic and recursive functions
• The minimum of two regressive isols

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530144)