Recursive Fibers of RST Isols

DOI10.2307/2159545zbMath0783.03024OpenAlexW4238390766MaRDI QIDQ4039319

Thomas G. McLaughlin

Publication date: 20 March 1994

Full work available at URL: https://doi.org/10.2307/2159545

zbMATH Keywords

Nerode semiringstame modelsrecursive fibersRST isols

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Models of other mathematical theories (03C65)

Related Items (1)

Existentially Incomplete Tame Models and a Conjecture of Ellentuck

Cites Work

• Unnamed Item
• Unnamed Item
• Extensions to isols
• Forcing, arithmetic, division rings
• Models of arithmetic and recursive functions
• Sub-arithmetical ultrapowers: A survey
• Diophantine correct non-standard models in the isols
• Some Properties of ∀∃ Models in the Isols

This page was built for publication: Recursive Fibers of RST Isols