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)

zbMATH Keywords

normalityformal power series\(\mathbb{Z}\)-ringdiscretely ordered ringsjoint embedding propertymodels of normal open induction

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62)

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

• 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?)
• 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
• Lectures on formally real fields

Cited in

(6)

• A comment on the joint embedding property
• A recursive nonstandard model of normal open induction
• Hierarchies of Subsystems of Weak Arithmetic
• European Summer Meeting of the Association for Symbolic Logic
• A note on the Joint Embedding Property in Fragments of Arithmetic
• scientific article; zbMATH DE number 709498 (Why is no real title available?)

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)