The joint embedding property in normal open induction

Annals of Pure and Applied Logic 60 (3):275-290 (1993)
  Copy   BIBTEX

Abstract

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 , have the joint embedding property.We prove that normal models of open induction have the joint embedding property

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(93)90079-s

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A recursive nonstandard model of normal open induction.Alessandro Berarducci & Margarita Otero - 1996 - Journal of Symbolic Logic 61 (4):1228-1241.
The amalgamation property in normal open induction.Margarita Otero - 1992 - Notre Dame Journal of Formal Logic 34 (1):50-55.
Quadratic forms in normal open induction.Margarita Otero - 1993 - Journal of Symbolic Logic 58 (2):456-476.
On variable separation in modal and superintuitionistic logics.Larisa Maksimova - 1995 - Studia Logica 55 (1):99 - 112.
Embeddings of Computable Structures.Asher M. Kach, Oscar Levin & Reed Solomon - 2010 - Notre Dame Journal of Formal Logic 51 (1):55-68.
Supercompact cardinals, trees of normal ultrafilters, and the partition property.Julius B. Barbanel - 1986 - Journal of Symbolic Logic 51 (3):701-708.
Intuitionistic Open Induction and Least Number Principle and the Buss Operator.Mohammad Ardeshir & Mojtaba Moniri - 1998 - Notre Dame Journal of Formal Logic 39 (2):212-220.
A note on a result of Kunen and Pelletier.Julius B. Barbanel - 1992 - Journal of Symbolic Logic 57 (2):461-465.
End extensions of normal models of open induction.David Marker - 1991 - Notre Dame Journal of Formal Logic 32 (3):426-431.
Corrigendum: On diophantine equations solvable in models of open induction.Margarita Otero - 1991 - Journal of Symbolic Logic 56 (3):811-812.
Interpolation and amalgamation; pushing the limits. Part I.Judit X. Madarász - 1998 - Studia Logica 61 (3):311-345.
A Note on Subsystems of Open Induction.Shahram Mohsenipour - 2007 - Journal of Symbolic Logic 72 (4):1318 - 1322.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
On Computable Self-Embeddings of Computable Linear Orderings.Rodney G. Downey, Bart Kastermans & Steffen Lempp - 2009 - Journal of Symbolic Logic 74 (4):1352 - 1366.

Analytics

Added to PP
2014-01-16

Downloads
10 (#1,123,760)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Bounded existential induction.George Wilmers - 1985 - Journal of Symbolic Logic 50 (1):72-90.

Add more references