Journal of Symbolic Logic 59 (1):140-150 (1994)

In [14] J. Hirschfeld established the close connection of models of the true AE sentences of Peano Arithmetic and homomorphic images of the semiring of recursive functions. This fragment of Arithmetic includes most of the familiar results of classical number theory. There are two nice ways that such models appear in the isols. One way was introduced by A. Nerode in [20] and is referred to in the literature as Nerode Semirings. The other way is called a tame model. It is very similar to a Nerode Semiring and was introduced in [6]. The model theoretic properties of Nerode Semirings and tame models have been widely studied by T. G. McLaughlin ([16], [17], and [18]). In this paper we introduce a new variety of tame model called a torre model. It has as a generator an infinite regressive isol with a nice structural property relative to recursively enumerable sets and their extensions to the isols. What is then obtained is a nonstandard model in the isols of the Π0 2 fragment of Peano Arithmetic with the following property: Let T be a torre model. Let f be any recursive function, and let fΛ be its extension to the isols. If there is an isol A with fΛ(A)∈ T, then there is also an isol B∈ T with fΛ(B) = fΛ(A)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275256
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,714
Through your library

References found in this work BETA

Diagonal Methods in the Theory of Isols.Erik Ellentuck - 1980 - Mathematical Logic Quarterly 26 (13):193-204.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Theories of Arithmetics in Finite Models.Michał Krynicki & Konrad Zdanowski - 2005 - Journal of Symbolic Logic 70 (1):1-28.
On the Complexity of Models of Arithmetic.Kenneth McAloon - 1982 - Journal of Symbolic Logic 47 (2):403-415.
A Δ02 Theory of Regressive Isols.Erik Ellentuck - 1974 - Journal of Symbolic Logic 39 (3):459 - 468.
On Hyper-Torre Isols.Rod Downey - 1989 - Journal of Symbolic Logic 54 (4):1160-1166.
On Certain Types and Models for Arithmetic.Andreas Blass - 1974 - Journal of Symbolic Logic 39 (1):151-162.
Incompatible Extensions of Combinatorial Functions.Erik Ellentuck - 1983 - Journal of Symbolic Logic 48 (3):752-755.
An Algebraic Difference Between Isols and Cosimple Isols.Erik Ellentuck - 1972 - Journal of Symbolic Logic 37 (3):557-561.
Models Without Indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Hyper-Torre Isols.Erik Ellentuck - 1981 - Journal of Symbolic Logic 46 (1):1-5.


Added to PP index

Total views
21 ( #521,943 of 2,462,595 )

Recent downloads (6 months)
1 ( #449,387 of 2,462,595 )

How can I increase my downloads?


My notes