Some Properties of ∀∃ Models in the Isols

DOI10.2307/2046244zbMath0629.03021OpenAlexW4253337930MaRDI QIDQ3765756

Thomas G. McLaughlin

Publication date: 1986

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

models of arithmeticNerode semiringssemiring of isolscountable models of two quantifier arithmeticRST isoltame models

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Recursive equivalence types of sets and structures, isols (03D50)

Related Items (7)

Embeddings of and into Nerode semirings ⋮ On the Minimality of Tame Models in the Isols ⋮ Myhill's work in recursion theory ⋮ Eight problems about Nerode semirings (recursive ultrapowers) ⋮ Sub-arithmetical ultrapowers: A survey ⋮ Recursive Fibers of RST Isols ⋮ Existentially Incomplete Tame Models and a Conjecture of Ellentuck

This page was built for publication: Some Properties of ∀∃ Models in the Isols