Article contents
Types of simple α-recursively enumerable sets
Published online by Cambridge University Press: 12 March 2014
Extract
Let α be an admissible ordinal, and let (α) denote the lattice of α-r.e. sets, ordered by set inclusion. An α-r.e. set A is α*-finite if it is α-finite and has ordertype less than α* (the Σ1 projectum of α). An a-r.e. set S is simple if
(the complement of S) is not α*-finite, but all the α-r.e. subsets of
are α*-finite. Fixing a first-order language ℒ suitable for lattice theory (see [2, §1] for such a language), and noting that the α*-finite sets are exactly those elements of
(α), all of whose α-r.e. subsets have complements in
(α) (see [4, p. 356]), we see that the class of simple α-r.e. sets is definable in ℒ over
(α). In [4, §6, (Q22)], we asked whether an admissible ordinal α exists for which all simple α-r.e. sets have the same 1-type. We were particularly interested in this question for α = ℵ1
L (L is Gödel's universe of constructible sets). We will show that for all α which are regular cardinals of L (ℵ1
L is, of course, such an α), there are simple α-r.e. sets with different 1-types.
The sentence exhibited which differentiates between simple α-r.e. sets is not the first one which comes to mind. Using α = ω for intuition, one would expect any of the sentences “S is a maximal α-r.e. set”, “S is an r-maximal α-r.e. set”, or “S is a hyperhypersimple α-r.e. set” to differentiate between simple α-r.e. sets. However, if α > ω is a regular cardinal of L, there are no maximal, r-maximal, or hyperhypersimple α-r.e. sets (see [4, Theorem 4.11], [5, Theorem 5.1] and [1,Theorem 5.21] respectively). But another theorem of (ω) points the way.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1976
Footnotes
Research partially supported by NSF grant GP-32463
References
REFERENCES
- 3
- Cited by