Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS

Remote Access
Green Open Access
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826(online) ISSN 0002-9939(print)


Some properties of $ \forall\exists$ models in the isols

Author: T. G. McLaughlin
Journal: Proc. Amer. Math. Soc. 97 (1986), 495-502
MSC: Primary 03D50; Secondary 03C62, 03H15
MathSciNet review: 840636
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: It is a consequence of theorems proved by Nerode [10] and Hirschfeld [7] that every countable model of $ \forall \exists $ arithmetic is isomorphic to a subsemiring of a one-generator semiring of isols. We characterize, in terms of the generators of "Nerode semirings", the contents of arbitrary semirings $ {\mathbf{R}}$ of isols that are models of $ \forall \exists $ arithmetic, and we show that all such $ {\mathbf{R}}$ are in fact models of the $ \omega $-true $ \forall \exists $ sentences of isol theory. We solve one of the chief problems left open in [8], and in $ \S3$ we provide an example of the applied virtues of $ \forall \exists $-correct subsemirings of the isols.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 03D50, 03C62, 03H15

Retrieve articles in all journals with MSC: 03D50, 03C62, 03H15

Additional Information

PII: S 0002-9939(1986)0840636-X
Keywords: Isol, Model of $ \forall \exists $ arithmetic, Nerode semiring
Article copyright: © Copyright 1986 American Mathematical Society

Comments: Email Webmaster

© Copyright , American Mathematical Society
Contact Us · Sitemap · Privacy Statement

Connect with us Facebook Twitter Google+ LinkedIn Instagram RSS feeds Blogs YouTube Podcasts Wikipedia