Embeddings of and into Nerode semirings

DOI10.1007/BF02766171zbMath0639.03047OpenAlexW2027556312MaRDI QIDQ1100198

Thomas G. McLaughlin

Publication date: 1987

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02766171

zbMATH Keywords

embeddingmodel theoryisolscofinal substructureNerode semiringsrecursive ultrapowers

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50) Computable structure theory, computable model theory (03C57)

Related Items

Eight problems about Nerode semirings (recursive ultrapowers) ⋮ Sub-arithmetical ultrapowers: A survey

Cites Work

• Extensions to isols
• Extensions to isolic integers
• Forcing, arithmetic, division rings
• Models of arithmetic and recursive functions
• Diophantine correct non-standard models in the isols
• The minimum of two regressive isols
• Some Properties of ∀∃ Models in the Isols
• Recursive Functions Modulo Co-r-Maximal Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item