Mathematical Logic Quarterly 41 (1):138-142 (1995)

Abstract
Let M be a countable recursively saturated model of PA and H an open subgroup of G = Aut. We prove that I = sup {b ∈ M : ∀u < bfu = u and J = inf{b ∈ MH} may be invariant, i. e. fixed by all automorphisms of M
Keywords Open subgroup  Invariant cut  Countable recursively saturated model of PA
Categories (categorize this paper)
DOI 10.1002/malq.19950410112
Options
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: 64,159
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Models of Peano Arithmetic.Richard Kaye - 1991 - Clarendon Press.

Add more references

Citations of this work BETA

Automorphisms of Countable Recursively Saturated Models of PA: A Survey.Henryk Kotlarski - 1995 - Notre Dame Journal of Formal Logic 36 (4):505-518.

Add more citations

Similar books and articles

Automorphisms of Countable Short Recursively Saturated Models of PA.Erez Shochat - 2008 - Notre Dame Journal of Formal Logic 49 (4):345-360.
Four Problems Concerning Recursively Saturated Models of Arithmetic.Roman Kossak - 1995 - Notre Dame Journal of Formal Logic 36 (4):519-530.
Automorphisms of Countable Recursively Saturated Models of PA: A Survey.Henryk Kotlarski - 1995 - Notre Dame Journal of Formal Logic 36 (4):505-518.
Arithmetically Saturated Models of Arithmetic.Roman Kossak & James H. Schmerl - 1995 - Notre Dame Journal of Formal Logic 36 (4):531-546.
Models with the Ω-Property.Roman Kossak - 1989 - Journal of Symbolic Logic 54 (1):177-189.

Analytics

Added to PP index
2013-12-01

Total views
16 ( #647,225 of 2,454,850 )

Recent downloads (6 months)
1 ( #449,233 of 2,454,850 )

How can I increase my downloads?

Downloads

My notes