The joint embedding property in normal open induction (Q1210354)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The joint embedding property in normal open induction |
scientific article |
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
