The joint embedding property in normal open induction

DOI10.1016/0168-0072(93)90079-SzbMath0780.03015MaRDI QIDQ1210354

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)

Related Items (3)

European Summer Meeting of the Association for Symbolic Logic ⋮ A comment on the joint embedding property ⋮ A recursive nonstandard model of normal open induction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lectures on formally real fields
• A General Theory of Algebraic Geometry Over Dedekind Domains, II: Separably Generated Extensions and Regular Local Rings
• Bounded existential induction
• A note on the Joint Embedding Property in Fragments of Arithmetic

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