The joint embedding property in normal open induction

DOI10.1016/0168-0072(93)90079-SMaRDI QIDQ1210354zbMATH OpenFDO

Authors Margarita Otero

Publication date 2 February 1994

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90079-S

zbMATH Keywords

\(\mathbb{Z}\)-ringdiscretely ordered ringsformal power seriesjoint embedding propertymodels of normal open inductionnormality

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

Review text

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.

Recommendations

• The amalgamation property in normal open induction
• A note on the Joint Embedding Property in Fragments of Arithmetic
• L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable
• On Diophantine equations solvable in models of open induction
• Quadratic forms in normal open induction

Cites work

• A General Theory of Algebraic Geometry Over Dedekind Domains, II: Separably Generated Extensions and Regular Local Rings
• A note on the Joint Embedding Property in Fragments of Arithmetic
• Bounded existential induction
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 3702663 (Why is no real title available?)
• scientific article; zbMATH DE number 3710174 (Why is no real title available?)
• scientific article; zbMATH DE number 3214534 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3326566 (Why is no real title available?)
• Lectures on formally real fields

Cited in

(7)

• A comment on the joint embedding property
• Hierarchies of Subsystems of Weak Arithmetic
• A recursive nonstandard model of normal open induction
• A note on the Joint Embedding Property in Fragments of Arithmetic
• scientific article; zbMATH DE number 709498 (Why is no real title available?)
• European Summer Meeting of the Association for Symbolic Logic
• L'Induction Ouverte Dans Les Anneaux Discrets Ordonnes et Normaux N'est pas Finiment Axiomatisable

This page was built for publication: The joint embedding property in normal open induction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1210354)