Combinatorial Isols and the Arithmetic of Dekker Semirings

DOI10.1002/1521-3870(200204)48:3%3C323::AID-MALQ323%3E3.0.CO;2-CzbMATH Open1005.03042OpenAlexW2139841281MaRDI QIDQ4530144FDOQ4530144

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

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

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

• Title not available (Why is that?)
• Extensions to isols
• Models of arithmetic and recursive functions
• Diophantine correct non-standard models in the isols
• The minimum of two regressive isols
• Hereditarily odd-even and combinatorial 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

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