Automorphisms and Recursive Structures
โ Scribed by R. G. Downey; J. B. Remmel
- Publisher
- John Wiley and Sons
- Year
- 1987
- Tongue
- English
- Weight
- 470 KB
- Volume
- 33
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Ash and Nerode [2] gave natural definability conditions under which a relation is intrinsically r.e. Here we generalize this to arbitrary levels in Ershov's hierarchy of A: sets, giving conditions under which a relation is intrinsically a-r. e.
AUTOMORPHISMS O F THE LATTICE OF RECURSIVELY ENUMERABLE VECTOR SPACES by IRAJ KALANTARI in Macomb, Illinois (U.S.A. ) l ) I ) This paper forms a part of the author's dissertation. We would like to acknowledge valuable discussions with GEORGE METAKIDES, ANU NERODE, ALLEN RETZLAFF and RICHARD SHORE. R
Let M be a countable recursively saturated model of PA and H an open subgroup of G = Aut(M). We prove that I ( H ) = sup{b E M : (3f E G \ H )