Jana Glivická and Petr Glivický
16th Conference on Applied Mathematics, APLIMAT 2017 - Proceedings, 583-589
Publication year: 2017

By a well-known result of Shepherdson, models of the theory IOpen (a first order arithmetic containing the scheme of induction for all quantifier free formulas) are exactly all the discretely ordered semirings that are integer parts of their real closures. In this paper we prove several analogous results that provide algebraic equivalents to various fragments of IOpen.

Leave a Reply

Your email address will not be published. Required fields are marked *