The Jensen hierarchy of constructible sets

1973 ◽  
pp. 73-85
Author(s):  
Keith J. Devlin
Keyword(s):  
Constructible Sets

scholarly journals A note on constructible sets of integers.

1963 ◽  
Vol 4 (4) ◽  
pp. 270-273 ◽  
Author(s):  
Hilary Putnam
Keyword(s):  
Constructible Sets

scholarly journals Hierarchies of constructible sets

1977 ◽  
Vol 11 (2) ◽  
pp. 195-202 ◽  
Author(s):  
Keith J. Devlin
Keyword(s):  
Constructible Sets

scholarly journals The Complexity of Local Dimensions for Constructible Sets

2000 ◽  
Vol 16 (1) ◽  
pp. 311-323 ◽  
Author(s):  
Pascal Koiran
Keyword(s):  
Constructible Sets

Types of simple α-recursively enumerable sets

1976 ◽  
Vol 41 (2) ◽  
pp. 419-426
Author(s):  
Manuel Lerman
Keyword(s):  
Lattice Theory ◽  
Regular Cardinal ◽  
Finite Sets ◽  
First Order ◽  
Recursively Enumerable ◽  
Regular Cardinals ◽  
Constructible Sets ◽  
Set Inclusion ◽  
Order Language ◽  
Recursively Enumerable Sets

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 α = ℵ1L (L is Gödel's universe of constructible sets). We will show that for all α which are regular cardinals of L (ℵ1L 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.

Sign in / Sign up

Export Citation Format

Share Document