Eight problems about Nerode semirings (recursive ultrapowers)

DOI10.1016/0168-0072(92)90070-GzbMath0776.03021OpenAlexW2047724249MaRDI QIDQ1192347

Thomas G. McLaughlin

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(92)90070-g

zbMATH Keywords

recursive ultrapowerssemiring of isols

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Extensions to isols
• Extensions to isolic integers
• Embeddings of and into Nerode semirings
• Forcing, arithmetic, division rings
• Models of arithmetic and recursive functions
• Sub-arithmetical ultrapowers: A survey
• Diophantine correct non-standard models in the isols
• Universal isols
• A recursive function, defined on a compact interval and having a continuous derivative that is not recursive
• The minimum of two regressive isols
• A Note on a Theorem of H. FRIEDMAN
• Some Properties of ∀∃ Models in the Isols
• Some Extension and Rearrangement Theorems For Nerode Semirings
• Hyper-torre isols
• Some Counterexamples in the Theory of Regressive Sets