Existentially Incomplete Tame Models and a Conjecture of Ellentuck

Mathematical Logic Quarterly 45 (2):189-202 (1999)
  Copy   BIBTEX

Abstract

We construct a recursive ultrapower F/U such that F/U is a tame 1-model in the sense of [6, §3] and FU is existentially incomplete in the models of II2 arithmetic. This enables us to answer in the negative a question about closure with respect to recursive fibers of certain special semirings Γ of isols termed tame models by Barback. Erik Ellentuck had conjuctured that all such semirings enjoy the closure property in question. Our result is that while many do, some do not

Categories

Keywords

Reprint years

DOI

10.1002/malq.19990450204

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

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

Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
On hyper‐torre isols.Joseph Barback - 2006 - Mathematical Logic Quarterly 52 (4):359-361.
Combinatorial Isols and the Arithmetic of Dekker Semirings.Thomas G. McLaughlin - 2002 - Mathematical Logic Quarterly 48 (3):323-342.
A note on effective ultrapowers: Uniform failure of bounded collection.Thomas McLaughlin - 1993 - Mathematical Logic Quarterly 39 (1):431-435.
A Fine Structure in the Theory of Isols.Joseph Barback - 1998 - Mathematical Logic Quarterly 44 (2):229-264.
On Regressive Isols and Comparability of Summands and a Theorem of R. Downey.Joseph Barback - 1997 - Mathematical Logic Quarterly 43 (1):83-91.
Hyper-Torre isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.
Existentially Closed Models in the Framework of Arithmetic.Zofia Adamowicz, Andrés Cordón-Franco & F. Félix Lara-martín - 2016 - Journal of Symbolic Logic 81 (2):774-788.
The inverse of a regressive object.W. F. Gross - 1983 - Journal of Symbolic Logic 48 (3):804-815.

Analytics

Added to PP
2014-01-16

Downloads
21 (#1,049,356)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Sub-arithmetical ultrapowers: a survey.Thomas G. McLaughlin - 1990 - Annals of Pure and Applied Logic 49 (2):143-191.
Existentially Complete Nerode Semirings.Thomas G. McLaughlin - 1995 - Mathematical Logic Quarterly 41 (1):1-14.
Recursive ultrapowers, simple models, and cofinal extensions.T. G. McLaughlin - 1992 - Archive for Mathematical Logic 31 (4):287-296.
Torre models in the isols.Joseph Barback - 1994 - Journal of Symbolic Logic 59 (1):140-150.
Forcing, Arithmetic, Division Rings.Joram Hirschfeld & William H. Wheeler - 1980 - Journal of Symbolic Logic 45 (1):188-190.

View all 6 references / Add more references