Journal of Symbolic Logic 54 (1):177-189 (1989)
| Authors |
|
| Abstract |
A model M of PA has the omega-property if it has a subset of order type omega that is coded in an elementary end extension of M. All countable recursively saturated models have the omega-property, but there are also models with the omega-property that are not recursively saturated. The papers is devoted to the study of structural properties of such models.
|
| Keywords | Models of arithemtic, recursive saturation |
| Categories | (categorize this paper) |
| DOI | 10.2307/2275023 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Saturation and Simple Extensions of Models of Peano Arithmetic.Matt Kaufmann & James H. Schmerl - 1984 - Annals of Pure and Applied Logic 27 (2):109-136.
A Note on Initial Segment Constructions in Recursively Saturated Models of Arithmetic.C. Smoryński - 1982 - Notre Dame Journal of Formal Logic 23 (4):393-408.
Recursively Saturated $\omega_1$-Like Models of Arithmetic.Roman Kossak - 1985 - Notre Dame Journal of Formal Logic 26 (4):413-422.
Citations of this work BETA
Automorphisms of Recursively Saturated Models of Arithmetic.Richard Kaye, Roman Kossak & Henryk Kotlarski - 1991 - Annals of Pure and Applied Logic 55 (1):67-99.
Arithmetically Saturated Models of Arithmetic.Roman Kossak & James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):531-546.
On Cofinal Submodels and Elementary Interstices.Roman Kossak & James H. Schmerl - 2012 - Notre Dame Journal of Formal Logic 53 (3):267-287.
Similar books and articles
Splittings and the Finite Model Property.Marcus Kracht - 1993 - Journal of Symbolic Logic 58 (1):139-157.
Glueing of Analysis Models in an Intuitionistic Setting.D. Dalen - 1986 - Studia Logica 45 (2):181 - 186.
On the Weak Non-Finite Cover Property and the N-Tuples of Simple Structures.Evgueni Vassiliev - 2005 - Journal of Symbolic Logic 70 (1):235 - 251.
Grasping Phenomenal Properties.Martine Nida-Rumelin - 2006 - In Torin Alter & Sven Walter (eds.), Phenomenal Concepts and Phenomenal Knowledge: New Essays on Consciousness and Physicalism. Oxford University Press.
Amalgamation of Nonstandard Models of Arithmetic.Andreas Blass - 1977 - Journal of Symbolic Logic 42 (3):372-386.
When You Can Keep It and Give It Away: The Ethics of Intellectual Property.Steve Petersen - manuscript
The Complexity of Classification Problems for Models of Arithmetic.Samuel Coskey & Roman Kossak - 2010 - Bulletin of Symbolic Logic 16 (3):345-358.
Intrinsic Limitations of Property Rights.J. M. Elegido - 1995 - Journal of Business Ethics 14 (5):411 - 416.
Analytics
Added to PP index
2009-01-28
Total views
32 ( #345,995 of 2,462,488 )
Recent downloads (6 months)
1 ( #449,311 of 2,462,488 )
2009-01-28
Total views
32 ( #345,995 of 2,462,488 )
Recent downloads (6 months)
1 ( #449,311 of 2,462,488 )
How can I increase my downloads?
Downloads
