Publication:1210354

DOI10.1016/0168-0072(93)90079-SzbMATH Open0780.03015MaRDI QIDQ1210354FDOQ1210354

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)

Cites Work

• Lectures on formally real fields
• Bounded existential induction
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (4)

• A recursive nonstandard model of normal open induction
• European Summer Meeting of the Association for Symbolic Logic
• Hierarchies of Subsystems of Weak Arithmetic
• A comment on the joint embedding property

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)