Shepherdson's theorems for fragments of open induction
From MaRDI portal
Publication:6281671
arXiv1701.02001MaRDI QIDQ6281671FDOQ6281671
Authors: Petr Glivický 
Publication date: 8 January 2017
Abstract: 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.
Ordered rings, algebras, modules (06F25) First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)
This page was built for publication: Shepherdson's theorems for fragments of open induction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6281671)
