The joint embedding property in normal open induction (Q1210354)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The joint embedding property in normal open induction |
scientific article; zbMATH DE number 179077
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The joint embedding property in normal open induction |
scientific article; zbMATH DE number 179077 |
Statements
The joint embedding property in normal open induction (English)
0 references
2 February 1994
0 references
The models of normal open induction are those discretely ordered rings integrally closed in their fraction field whose nonnegative part satisfy Peano's induction axioms for open formulas in the language of ordered semirings. It is known that neither open induction nor the usually studied stronger fragments of arithmetic (where induction for quantified formulas is allowed), have the joint embedding property. We prove that normal models of open induction have the joint embedding property.
0 references
normality
0 references
formal power series
0 references
\(\mathbb{Z}\)-ring
0 references
models of normal open induction
0 references
discretely ordered rings
0 references
joint embedding property
0 references
