Abstract
Models of set theory are defined, in which nonconstructible reals first appear on a given level of the projective hierarchy. Our main results are as follows. Suppose that . Then: 1. If it holds in the constructible universe that and , then there is a generic extension of in which but still , and moreover, any set , , is constructible and in . 2. There exists a generic extension in which it is true that there is a nonconstructible set , but all sets are constructible and even in , and in addition, in the extension. 3. There exists an generic extension of in which there is a nonconstructible set , but all sets are constructible and in . Thus, nonconstructible reals (here subsets of ) can first appear at a given lightface projective class strictly higher than , in an appropriate generic extension of . The lower limit is motivated by the Shoenfield absoluteness theorem, which implies that all sets are constructible. Our methods are based on almost-disjoint forcing. We add a sufficient number of generic reals to , which are very similar at a given projective level n but discernible at the next level .
Keywords:
definability; nonconstructible reals; projective hierarchy; generic models; almost disjoint forcing MSC:
03E15; 03E35
1. Introduction
Problems of definability and effective construction of mathematical objects have always been in the focus of attention during the development of mathematical foundations. In particular, Hadamard, Borel, Baire, and Lebesgue, participants of the discussion published in [1], in spite of significant differences in their positions regarding problems of mathematical foundations, emphasized that a pure existence proof and a direct definition (or an effective construction) of a mathematical object required are different mathematical results, and the second one of them does not follow from the first. Problems of definability and effectivity are considered in such contemporary monographs on foundations as [2,3,4,5]. Moschovakis, one of founders of modern set theory, pointed in [6] (p. xiv), that
the central problem of descriptive set theory and definability theory in general [is] to find and study the characteristic properties of definable objects.
The general goal of the research line of this paper is to explore the existence of effectively definable structures in descriptive set theory on specific levels of the projective hierarchy. One of the directions here is the construction of set theoretic models, in which this or another problem is decided, at a predefined projective level n, differently than it is decided in , Gödel’s constructible universe, or, that is equivalent, by adding the axiom of constructibility, dubbed .
Such set theoretic models are usually defined as generic extensions of itself. Any such a generic extension leads to consistency and independence results in set theory, because if a sentence holds in or in a generic extension of then is consistent with the axioms of , the Zermelo–Fraenkel set theory (with the axiom of choice ).
As a first, and perhaps most immediately interesting problem of this sort, in this paper, we consider the problem of the existence of effectively definable (that is, occurring in one of lightface classes of the projective hierarchy) but nonconstructible reals. It follows from Shoenfield’s absoluteness theorem [7] that every (lightface) set belongs to . Generic models, in which there exist nonconstructible reals on effective levels of the projective hierarchy higher than , were defined in the early years of forcing; see a brief account in [8]. This culminated in two different generic extensions [9,10] containing a nonconstructible singleton, hence, a set . (We are concentrated on generic extensions of in this paper, and therefore leave aside another research line, related to models with large cardinals, with many deep and fruitful results connected, in particular, with properties of singletons, see e.g., [11,12,13]).
Then it was established in [14] that for any there is a generic extension of in which there exists a nonconstructible real , but all sets are constructible. Our motivation here is to further extend this research line. The next three theorems are the main results in this paper.
Theorem 1.
If and , then there is a generic extension of in which but still , and moreover, any set , is constructible and in .
Theorem 1 shows that being at a certain lightface projective level is hardly an intrinsic property of a constructible real, unless it is already at that level in . The theorem definitely fails for since being is an ablosute property of a real by the Shoenfield absoluteness theorem.
Theorem 2.
If , then there exists a generic extension of the universe in which it is true that
- (i)
- there is a nonconstructible set , but all sets are constructible and in
- (ii)
- we can strengthen (i) by the requirement that in the extension.
Theorem 3.
If then there exists an extension of in which there is a nonconstructible set but all sets are constructible and in .
The common denominator of Theorems 2 and 3 is that nonconstructible reals can first appear at a given lightface projective class strictly higher than , in an appropriate generic extension of . The lower limit is motivated by the Shoenfield absoluteness theorem.
The generic models, which we define to prove the main theorems, make use of modifications of the almost-disjoint forcing by Jensen–Solovay [9].
Some other recent results can be mentioned here, which resemble Theorems 1–3 in that they give models in which a particular property of some kind holds at a certain pre-selected level of the projective hierarchy. Yet they are different in that they use modifications of Jensen’s minimal singleton forcing [10] and its finite-support products first considered by Enayat [15], as well as its collapse-style modification by Abraham [16], rather than the almost-disjoint forcing.
- A model defined in [17], in which, for a given , there is a (lightface) Vitali equivalence class in the real line (that is, a set of the form in ), containing no OD (ordinal definable) elements, and in the same time every countable set consists of OD elements.
- A model in [18], in which, for a given , there is a singleton , such that a codes a collapse of , and in the same time every set is still constructible.
- A model defined in [19], in which, for a given , there is a non-OD-uniformizable planar set with countable cross-sections, and at the same time, every set with countable cross-sections is OD-uniformizable.
Organization of the Paper
Our plan of the proofs of the main results will be to construct, in , a sequence of forcing notions , , satisfying the following three key conditions.
- are sufficiently homogeneous and independent of each other in the sense that, for any , there are no -generic reals in a -generic extensions of .
- The property of a real x being -generic over is as a binary relation, where is a number chosen in Theorems 1–3.
- A condition which makes -generic reals for different values undistinguishable from each other below the definability level (at which they are distinguishable by condition 2).
Each will be a forcing notion of almost-disjoint type, determined by a set . To make the exposition self-contained, we review some basic details related to almost-disjoint forcing, finite-support products, and related generic extensions, taken mainly from [9], in Section 2 and Section 3.
Having the construction of , accomplished in Section 4, the proof of, e.g., Theorem 1 (Section 7.1) is performed as follows. Let be chosen as in Theorem 1 for a given . We consider a -generic extension of , where . Let be the -generic real generated by the ith projection of G; these reals are nonconstructible and . Let Consider the subextension . Then it is true in by condition 1, that
so using condition 2, we easily get in . A similar construction (but with b being generic over ) was carried out in the early years of forcing in [9] for , which is the least possible value. In the case , the fact, that all sets in the extension belong to and are in , is guaranteed by the Shoenfield absoluteness theorem.
If , then the Shoenfield absoluteness argument does not work, of course. Still we can argue that any lightface set in belongs to by the general forcing theory, because the product forcing is homogeneous by condition 1. However this does not immediately imply the lightface definability of b in , as is defined via z, hence via b. To solve this difficulty, we make use of condition 3 to prove another absoluteness property: formulas turn out to be absolute between and the entire extension , which is an -generic extension of . Here is a parameter-free definable forcing in , leading to the parameter-free definability of b in . There are two issues here that need to be explained.
First, how to secure condition 3 in a sufficiently effective form. To explain the main technical device, we recall that by [9] the system of forcing notions is the result of certain transfinite -long construction of assembling it from countable fragments in . The construction can be viewed as a maximal branch in a certain “mega-tree”, say , whose nodes are such countable fragments, and each of them is chosen to be the Gödel-least appropriate one over the previous one. The complexity of this construction is in the codes, leading in [9] to the definability of the property of being generic, as in condition 2, in case .
To adapt this construction for the case , our method requires us to define a maximal branch in that intersects all dense sets in of class . Such a construction is carried out in Section 4. This genericity-like condition of meeting all dense sets, results in the definability of the property of being generic in condition 2, and also yields condition 3, since the abundance of order automorphisms of the “mega-tree” (including those related to index permutations) allows to establish some homogeneity properties of a certain auxiliary forcing-style relation.
This auxiliary forcing-style relation, defined and studied in Section 5 and Section 6. The auxiliary relation approximates the truth in -generic extensions, as above, up to formulas, but, unlike the ordinary -forcing relation, is sufficiently homogeneous. In particular, it helps to obtain the mentioned absoluteness property. This will allow us to accomplish the proof of the main results, Theorem 1 together with part (i) of Theorem 2 in Section 7, part (ii) of Theorem 2 in Section 8, Theorem 3 in Section 9. The flowchart can be seen in Figure 1.
Figure 1.
Flowchart.
The flowchart can be seen in Figure 1. And we added the index and contents as Supplementary Materials for easy reading.
General Set-Theoretic Notation Used in This Paper
- natural numbers; .
- iff the inclusion.
- means that but strict inclusion.
- is the cardinality of a set equal to the number of elements of X in case X is finite.
- = and = — thedomain and range of any set P that consists of pairs.
- In particular if is a function then and are the domain and the range of f.
- Functions are identified with their graphs: if is a function then so that is equivalent to .
- , the -image of X.
- , the -pre-image of a set Y.
- , the - pre-image of an element y.
- is the symmetric difference.
- is the map f defined on A by .
- , the power set.
- is the set of all strings (finite sequences) of elements of a set
- In particular is the set of strings of natural numbers.
- is the length of a string s.
- is the string obtained by adjoining x as the rightmost term to a given string
- means that the string t is a proper extension of s.
- is resp. the empty set and the empty string.
- is the Baire space.
2. Almost Disjoint Forcing
In this section, we review basic definitions and results related to almost disjoint forcing, as well as some rarely used results related, for instance, to symmetries of almost disjoint forcing notions.
Assumption 1.
In this paper, we assume that is the ground universe. Thus all forcing notions are defined in while all generic extensions are those of . (In fact many intermediate results remain true w.r.t. any ground universe.)
2.1. Almost Disjoint Forcing
We present this forcing in a form based on the fact that the set of all functions is almost disjoint in the sense that if belong to then the infinite sets and of finite strings have a finite intersection.
Definition 1.
= all finite non-empty strings of natural numbers. A recursive enumeration is fixed, such that , the empty string, and . Thus . For any , we let ; in particular .
= all infinite sequences of natural numbers. A set is dense iff for any there is such that .
Let . If the set is infinite then we say that S covers f, otherwise S does not cover f.
We underline that , the empty string, does not belong to .
Given a set in the ground universe, the general goal of almost disjoint forcing is to find a generic set such that the equivalence
holds for each in the ground universe. This goal will be achieved by a forcing introduced in Definition 4. In fact will be a part, determined by u, of a common reservoir .
Definition 2.
is the set of all pairs of finite sets , . Elements of will sometimes be called (forcing) conditions. If then put . The set is an infinite (or else ) tree in , without terminal nodes.
Definition 3 (order).
Let . We define (q is stronger) iff , and the difference does not intersect , that is, .
Thus any condition is a pair that consists of a “finite” component and an “infinite” component . Either of the components is a finite set (possibly, empty), but consists of finite strings of integers while consists of infinite sequences of integers that will be called functions (from to ). Both components of a stronger condition q, naturally, increase, but strings must satisfy —in other words, t is not a substring of any function (infinite sequence) .
If then both and belong to and , but may fail. In fact iff .
Lemma 1.
Conditions are compatible in iff does not intersect , and does not intersect . Therefore, any are compatible in iff and .
Proof.
The pair isa condition in . Moreover if (1) and (2) hold then we have and , thus are compatible. □
Now let us introduce a relativized version of . The parameter of relativization will be an arbitrary set served as a reservoir of functions allowed to occur in sets .
Definition 4.
If then put .
Note that if then . Thus in this case if conditions are compatible in then they are compatible in , too. Therefore, we will say that conditions are compatible (or incompatible) without an indication which set containing both conditions is considered.
Lemma 2.
If then is a ccc forcing.
Proof.
If then p and q are compatible by Lemma 1. However there are only countably many sets of the form . □
2.2. Almost-Disjoint Generic Extensions
Fix, in , a set and consider a -generic extension of the ground (constructible by Assumption 1) set universe , obtained by adjoining a -generic set . Put ; thus . The next lemma reflects the idea of almost-disjoint forcing: elements of u are distinguished by the property of not covering f in the sense of Definition 1.
Lemma 3.
Suppose that in the universe , and is a set -generic over . Then
- (i)
- G belongs to
- (ii)
- if then iff does not cover
- (iii)
- if then iff .
Proof.
(ii) Let . The set is dense in . (Let . Define so that and . Then and .) Therefore . Pick any . Then . Now every is compatible with p, and hence by Lemma 1. Thus is finite.
Let . The sets are dense in . (If then is finite. As , there is with . Define p so that and . Then and .) Let . Then . As l is arbitrary, is infinite.
(iii) Consider any . Suppose that . Then obviously . If there exists then by definition we have for some . However, then are incompatible by Lemma 1, a contradiction.
Now suppose that . Then there exists incompatible with p. By Lemma 1, there are two cases. First, there exists . Then , so p is not compatible with . Second, there exists . Then any condition satisfies . Therefore , so , and p is not compatible with .
(i) by (iii). □
2.3. Lipschitz Transformations
Let be the group of all -automorphisms of ; these transformations may be called Lipschitz by obvious association. Any preserves the length of finite strings, that is, for all . Define the action of any transformation on:
- –
- finite strings by: ;
- –
- functions : is defined so that ;
- –
- sets by: , ;
- –
- conditions , by: .
Lemma 4 (routine).
The action of any is an order-preserving automorphism of If and then .
Lemma 5.
Suppose that are countable sets topologically dense in , and . Then there is and conditions and , such that , and — therefore conditions and q are compatible in .
Proof.
Put for any ; is finite. Let satisfy . Because of density, for any there exist and such that and .
For any , let be the largest n with .
We will define enumerations and , without repetitions, which agree with the above definition for and satisfy for all , and for all . As soon as this is accomplished, define as follows. Consider any of length . As u is dense, for some k. Put . Clearly , and in particular for all k, and hence
- (∗)
- if then and , but if then .
Now to define put . Then , and by (∗), since . Therefore, because as well. It follows that conditions and q are compatible in , and hence condition (that is, and ) belongs to , and obviously . Pretty similarly, to define q, we put , thus , , conditions r, p are compatible, condition (that is, and ) belongs to , and . Note that and by construction. It follows that , as required.
To define and by induction, suppose that , and are defined, and holds in this domain. Consider any next function , and let it be . There are functions satisfying for all . This property of g is determined by a certain finite part . By the density the set v contains a function g of this type. Let be any of them. In the special case when for all (then ), we take any satisfying for all and . □
2.4. Substitution Transformations
The next lemma (Lemma 6) will help to prove that the forcing notions considered are sufficiently homogeneous. Assume that satisfy the following requirement:
We define a transformation acting as follows. Let , . Then by definition , , and (by (2)). We put , where and . Thus the difference between and lies entirely within the set , and in particular has there while has there.
Lemma 6 (routine).
If , , and , then
is an order isomorphism, and If moreover and then maps the set onto order-preservingly.
3. Almost Disjoint Product Forcing
Here we review the structure and basic properties of product almost-disjoint forcing over and corresponding generic extensions of . In order to support various applications, we make use of -many independent forcing notions.
3.1. Product Forcing, Systems, Restrictions
We begin with -products of after which we consider more complicated forcing notions.
Definition 5.
Let . This is the index set for the forcing products considered below. Let be the product of copies of the set (Definition 2), with finite support. That is, consists of all functions such that the set is finite.
If then put and for all , so that . We order componentwise: iff and for all . Put
If then define a condition so that , whenever , and if or , then , resp., . Then Conditions are compatible iff and .
We consider certain subforcings of the total product almost disjoint forcing notion . This involves the following notion of a system.
Definition 6.
A system is any map such that and each set () is topologically dense in . A system U is:
- disjoint, if its components are pairwise disjoint;
- countable, if the set and each are at most countable.
- If are systems, , and for all then we write that V extends U, in symbol .
- If is a sequence of systems then define a system by and for all .
- If U is a system then let be the finite support product of sets , that is,
Definition 7 (restrictions).
Suppose that .
If then define so that and whenever . Accordingly if U is a system then define a system so that and for . A special case: if then let and .
Note that writing or , it is not assumed that , resp., .
3.2. Regular Forcing Notions
Unfortunately, product forcing notions of the form (U being a system in ) do not provide us with all the definability effects we need. We will make use of certain more complicated forcing notions in . To explain the idea, let a system satyisfy . Let be generic over . The sets then belong to , and in fact . As (a fixed recursive enumeration, Definition 1), let and . Consider the model . The first idea is to make use of , but oops, clearly , and consequently and , so that many typical product forcing results do not apply in this case. The next definition attempts to view the problem from another angle.
Definition 8 (in L).
A set is called a regular subforcing if:
- (1)
- if conditions are compatible then ;
- (2)
- if then — but it is not assumed that necessarily implies for an arbitrary ;
- (3)
- if , , and exactly, then implies ;
- (4)
- for any condition , there exist: a condition and a set such that , for all , for all , , and every condition , satisfies , and hence q is compatible with and with p.
In this case, if U is a system then define . In particular, if simply then .
Example 1 (trivial).
If in the ground universe , then is a regular forcing. To prove (4) of Definition 8 let and .
Example 2 (less trivial).
Consider the set K of all conditions such that and if , , then . We claim that K is a regular subforcing.
To verify 8(2), note that if then either or .
To verify 8(4), let . If , then setting and works, so we assume that . Define so that for all , , and , where consists of all , such that . Then , , and we have (not necessarily ) for all . Let contain 0 and all with ; easily
Now let . Consider any index . Then , hence . We claim that . Indeed otherwise as . However (see above). However, this contradicts , because .
Theorem 4 (in L).
The partially ordered set , and hence each , and generally each regular subforcing of (for any system U) satisfies CCC (countable antichain condition).
Proof.
Suppose towards the contrary that is an uncountable antichain. We may assume that there is such that for all . Applying the -lemma argument, we obtain an uncountable set and a finite set with strictly, such that for all in . Then is still an uncountable antichain, with for all , easily leading to a contradiction (see the proof of Lemma 2). □
Lemma 7 (in L).
If is a regular forcing and U is a system then is a regular subforcing of .
To show how (4) of Definition 8 works, we prove
Lemma 8 (in L).
If U is a system and is a regular subforcing of then any set pre-dense in K remains pre-dense in .
Proof.
Consider any . Let and satisfy (4) of Definition 8. In particular, and . By the pre-density, there is a condition compatible with . Then by (1) of Definition 8 there is a condition such that and . Then r is compatible with p by the choice of and d. □
3.3. Outline of Product and Regular Extensions
We consider sets of the form , U being a system in , as well as regular subforcings , as forcing notions over . Accordingly, we will study -generic and -generic extensions of the ground universe . Define some elements of these extensions.
Definition 9.
Suppose that . Put ; . Let
for any , where , and is a fixed recursive enumeration (see Definition 1).
Thus , and for any .
By the way, this defines a sequence of subsets of .
If then let . It will typically happen that . Put .
If U is a system in , the ground universe, then any -generic set splits into the family of sets , and each is -generic.
Lemma 9.
Let U be a system and be a regular subforcing in the ground universe . Let be a set -generic over . Then:
- (i)
- (ii)
- the set is -generic over
- (iii)
- , where (it is not necessary that !);
- (iv)
- if then
- (v)
- if then
- (vi)
- if then the set is -generic over , hence if then .
Proof.
(ii) This follows from Lemma 8.
(iii) Let us show that ; this proves . Suppose that , so that and , in other words, for a finite set of conditions . Note that by Definition 8(1). Thus , and . Yet as well, therefore, , and . It follows that , by Definition 8(3), so that . Finally .
Now suppose that and . Then obviously q belongs to (since so does p), hence (since G is generic). Finally .
Let us show that ; this proves . Indeed if then by definition , therefore , as required.
(iv) This is clear since we have in the case considered.
(v) The set can be identified with the product . Thus and are -generic over .
(vi) The genericity easily follows from Definition 8(3). Then use Lemma 3.
(i) First of all, by the product-forcing theorem. Then, each is recovered from the associated by means of a simple uniform formula, see the proof of Lemma 3(i). □
3.4. Names for Sets in Product and Regular Extensions
For any set X we let be the set of all -names for subsets of X. Thus consists of all sets . Let (small names) consist of all at most countable names .
We define , for any name .
Say that a name is below a given if all satisfy .
For any set , we let be the set of all names such that , and accordingly (small names). In particular, we’ll consider such sets of names as and . Names in for different sets X will be called -names. Accordingly, names in for different sets X will be called small -names.
Definition 10 (valuations).
If and then define , the -valuation of τ; is a subset of X.
Example 3 (some names).
Let be the empty condition, that is, . This is the weakest condition in any . If X is a set in the ground universe then is a -namefor any regular forcing , and for any set G containing ⊙.
We will typically use breve-names like for sets in the ground universe, and dot-names (like ) for setsin generic extensions.
Suppose that . Let . (In principle, depends on K but this dependence will usually be suppressed.) Clearly (but unless K is countable), and in addition for any . Thus is a name for the generic set .
Similarly, () is a name for (see Definition 9).
3.5. Names for Functions
For any sets let be the set of all -names for functions ; it consists of all such that the sets satisfy the followingrequirement:
Let and .
As above, consists of all at most countablenames .
For any set , we let be the set of all names such that , and accordingly (small names).
A name is -full iff the union is pre-dense in K for any . A name is -full below some , iff all sets are pre-dense in K below , that is, any condition , is compatible with some (and this holds for all ).
Note that , and accordingly . Thus all names in and in are still -names in the sense above.
Corollary 1 (of Lemma 8, (in L).
If U is a system, is a regular subforcing, any sets, and τ is a name in , then τ is -full (resp., -full below ) iff τ is -full (resp., -full below p).
Suppose that . Call a set minimally -generic iffit is compatible in itself (if then there is with ), and intersects each set of the form . In this case put
so that and . If is a formula in which some names occur (for various sets ), and a set is minimally -generic for any name in , then accordingly is theresult of substitution of for each name in .
Claim 1 (obvious).
Suppose that, in , are any sets, and is -full (resp., -full below p). Then, any set , -generic over (resp., -generic over and containing p), is minimally -generic.
Definition 11 (equivalent names).
Names are called equivalent iff conditions are incompatiblewhenever and for some m and . (Recall that .) Similarly, names are equivalent below some iff the triple ofconditions is incompatible (that is, is not ≤ than at least one of ) whenever and for some m and .
Claim 2 (obvious).
Suppose that, in , , and names are equivalent (resp., equivalent below p). Then, for any both minimally -generic and minimally -generic (resp., and containing p), .
Lemma 10.
Suppose that, in , U is a system, is a regular subforcing, , is a countable antichain, and, for any , is a name -full below . Then there is a -full name , equivalent to below p for any .
Proof.
Let B be a maximal (countable) antichain in the set of all conditions incompatible with . Then is a countable maximal antichain in K. We let consist of: (1) all triples , such that and , and (2) all triples , such that and . □
3.6. Names and Sets in Generic Extensions
For any forcing P, let denote the -forcing relation over as the ground model.
Theorem 5.
Suppose that U is a system and a regular subforcing in . Let be a set -generic over . Then:
- (i)
- if and φ is a closed formula with -names as parameters, then
- (ii)
- if are countable sets in , and , then there is a -full name in such that .
- (iii)
- if , then there is a name in such that , and in addition if X is countable in then .
- (iv)
- if are countable sets in , , is a formula with -names as parameters, and , then there is a -full name in such that .
Proof.
(i) Suppose . To prove , consider a set , -generic over . Then is -generic over by Lemma 8, hence is true in , as required. Conversely assume . There is a condition , . Then by the above, thus fails.
(ii) It follows from general forcing theory that there is a -full name , not necessarily countable, such that . Then all sets , are pre-dense in K. Put where is a maximal (countable, by Theorem 4) antichain for any x.
(iv) We conclude from (ii) that the set Q of all conditions , such that for some name , is dense in K below p. Let be a maximal antichain in Q; A is countable and pre-dense in K below p. Apply Lemma 10 to get a name as required. □
Example 4.
Consider the regular forcing , where U is a system and in . If is -generic over then the restricted set is -generic over , by Lemma 9 (with ). Furthermore, it follows from Lemma 9 and Theorem 5 that if then iff , so that .
Example 5.
Consider the regular forcing K defined in Example 2 in Section 3.2. Suppose that U is a system in and is a set -generic over . Then is a regular subforcing of by Lemma 7. We conclude that is a set -generic over , by Lemma 9.
It follows by the definition of K that the set satisfies , contains 0, and if then iff . Therefore, by Lemma 9 and Theorem 5, the sets and belong to , and if then iff . Thus
where .
3.7. Transformations Related to Product Forcing
There are three important families of transformations of the whole system of objects related to product forcing. Two of them are considered in this Subsection.
Family 1: permutations. If are sets of equal cardinality then let be the set of all bijections . Let , so that is essentially a bijection , equal to the identity on . Define the action of any onto:
- –
- sets : — then and ;
- –
- systems U with : for all — then ;
- –
- conditions with : for all ;
- –
- sets : — then , in particular, for any regular subforcing ;
- –
- names : — then
Lemma 11.
If are sets of equal cardinality and then is an order preserving bijection of onto , and if U is a system and then , and we have .
Family 2: Lipschitz transformations. Let be the -product of the group (see Section 2.3), with countable support; this will be our second family of transformations. Thus a typical element is , where is at most countable, and . We will routinely identify each with its extension on defined so that is the identity map (on ) for all . Keeping this identification in mind, define the action of any on:
- –
- systems U: and ;
- –
- conditions , by and ;
- –
- sets : , in particular, for any regular subforcing ;
- –
- names : ;
In the first two lines, we refer to the action of on sets and on forcing conditions, as defined in Section 2.3.
Lemma 12.
If then is an order preserving bijection of onto , and if U is a system then we have .
Corollary 2 (of Lemma 5).
Suppose that are countable systems, , and . Then there is a transformation such that
- (i)
- , , and
- (ii)
- there are conditions and such that —in particular, conditions and q are compatible in .
Proof.
Apply Lemma 5 componentwise for every . □
3.8. Substitutions and Homogeneous Extensions
Definition 12.
If (3) holds and , , then define so that , whenever , but for all , where is defined as in Section 2.4. This is Family 3 of transformations, called substitutions.
Theorem 6.
If U is a system, and conditions satisfy (3) above, then
is an order isomorphism.
Proof.
Apply Lemma 6 componentwise. □
Suppose that are as in Theorem 6. Extend the action of onto names and formulas. Recall that a name is below p iff holds for any triple .
- If are any sets and is a name below p then put , so is a name below q.
- If is a formula with names below p as parameters then denotes the result of substitution of for any name in .
Forcing notions of the form are quite homogeneous by Theorem 6. The next result is a usual product forcing application of such a homogeneity.
Theorem 7.
Suppose that, in , U is a system, , K is a regular subforcing of , and . Let φ be a formula which contains as parameters: -names, and names of the form , where , , and enters φ only via . Then:
- (i)
- if and then
- (ii)
- in particular, for (and ), Q decides any formula Φ which contains only names for sets in and names via of the form with , as parameters;
- (iii)
- if and then .
Proof.
(i) Otherwise there are conditions with , , but . We can w.l.o.g. assume that satisfy (3) above (otherwise extend appropriately). Define as in Definition 12 and Theorem 6.
Let be a generic set containing p. Assuming w.l.o.g. that , the set will be generic as well by Theorem 6, and . Therefore is true in but is false in . Yet since . Moreover coincides with since (1) is the identity on d (indeed ), and (2) if , then since can be obtained from each other via maps coded in . This is a contradiction.
(iii) This is a particular case. □
Corollary 3.
Under the assumptions of Theorem 7, suppose that are arbitrary sets in , , and . Then there is a -full name such that .
Proof.
We can assume that by Theorem 7(iii), thus . It follows from Theorems 5(ii) and 7(i) that there exist: a (countable) antichain maximal below p, and, for any , a -full name such that . Now compose a -full name , such that every forces , as in the proof of Theorem 5(iv). □
4. Basic Forcing Notion and Basic Generic Extension
The proofs of Theorems 1–3, that follow in Section 7, Section 8 and Section 9, will have something in common. Namely the generic extensions we employ to get the results required will be parts of a basic extension, introduced and studied in this section. To define the extension, we’ll define (in as the ground universe) an increasing sequence of pairs of certain type—a Jensen–Solovay sequence, since this construction goes back to [9]—and make use of a forcing notion of the form , where . It turns out that if such a sequence is -complete, in sense that it meets all sets of n-complexity within the whole tree of possible constructions, then the truth of analytic formulas up to level n in corresponding generic extensions has a remarkable connection with the forcing approximations studied in Section 5. This will allow us to convert the homogeneity of the construction of Jensen–Solovay sequences into a uniformity of the corresponding generic extensions, expressed by Theorem 13.
Recall that assumed in the ground universe by Assumption 1.
4.1. Jensen–Solovay Sequences
If are systems then by definition holds. However this is not necessarily a suitably good notion. For instance a dense set may not be pre-dense in , thus if is a generic set then the “projection” is not necessarily -generic. Yet there is a special type of extension of systems, introduced by Jensen and Solovay [9], which preserves the density. This method is based on the requirement that the functions in that occur in V but not in U must be generic over a certain model that contains U.
Recall that is minus the Power Set axiom, see Section 5.1 below. Let be plus the axioms and “every set is at most countable”.
Definition 13.
Let be a pair of systems. Suppose that M is any transitive model of . Define iff and we have:
- (a)
- the set (note the union over rather than !) is multiply Cohen generic over M, in the sense that every string of pairwise different functions is Cohen generic over M, and
- (b)
- if and then is dense in .
Let , Jensen–Solovay pairs, be the set of all pairs of a transitive model and a disjoint () system . Let , small pairs, consist of all such that and M (then U as well) is countable. Define the extension relations:
- iff and ;
- iff and .
It would be a vital simplification to get rid of M as an explicit element of the construction, e.g., by setting iff and there is a CTM M containing U and such that .
Lemma 13.
Suppose that pairs belong to . Then . Thus ≼ is a partial order on .
Proof.
Prove that the set is multiply Cohen generic over M. Consider a simple case when and , where , and prove that is Cohen generic over M. (The general case does not differ much.) By definition, f is Cohen generic over M and g is Cohen generic over . Therefore, g is Cohen generic over , which satisfies since . It remains to apply the product forcing theorem. □
Remark 1.
We routinely have (the same U) provided . On the other hand, (with the same M) is possible only in the case when , that is, for all . In particular, if , then .
Lemma 14 (extension).
If and is countable, then there is a pair such that and .
Proof.
Let , and let be Cohen generic over M. Now define for each , and let be any CTM satisfying and containing . □
Definition 14.
A Jensen–Solovay sequence of length is any strictly -increasing -sequence of pairs , which satisfies on limit steps. Let be the set of all such sequences.
Lemma 15.
Suppose that is a limit ordinal, and belongs to . Put , that is, for all .
Then for every ξ.
If, moreover, and M is a CTM of containing then and for every ξ.
Proof.
The same idea as in the proof of Lemma 13. □
4.2. Stability of Dense Sets
Assume that and D is a pre-dense subset of (say, a maximal antichain). If is another system satisfying , then it may well happen that D is not maximal in . The role of the multiple genericity requirement (a) in Definition 13, first discovered in [9], is to somehow seal the property of pre-density of sets already in M for any further extensions. This is the content of the following key theorem. The product forcing arguments allow us to extend the stability result to pre-dense sets not necessarily in M, as in items (ii), (iii) of the following theorem.
Theorem 8.
Assume that, in , , is a disjoint system, and . If D is a pre-dense subset of (resp., pre-dense below some ) then D remains pre-dense in (resp., pre-dense in below p) in each of the following three cases:
- (i)
- (ii)
- , where is -generic over and is a PO set;
- (iii)
- , where is finite, is fixed, and .
Proof.
We consider only the case of sets D pre-dense in itself; the case of pre-density below some is treated similarly.
(i) Suppose, towards the contrary, that a condition is incompatible with each . As , we can w.l.o.g. assume that .
Our plan is to define a condition , also incompatible with each , contrary to the pre-density. To maintain such a construction, consider the finite string of all elements occurring in but not in U. It follows from that is Cohen-generic over M. Further analysis shows that p being incompatible with D is implied by the fact that meets a certain M-countable family of Cohen-dense sets. Therefore, we can simulate this in M, getting a string which meets the same Cohen-dense sets, and hence yields a condition , also incompatible with each .
This argument was first carried out in [9] in full generality, where we address the reader. However, to present the key idea in sufficient detail in a somewhat simplified subcase, we assume that (1) is a singleton; . Then , where and are finite sets. The (finite) set is multiply Cohen generic over M since . To make the argument even more transparent, we suppose that (2) , where and the pair is Cohen generic over M. (The general case follows the same idea and can be found in [9]; we leave it to the reader.)
Thus , where is by definition a finite set.
The plan is to replace the functions by some functions so that the incompatibility of p with conditions in D will be preserved.
It holds by the choice of p and Lemma 1 that , where
and depends on via (See Section 3.1 on notation.) The equality can be rewritten as , where . Further, is equivalent to
- (∗)
- , where ,
and each is finite. Recall that , therefore , where and . Thus (∗) is equivalent to
- (†)
- , where .
Note that each is a finite subset of , so we can reenumerate in M and rewrite (†) as follows:
- (‡)
- , where each is finite.
As the pair is Cohen-generic, there is a number such that (‡) is forced over M by , where and . In other words, holds for all k whenever is Cohen-generic over M and , . It follows that for any k and strings extending resp. there are strings extending resp. , at least one of which extends one of . This allows us to define, in M, a pair of such that , , and for any k at least one of extends one of . In other words, we have
It follows that the condition defined by , , , still satisfies (compare with (∗)), and further , therefore, is incompatible with each . Yet since , which contradicts the pre-density of D.
(ii) The above proof works with instead of M since the set X as in the proof is multiple Cohen generic over by the product forcing theorem.
(iii) Assuming w.l.o.g. that , we conclude that is a Cohen generic extension of M. Following the above, let . By the definition of ≼ the set is multiply Cohen generic not only over M but also over . This allows to carry out the same argument as above. □
Corollary 4.
(i) Assume that, in , , and . Let a set be -generic over . Then is -generic over M.
(ii) If moreover, , is a regular subforcing, then is -generic over M.
Proof.
To prove (i), note that if a set , , is pre-dense in , then it is pre-dense in by Theorem 8, and hence by the genericity. To prove (ii), apply Lemma 8. □
The next corollary returns us to names, the material of Section 3.4 and Section 3.5.
Corollary 5 (of Theorem 8(i)).
In , suppose that , , and belong to M. Assume that is a -full name. Then τ remains -full. If moreover and τ is -full below p, then τ remains -full below p.
4.3. Digression: Definability in
The next subsection will contain a transfinite construction of a key forcing notion in relativized to . Recall that is the collection of all hereditarily countable sets. In particular, in . In matters of related definability classes, we refer to e.g., Part B, Chapter 5, Section 4 in [20], or Chapter 13 in [21], on the Lévy hierarchy of ∈-formulas and definability classes for any set X, and especially on for in Sections 8 and 9 in [22], or elsewhere. In particular,
- = all sets , definable in by a parameter-free formula.
- = all sets definable in by a formula with sets in as parameters.
Something like , means that only x is admitted as a parameter, while , where is a transitive model, means that all are admitted as parameters. Collections like are defined similarly, and , etc. The boldface classes are defined as follows: .
Remark 2.
It is known that the classes are equal to resp. for sets of reals, and the same for parameters and boldface classes. This well-known result was explicitly mentioned in [23] (Lemma on p. 281), a detailed proof see Lemma 25.25 in [21], or Theorem 9.1 in [22].
Remark 3.
Recall that is the Gödel wellordering of , the constructible universe.
It is known that the restriction is a relation, and if , is any parameter, and is a finitary relation on then the relations and (with arguments ) are as well.
4.4. Complete Sequences and the Basic Notion of Forcing
Say that a pair solves a set iff either , or there is no pair extending . Let be the set of all pairs which solve D.
Definition 15.
Let . A sequence is - complete iff itintersects every set of the form , where is . (See Section 4.3 on definability classes in .)
Let us prove the existence of complete sequences.
Theorem 9 (in L).
Let . There is a sequence of class , -complete in case , and such that for all ξ — hence the limit system satisfies .
Proof.
Define pairs , by induction. Let be the null system with , and be the least CTM of . If is limit then put and let be the least CTM of containing the sequence . If is defined then by Lemma 14 there is a pair with and . Let be a universal set, and . Let be the -least pair satisfying . To check the definability property use the fact mentioned by Remark 3 in Section 4.3. □
Now define the basic forcing notion.
Definition 16 (in L).
Fix a number . Let be any -complete Jensen–Solovay sequenceof class as in Theorem 9—in case , or just any Jensen–Solovay sequence of class —in case , and in both cases for every , as in Theorem 9. Put , so is a system, , for all . We finally define and for .
Thus is the product of sets , with finite support.
We proceed with a couple of simple lemmas.
Corollary 6.
Suppose that, in , M is a transitive model of containing the sequence of Definition 16. Then, for every
- (i)
- and
- (ii)
- if then is uncountable and topologically dense in , and if belong to then is empty;
- (iii)
- any set , pre-dense in (resp., pre-dense in below some ), is pre-dense in (resp., pre-dense in below p);
- (iv)
- any name , -full (resp., -full below some ), is -full (resp., -full below p);
- (v)
- if is a set -generic over the ground universe then the set is -generic over .
Proof.
To prove (i) use Lemma 15. Both claims of (ii) hold by Definition 13. To prove (iii) and (iv) use Corollary 5. Finally, (v) follows from (iii). □
Now let us address definability issues.
Lemma 16 (in L).
The binary relation is .
The sets and (-names for functions in ) are .
The set of all -full names in is .
Proof.
The sequence is by definition, hence the relation is . On the other hand, if belongs to some then obviously implies , leading to a definition of the relation . To prove the last claim, note that by Corollary 5 if a name is -full then it remains -full. □
4.5. Basic Generic Extension and Regular Subextensions
Recall that an integer and sets are fixed in by Definition 16. These sets are fixed for the remainder.
Suppose that, in , is a regular subforcing. If is a set -generic over then is -generic over by Lemma 9(vi), and hence is a -generic extension of . The following formulas () will give us a useful coding tool in extensions of this form:
This is based on the next two results. Recall that .
Lemma 17.
as a binary relation belongs to in any cardinal-preserving generic extension of .
Proof.
The set is in , by Lemma 16, and hence so is . Let and be formulas that define resp. W, in , in . Then, in any generic extension of , is equivalent to , where is the formula
Theorem 10.
Suppose that, in , is a regular subforcing. Let be -generic over . Then:
- (i)
- if , then and holds, but
- (ii)
- if , then , and there is no sets in satisfying .
Proof.
(i) This is a corollary of Lemma 9(vi).
(ii) Suppose towards the contrary that some satisfies . Note that by Lemma 9(iv). Now we can forget about the given set K. It follows from Theorem 5(iii) (with ), that there is a name such that . There is an ordinal satisfying and . Then , where is -generic over by Corollary 6, and hence S belongs to .
Note that is uncountable by Corollary 6(ii), and hence is uncountable. Let . Then f is Cohen generic over the model by Corollary 6. On the other hand is -generic over by Theorem 8(iii). Therefore f is Cohen generic over as well.
Recall that and holds, hence . As f is Cohen generic over , it follows that there is a string , such that S contains no strings extending s. Take any . By Corollary 6(ii), there exists a function , satisfying . Then, by . However, this is absurd by the choice of s. □
Corollary 7.
Suppose that, in , is a regular forcing. Let be a set -generic over . Then
- (i)
- is equal to the set
- (ii)
- it is true in that the set is
- (iii)
- therefore is in .
Proof.
Claim (i) follows from the theorem, because by the regularity we have for all . Claim (ii) immediately follows from Lemma 17. To prove (iii) note that, by (i) and (ii), it holds in that the set is defined by a formula in . □
5. Forcing Approximations
Here we define and study here an important forcing-like relation . It will give us control over various phenomena of analytic definability in the generic extensions considered.
We continue to assume in the ground universe by Assumption 1.
5.1. Models and Absolute Sets
To consider transitive models of weaker theories, we let be minus the Power Set axiom, with the schema of Collection instead of replacement, and AC in the form of well-orderability of every set. See [24] on in detail.
Let be plus the axioms and “every set is at most countable”.
Let . By definition, a set is iff there exist a formula and a formula , with sets in W as parameters, such that
in particular, we have for all x. However, generally speaking, this does not imply that , where is a countable transitive model (CTM). The goal of the next two definitions is to distinguish and formalize this kind of absoluteness.
Definition 17.
If for a given set X, there exists such a pair of formulas, containing only parameters in W and satisfying (4) and for all countable transitive models containing all parameters that occur in σ and/or in π, then we say that X is absolute . In this case, if M is as indicated then the set is via the same pair of formulas. In particular, any set is absolute by obvious reasons.
Definition 18.
In continuation of the last definition, a function , defined on a set , is absolute function, if f is absolute as a set of pairs in the sense of Definition 17, and inaddition, if is a CTM and then .
5.2. Formulas
Here we introduce a language that will help us study analytic definability in -generic extensions, for different systems U, and their submodels.
Definition 19.
Let be the 2nd order Peano language, with variables of type 1 over . If then an formula is any formula of , with somefree variables of types replaced by resp. numbers in ω and names in , and some type 1 quantifiers are allowed to have bounding indicesB (i.e., ) such that is finite or countable.
Typically K will be a regular forcing in Definition 19, in the sense of Definition 8, or a regular subforcing of the form , U being a system.
If is a formula then let
Note that provided is an formula.
If a set is minimally -generic (i.e., minimally -generic w.r.t. every name , in the sense of Section 3.5), then let the valuation be the result of substitution of for any name , and changing each quantifier , to respectively, while index-free type 1 quantifiers are relativized to ; is a formula of with real parameters, and with some quantifiers of type 1 explicitly relativized to certain submodels of .
An arithmetic formula in is a formula with no quantifiers of type 1 (names in as in Definition 19 are allowed). If then let a , resp., formulabe a formula of the form
respectively, where is an arithmetic formula in , all variables are of type 1 (over ), the sign means that this quantifier can have a bounding index as in Definition 19, and it is required that the rightmost (closest to the kernel ) quantifier doesn’t have a bounding index.
If in addition is a transitive model and a system then define
all formulas such that and all indices belong to M and satisfy .
Define similarly. All formulas in are by definition (finite) strings in M.
5.3. Forcing Approximation
The next definition invents a convenient forcing-type relation for pairs in and formulas in , associated with the truth in -generic extensions of , where is a regular forcing. Recall that whenever is a regular forcing and U is a system.
Definition 20 (in L).
We introduce a relation . First of all,
- (F1)
- Writing , it is assumed that:
- (a)
- ,
- (b)
- is a regular forcing and an absolute set,
- (c)
- p belongs to (a regular subforcing of by Lemma 7),
- (d)
- φ is a closed formula in for some , and each name is -full below p.
Under these assumptions, the sets belong to M. The property of -fullness in (F1)d is equivalent to just -fullness, by Corollary 1, since is a regular subforcing of by Lemma 7.
The definition of goes on by induction on the complexity of formulas.
- (F2)
- If , and φ is a closed formula in (then by definition it has no quantifier indices), then: iff (F1) holds and p -forces φ over M in the usual sense. Note that the forcing notion belongs to M in this case by (F1)b.
- (F3)
- If , then:
- (a)
- iff there is a name , -full below p (by (F1)d) and such that .
- (b)
- iff there is a name , -full below p (by (F1)d) and such that .
- (F4)
- If , φ is a closed formula, , and (F1) holds, then iff we have for every pair extending , and every condition , where is the result of canonical conversion of to .
Lemma 18 (in L).
Let satisfy (F1) of Definition 20. Then:
- (i)
- if , and , then
- (ii)
- if , φ is , and , then fails.
Thus by the first claim of the lemma is monotone w.r.t. both the extension of pairs in and the strengthening of forcing conditions.
Proof.
(i) Let be a closed formula in , where all names are -full below the condition considered. Then all names remain -full below p, and below q as well since , by Corollary 5. Consider a set , -generic over and containing q. We have to prove that is true in . Note that the set is -generic over M by Corollary 4, and we have . Moreover the valuation coincides with since all names in belong to . is true in as . It remains to apply Mostowski’s absoluteness between the models .
The inductive steps related to (F3), (F4) of Definition 20 are easy.
Claim (ii) immediately follows from (F4) of Definition 20. □
The next theorem classifies the complexity of in terms of projective hierarchy. Recall that all formulas in are by definition (finite) strings in M. This allows us to consider and analyze sets
and similarly defined , where it is assumed that and is a regular forcing and an absolute
set.
Theorem 11 (in L).
Let and be a regular forcing and an absolute set. Then:
- (i)
- and are
- (ii)
- if then and are .
Proof
(sketch). Suppose that is . Under the assumptions of the theorem, items (F1)a, (F1)c, (F1)d of Definition 20(F1) are relations, (F1)b is automatic, while (F2) is reducible to a forcing relation over M that we can relativize to M. The inductive step goes on straightforwardly using (F3), (F4) of Definition 20. Note that the quantifier over names in (F3) is a bounded quantifier (bounded by M), hence it does not add any extra complexity. □
5.4. Advanced Properties of Forcing Approximations
The following lemma works whenever the domain (a regular forcing) of conditions p related to the definition of is bounded by a set . (Compare with Theorem 7.)
Lemma 19 (restriction lemma, in L).
Suppose that satisfy (F1) of Definition 20, a set is absolute , , and . Then .
Note that is not assumed in the lemma. On the other hand, we have by Definition 20(F1)c, because and , and holds because is an formula. In addition, by the choice of c.
Proof.
The direction immediately follows from Lemma 18(i) since we have by Remark 1 in Section 4.1. Prove the opposite implication by induction.
Case of formulas: under the assumptions of the lemma.
Step . Let be a formula, and be , , . If then there is a name such that . We conclude that by the inductive hypothesis. However we have since . Thus . The case being is similar.
Step . Let be a formula. Suppose towards the contrary that holds, but fails, so that there exist a pair and a condition , such that , , and . Then by the inductive hypothesis. Note that by the choice of K, but not necessarily .
Define a system such that , , and . Then , therefore still by Lemma 18(i).
Now we claim that . Indeed, suppose that . If then . If then by construction. It follows that , , and —which implies , since . Thus .
We have as well. This contradicts the assumption by Lemma 18(ii). □
Lemma 20 (in L).
Let satisfy (F1) of Definition 20, , be another list of names in , -full below p and such that and are equivalent below p for each . Then iff .
Proof.
It suffices to consider the case of formulas; the induction steps and are rather easy.
Suppose that is and . Suppose that is a set -generic over M, and . We claim that for all ℓ; this obviously implies the result required. Suppose that this is not the case. Then, by definition, there exist numbers m and and conditions and . Then must be compatible (as elements of the same generic set), which is a contradiction. □
Lemma 21 (in L).
Suppose that satisfy (F1) of Definition 20, φ is , , a set , is a maximal antichain in P, and for all . Then .
Proof.
If is a formula then the result follows from (F2) of Definition 20 and known properties of the ordinary forcing over M. Now let be . Suppose towards the contrary that fails. Then there exist: a pair extending , and a condition , such that . Note that A remains a maximal antichain in the set (bigger than P above), by Lemma 8. Therefore, A is still a maximal antichain in , by Theorem 8(i), hence a maximal antichain in . It follows that r is compatible in with at least one condition . However, while , easily leading to a contradiction with Lemma 19. □
5.5. Transformations and Invariance
Here we show that, under certain assumptions, the transformations of the first two groups defined in Section 3.7 preserve forcing approximations . This is not an absolutely elementary thing: there is no way to reasonably apply transformations to transitive models M involved in the definition of . What we can do is to require that the transformations involved belong to the models involved. This leads to certain complications of different sort.
Family 1: permutations. First of all we have to extend the definition of the action of in Section 3.7 to include formulas. Suppose that . Define the action of any onto formulas of such that :
- –
- to get substitute for any and for any .
Lemma 22.
Suppose that satisfy (F1) of Definition 20, sets have equal cardinality and are absolute , is an absolute function, and .
Then, iff .
Proof.
Under the assumptions of the lemma, in particular, the requirement of being absolute , acts as an isomorphism on all relevant domains and preserves all relevant relations between the objects involved. Thus still satisfy Definition 20(F1), and . (For instance, to show that still belongs to M, note that the set belongs to M, thus , too, since is an absolute function.) This allows to prove the lemma by induction on the complexity of .
Suppose that is a closed formula in . Then is a closed formula in . Then easily is a set in M order isomorphic to itself by means of the map . Moreover a set is -generic over M iff is, accordingly, -generic over M and the valuated formulas and coincide. Now the result for formulas follows from (F2) of Definition 20.
Step . Let be a formula, and be . Assume . By definition there is a name such that . Then, by the inductive hypothesis, , and hence by definition .
The case of being is similar.
Step . This is somewhat less trivial. Assume that is a closed formula; all names in belong to and are -full below a given . Then, by rather obvious reasons, is a closed formula, whose all names belong to and are -full below . Suppose that fails. By definition there exist a pair with , and a condition , such that . We can also assume by Lemma 19, that . Then by the inductive hypothesis. Yet the pair belongs to and extends . (As is absolute and , the restriction belongs to M.) In addition, , and . Therefore the statement fails, as required. □
Family 2: Lipschitz transformations. We extend the action of to formulas of :
- –
- to get substitute for any but do not change the quantifier indices B.
Note that the action of any on systems, conditions, names, and formulas, as defined there, is absolute . This allows to prove the next invariance lemma similarly to Lemma 22, which we leave for the reader.
Lemma 23.
Suppose that satisfy (F1) of Definition 20, and . Then iff .
6. Elementary Equivalence Theorem
This section presents further properties of -generic extensions of and their subextensions, including Theorem 13 and its corollaties on the elementary equivalence of different subextensions.
Assumption 2.
We continue to assume in the ground universe. Below in this section, a number is fixed, and pairs , the system , the forcing notions and are as in Definition 16 for this.
6.1. Further Properties of Forcing Approximations
Coming back to the complete sequence of pairs introduced by Definition 16, we consider the auxiliary forcing relation with respect to those pairs. We begin with the following definition.
Definition 21 (in L).
Let be a regular forcing. Recall that
for any . Let mean —then by definition K has to be an absolute set, by the way. We let mean: .
Thus, if then definitely K is an absolute set, , is a formula with names in as parameters, all names are -full below p, all indices belong to . The following is an easy consequence of Lemma 18.
Lemma 24 (in L).
Let be a regular forcing. Assume that φ is a closed formula in , , . Then:
- (i)
- if and , , then
- (ii)
- and contradict to each other;
- (iii)
- if φ is a formula, is a maximal antichain in Q, and for all , then
Proof.
(iii) As A is a countable set, there exists an ordinal such that for all . Apply Lemma 21. □
Lemma 25 (in L).
Assume that is a regular forcing, φ is a closed formula in , , all names in φ are -full below p, and finally and K is absolute . Then:
- (i)
- there is , such that or
- (ii)
- if φ is , then iff there is no condition , such that
Proof.
(i) As any name is a countable object, there is an ordinal such that , , and all names in belong to ; then all names in are -full below p, of course. As , the set D of all pairs that extend and there is a condition , satisfying , belongs to by Theorem 11. Therefore, by the -completeness of the sequence , there is an ordinal , such that . (By the way, this is the only use of the -completeness!)
We have two cases.
Case 1: . Then there is a condition , satisfying . However, obviously .
Case 2: there is no pair extending . Prove . Suppose otherwise. Then by the choice of and (F4) of Definition 20 there exist a pair extending , and a condition , such that . Then , a contradiction.
(ii) Suppose that there is no condition , with . Then by (i) the set is dense in below p. Let be a maximal antichain. It remains to apply Lemma 24(iii). □
6.2. Relations to the Truth in Generic Extensions
According to the next theorem, the truth in the generic extensions considered is connected in the usual way with the relation up to the -th level of analytic hierarchy. Recall that is assumed in the ground universe.
Theorem 12.
Assume that, in , is a regular forcing, φ is a closed formula in , all names in are -full, and K is an absolute set.
Let be a -generic set over . Then:
- (i)
- if and , then is true in
- (ii)
- conversely, if is true in and strictly holds, then .
The formulas , coincide under the assumptions of the theorem.
Proof.
(ii) We argue by induction on the complexity of .
The case of formulas. Let be a closed formula in . As names in the formulas considered are countable objects, there is an ordinal such that and is a formula. As is -generic over , the smaller set is -generic over by Corollary 4, and the formulas , coincide by the choice of . Therefore if holds in then holds in , by Shoenfield’s absoluteness theorem, and hence there is a condition which -forces over , that is, by (F2) of Definition 20, and finally , as required. If conversely, , , and , then by definition p-forces over . It follows that holds in , and hence holds in as well by the Shoenfield absoluteness.
Step . Let be a formula; let us prove the result for . If and then by definition there is a name , -full below p, and such that . By Lemma 10, there is a -full name , equivalent to below p. Then by Lemma 20. Note that is -full by Corollary 1, hence -full by Corollary 6(iv), and -full, too. It follows that holds in by the inductive hypothesis, thus holds in because by the choice of .
If conversely is true in then by definition there is an element such that is true in . By Theorem 5(ii), there is a -full name such that . Thus is true in . Note that is -full as well, by Corollary 1, and hence -full, too. By the inductive hypothesis, there is a condition such that . It follows that .
Step , . Prove the theorem for a formula , assuming that the result holds for . If is false in then is true. Thus by the inductive hypothesis, there is a condition such that . Then for any is impossible by Lemma 24(ii). Conversely, suppose that fails for all . Then by Lemma 25(i) there is such that . It follows that is true in by the inductive hypothesis, therefore is false.
(i) Let be a formula, , . By Lemma 24(ii), there is no such that . However, is , thus in holds by (ii).
Finally prove (i) for a formula , being . Suppose that and . Then there is a name , -full below p and such that . We can w.l.o.g. assume that is totally -full, by Lemmas 10 and 20. We have to prove that the formula , that is, , holds in —then holds in as well. Suppose to the contrary that fails in . However, is a formula. Therefore, by the first claim of the lemma, there is a condition such that . However, and are compatible (as they belong to the same generic set). This contradicts Lemma 24(ii). □
6.3. Consequences for the Ordinary Forcing Relation
For any forcing , we let be the ordinary -forcing relation over as the ground universe. In particular is the -forcing relationover .
Corollary 8 (in L).
Under the assumptions of Theorem 12, let . Then:
- (i)
- if φ is or and , then
- (ii)
- if φ is , then iff
- (iii)
- if strictly, φ belongs to or , and , then
- (iv)
- if strictly, φ is , and then
Proof.
(i) follows from Theorem 12(i).
(iii) Let be -generic over , and . If then is true in , and hence there is such that , by Theorem 12. However, then are compatible (as members of G), hence still is a condition, and .
(iv) If fails, then by Lemma 25(ii) there is a condition , such that . Then by (i), thus fails.
(ii) Suppose that . Then by (i), and hence fails. Now suppose that fails. Then there is a condition . However, then, by (iii), there is a condition , as required. □
The next corollary evaluates the complexity of the ordinary forcing relations . The result is related to formulas in classes and higher.
Corollary 9 (in L).
Let be an formula (that is, no names), and be a regular forcing. Suppose that , and K is an absolute set. Then:
- (i)
- if φ belongs to , , then the following set is
- (ii)
- similarly, if φ is , then is .
Proof.
We argue by induction on . Suppose that is and are -full names. It follows from Corollary 8(ii) that iff
The formula can be replaced by
(see a definition in Theorem 11). However, is by Theorem 11 (even provided ). On the other hand, the maps and are by construction (Definition 16). As K is , it easily follows that is . We conclude that is .
Step . Suppose that is a formula of the form , where accordingly is . Let us show that simply
which obviously suffices to carry out the step .
If is a name as in the right-hand side then obviously any p forces , and on the other hand by definition . Thus , hence, , as required. Now suppose that . This means, by definition, that . By Theorem 5(iv), there is a -full name such that , thus .
Step , . Suppose that is a formula; accordingly, is . It is clear that, under the assumptions that and are -full names, the following holds:
which is sufficient to accomplish the step . □
6.4. Elementary Equivalence Theorem
According to Theorem 10, sets S satisfying are different for different indices , and the difference can be determined, in the extensions of the form , at the level by Corollary 7, that is, (see Remark 2 in Section 4.3). On the other hand, the extensions considered remain rather amorphous w.r.t. lower levels of definability, as witnessed by the following key theorem.
Theorem 13.
Suppose that, in , sets have equal cardinality, is uncountable, is a regular forcing, is a formula with parameters in , and are absolute sets. Let be -generic over .
Then, if there is a real such that holds in , then there exists such that holds in
Recall that means that w is admitted as the only parameter. The assumption that is uncountable, can be avoided at the cost of extra complications, but the case of countable is not considered below. The proof makes use of the transformations introduced in Section 3.7.
Proof.
As all cardinals are preserved in , we w.l.o.g. assume that are countably infinite (or finite of equal cardinality) in . Suppose towards the contrary that
(A) there is a real such that holds in , but
(B) there is no satisfying in .
By Theorem 5(ii), for every real parameter z in there is a -full name such that . Replace each parameter z in by such a name in , and let be the formula obtained. Then . Further, the set
is a regular forcing, and . Choose y by (A). Once again, Theorem 5(ii), yields a -full name such that . The name is small, hence the set is countable (in ). We let ; the set is still countable and . Thus the formula is true in .
Now let . Thus Q is a regular forcing, and . Therefore is true in by the above. It follows by Theorem 12(ii) that there is a condition such that , and, by (B), we can also assume that p -forces over where . Further, in , there exists an ordinal such that
where and , and in addition the countable sets belong to M, , , , and all names in belong to , so that is a formula.
Now we can assume that both sets and are infinite. (Otherwise take a suitably bigger .) Then there is a bijection , such that is the identity and . Define a bijection such that coincides with f and is the identity. Let and . Acting by on (7), we obtain, by Lemma 22,
Comments: (1) since is the identity by construction and ; (2) by construction; (3) is because and is the identity.
Note that is a system with , and , , and by the choice of and f. In addition, are countable systems in . Corollary 2 yields a transformation in M such that , , conditions and p are compatible, and is the identity (as and ). However, then , and coincides with since . Therefore by (8) and Lemma 23. This implies . We conclude that -forces over , by Corollary 8(i). However, is compatible with p and p forces the negation of this sentence. The contradiction completes the proof. □
Corollary 10.
Under the assumptions of Theorem 13, if c is uncountable in , then is an elementary submodel of w.r.t. all formulas with parameters in .
Proof.
Prove by induction that if then is an elementary submodel of w.r.t. all formulas with parameters in . If then the result holds by the Shoenfield absoluteness theorem. It remains to carry out the step (). Let be a formula with parameters in ; we have to prove the result for the formula , assuming . First of all, as the cardinals are preserved, there is a set , countable in and such that all parameters of belong to . Let and ; we can identify with , of course. Then, in , is a regular forcing, , and all parameters of belong to .
Now suppose that holds in , the bigger of the two models of the lemma. Let this be witnessed by a real , where , so that holds in the model . As the cardinals are preserved, there is a set , countably infinite in and such that belongs to . Since c is uncountable, there exists a set , countably infinite in . By the choice of , there is a real such that the sets are absolute in . By Theorem 13, there is a real such that holds in , and then in by the inductive assumption. □
Note that if say c is uncountable but b countable, and d is countable, then Theorem 13 fails by means of the formula “there is a real x such that all reals belong to ”, and is equiconstructible with a real in this case.
Question 1.
It would be very interesting to figure out whether Theorem 13 and Corollary 10 hold also for sets not necessarily constructible.
The following corollary presents a partial positive result.
A set is bounded iff there is such that .
Corollary 11.
Suppose that is -generic over , and is a set unbounded in , locally constructible in the sense that for all , and all -cardinals are preserved in . Then is elementarily equivalent to w.r.t. all formulas with parameters in .
Remark: under the assumptions of the corollary, it is not necessary that , since the set z is not assumed to belong to , but we necessarily have by rather obvious reasons.
Proof.
Prove by induction that for any , is elementarily equivalent to w.r.t. all formulas with parameters in . For use Shoenfield’s absoluteness. To carry out the step (), let be a formula with parameters in . Then, by the choice of z, (1) there is a set , countable in and such that all parameters in belong to , and (2) there is a set , countably infinite in .
Now suppose that is true in . This is witnessed by a real for a set , countably infinite in . Then, by Theorem 13 with , there is a real , hence, , such that is true in . However, then is true in by the inductive hypothesis. Hence is true in as well, as required. □
7. Application 1: Nonconstructible Reals
In this section, we proveTheorems 1 and 2(i). Theorem 1 provides change of definability of reals situated in the ground set universe , in generic extensions of . Thus, any real in can be placed exactly at in an appropriate (almost disjoint) extension of . Theorem 2 contains several results for nonconstructible reals. The proofs of these results will make use of various results in Section 5 and Section 6, in particular, a result (Theorem 11) related to definability of relevant forcing relations.
Assumption 3.
We continue to assume in the ground universe. We fix an integer , for which Theorems 1 and 2 will be proved, and make use of a system and the forcing notion as in Definition 16; both and belong to .
7.1. Changing Definability of an Old Real
Proof (Theorem 1).
Fix a set , in , and define
.
Thus , , is a regular forcing. Let be a -generic set over . Then the set is -generic over by Lemma 9(ii), where , as usual.
Define and for every , as in Definition 9. We assert that the submodel of the whole generic extension witnesses Theorem 1. This amounts to the two following claims:
Claim 3.
It is true in that c is , therefore b is .
Proof.
By definition we have . Therefore c is in by Corollary 7(iii), hence (see Remark 2 in Section 4.3), and , as required. In more detail,
by Theorem 10, and it remains to apply Lemma 17. □
Claim 4.
In if is then and x is in .
Proof. (Claim 4).
Let in , where is a formula. Define , , and , as usual. Prove that
The right-hand side of (9) is relativized to and is in by Theorem 11. Thus (9) implies Claim 4.
To verify in (9), suppose that , that is, holds in . Then by Theorem 12(ii) there is a condition such that , that is, , where , for some . As , M contains , and the increasing bijection . It follows that , by Lemma 22, where and , as obviously . This implies the right-hand side of (9).
To verify , let , , and . Suppose towards the contrary that fails in , so that there is a condition such that . Then (since ), and hence there is an ordinal such that , and . Then still by Lemma 18, and Lemma 22 implies , where and . (By obvious reasons, .) Note that by the choice of . Therefore, we can define a system such that and for all . Then obviously , therefore .
Now, V and are countable systems in with and but . Corollary 2 yields a transformation in M such that , , and conditions and q are compatible. Then by Lemma 23. (Comment: is , and because regular forcings of the form are invariant w.r.t. the transformations in .) Thus , and hence by Corollary 8(i). However, r is compatible with q, and q forces the opposite, a contradiction. This ends the proof of (9). (Claim 4) □
(Theorem 1) □
7.2. Nonconstructible Real, Part 1
Here we begin the proof of Theorem 2(i). Suppose that a set is -generic over . Define and for every as in Definition 9. Emulating the construction in Section 7.1, put
The sets and do not belong to , accordingly, —unlike c in Section 7.1. Nevertheless, we are going to prove that the extension witnesses Theorem 2(i) with .
Note that the setup here is not exactly the same as in the proof of Theorem 1 in Section 7.1 since the set z does not belong to , the ground universe. Therefore we cannot treat as a forcing in . Instead of , we make use of the set K of all conditions such that for any :
- (A)
- if then
- (B)
- if then —and hence by (A).
as well as the related set .
Lemma 26.
K is a regular forcing in . If is -generic over then is a set -generic over and
Proof.
The nontrivial item of the regularity property here is (4) of Definition 8. If then define to be equal to p everywhere except for , where S consists of all strings such that (1) or , and (2) (to make sure that ). Now we let d contain 0, all numbers such that , and all numbers such that . (Compare to Example 2 in Section 3.2!)
The rest of the lemma follows from Lemma 9. □
Thus extensions of the form considered here are exactly -generic extensions of . To check that those extensions satisfy Theorem 2(i), we prove the following Claims 5 and 6. The first of them is entirely similar to Claim 3, so the proof is omitted (left to the reader).
Claim 5.
It is true in that z is , therefore is .
Claim 6.
In , if is , then and x is in .
The proof of this claim involves the following lemma.
Lemma 27
(proved below in Section 7.3). Suppose that , , . Let Φ be any closed parameter-free formula. Then it is impossible that simultaneously and .
Proof
(Claim 6 from the lemma). Assume that in , where is a formula. We claim that then
This proves Claim 6, of course, by Theorem 11. Now let us check (11) itself; this will be similar to the proof of (9) in Section 7.1.
Assume that , that is, holds in . By Theorem 12(ii) there is a condition such that , that is, , where , , . However, this implies the right-hand side of (9).
Now assume that , , and . Suppose towards the contrary that is false in , so that there is a condition such that . However, this contradicts Lemma 27. (Claim 6 and Theorem 2(i) modulo Lemma 27) □
7.3. Nonconstructible Real, Part 2
We continue the proof of Theorem 2(i).
The proof of Lemma 27 that follows below makes use of transformations in (bijections of ) and those in the set , essentially the -product of . Yet this will be somewhat more complicated than the proof of Theorem 1 above, because in this case K is not preserved under the action of arbitrary transformations in and . This is why we have to consider certain combinations of those transformations.
Namely consider superpositions of the form , where and . (Such acts so that for any applicable object x.)
Remark 4.
The set of all of this form is a group under the superposition, because the transformations of the two families considered commute so that , where , that is, for all k.
Definition 22.
A transformation is -preserving, if for all .
Not all are -preserving, and neither is any with the identity. Yet there are plenty of -preserving transformations in .
Lemma 28.
Let be countable systems with , and . There is a -preserving transformation such that , and the conditions and q are compatible.
Proof.
First of all, Lemma 5 yields a transformation such that and the conditions and (in ) are compatible. Define so that has just been defined, and the identity for all . Note that is a -preserving bijection of the set of all non-empty strings of integers. Let be the associated permutation of integers, so that iff (and ). Define so that and then and . It is quite obvious that is -preserving. Let and . Thus is a countable system with , , and in addition and the conditions and are compatible.
It follows from Lemma 5 that there is a transformation such that is the identity (and hence is -preserving) and for any we have and is compatible with . We conclude that the transformation is -preserving, , and the condition is compatible with q. Then, we have by Remark 4 in Section 7.3. □
Proof
(Lemma 27). Suppose towards the contrary that both and . By the way we can w.l.o.g. assume that , by Lemma 19, and moreover, that exactly. (Otherwise extend U by for all , where Q = all eventually-0 functions .)
There is an ordinal such that , , and . Let . Note that since . Thus . Apply Lemma 28 in . It gives a -preserving transformation such that and the conditions and q (both in ) are compatible. On the other hand, we have by Lemmas 22 and 23, and hence by Lemma 18, that is, . Thus by Corollary 8(i). However, r is compatible with q, and q forces the opposite, a contradiction. (Lemma 27) (Claim 6) (Theorem 2) □
8. Application 2: Nonconstructible Self-Definable Reals
Note that the set a as in Theorem 2(i) is definable in the generic extension of , considered in Section 7.2, by means of other reals in that extension, including those which do not necessarily belong to . Claim (ii) of Theorem 2 achieves the same effect with the advantage that a is definable inside .
The key idea (originally from [9] Section 4) can be explained as follows. Recall that a set of the form was made definable in a generic extension of the form by means of the presence/absense of other sets of the form , in , see Section 7.2 and Section 7.3. Our plan will now be to make each of the according sets (note that , see Definition 9), as well as the whole sequence of them, -definable in . In order to do this, we need to develop a suitable coding construction.
Assumption 4.
We continue to assume in the ground universe. We fix an integer , for which Theorem 1(ii) will be proved, and make use of a system and the forcing notion as in Definition 16; both and belong to .
8.1. Nonconstructible Self-Definable Reals: The Model
Here we begin the proof of Theorem 2(ii). Recall that is a fixed recursive enumeration of strings of natural numbers, such that , the empty string, and . Let , thus . Then we have:
- Each set is countably infinite, , and , and finally each is equal to for exactly one pair of indices of .
Define a partial order ≪ on so that iff . Obviously for all , and 0 is the -least element.
For any sequence of sets , we define a set so that:
- (1)
- ;
- (2)
- if then, for every i: if then and , butif then, for every i: if then and ;
- (3)
- if then for all i.
The next theorem obviously implies Theorem 2(ii).
Theorem 14.
Let be -generic over . Define and . Then , and it holds in that:
- (i)
- ζ is
- (ii)
- if is , then and x is in .
Proof
(will continue towards the end of Section 7). Our arguments will be a more elaborate version of arguments in Section 7.2, Section 7.3. We’ll make use of the set K of all conditions such that for all i and k:
- (A)
- if then
- (B)
- if then —and hence by (A).
(compare to (A), (B) in Section 7.2), and the related set .
Lemma 29.
K is a regular forcing in . If is a set -generic over then is -generic over , , and accordingly .
Proof.
As above, the nontrivial item of the regularity property is (4) of Definition 8. Suppose that . Then is finite. Let be the least -initial segment of satisfying ; is finite as well. Define so that and for all k, but the sets may be strictly bigger than the corresponding sets . The definition of goes on by -inverse induction on . If is -maximal in then obviously , and we put . Assume that is not -maximal in , and the value of is defined for all m such that . Put , where S consists of all strings such that
- (a)
- or , and
- (b)
- (to make sure that ).
By definition, , and if and at least one of the numbers , belongs to , then the string belongs to .
Now we define a set so that the decision whether a number belongs to d is made by direct -induction. We put . Suppose that some already belongs to d. We define:
- (1)
- , if and ;
- (2)
- , if and .
A simple verification that and d satisfy Definition 8(4) is left to the reader.
Further, the set is -generic by Lemma 9(ii).
By definition if then , therefore and .
Now to prove it remains to show that —then use Lemma 9(iii). Note that both for any and are -initial segments. Thus it suffices to check that if then
Prove, e.g., the first equivalence. Suppose that . Then for some in G, and we have by (B), so that and accordingly , thus by definition . Suppose conversely that . Then by definition , hence . This must be forced by some , and, as , we can assume that . However, in this case forcing means by necessity that just , so there exists a stronger condition with . We conclude that . (Lemma) □
It follows that is in by Corollary 7. On the other hand, by definition, if , then, for any k, we have iff . This easily leads to a definition of . Thus is in , and hence we have claim (i) of Theorem 14. The proof of claim (ii) follows in the next two subsections.
Remark 5.
A slightly more elaborate argument, like in the end of Section 4 in [9], shows that even more is a singleton in since is equalto the only set in satisfyings the following requirements:
- (a)
- , and if then and for all i;
- (b)
- if then we have iff for every i, and
- (c)
- if then the set satisfies .
The conjunction of them amounts to a definition of in .
8.2. Key Lemma
As in Section 7.2, Claim (ii) of Theorem 14 is a consequence of the following lemma (the key lemma from the title), the proof of which will end the proof of theorems 14 and 2(ii).
Lemma 30 (in L).
Suppose that , , . Let Φ be any closed parameter-free formula. Then it is impossible that simultaneously and .
Following Definition 22, a transformation (see Remark 4 in Section 7.3 on ) is called -preserving, if for all . Clearly the regular forcing K here is different (and way more complex in some aspects) than K in Section 7.3. The following lemma is analogous to Lemma 28.
Lemma 31 (in L).
Suppose that are countable systems with , and . Then there is a -preserving transformation such that , and the conditions and q are compatible.
Proof.
The proof resembles the proof of Lemma 28, but is somewhat more complicated. Essentially, we’ll have a ramified -long iteration in which the construction employed in Lemma 28 will be just one step. We define ≪-cones and for any .
Claim 7.
If , , and is the identity for each then there is a bijection , recursive in α, -preserving, and such that for all and is -preserving.
Proof.
Note that is a -preserving bijection of the set of all finite non-empty strings of integers. Let be the associated permutation of integers, so that iff . Let the transformation be the identity outside of the strict -cone ; in particular, . Beyond this, put and for all i. Now, if and is defined then put for all m. (Claim) □
8.3. Matching Permutation
Now, in continuation of the proof of Lemma 31, given any we outline a construction of a permutation such that the superposition is -preserving. Suppose that . We define
- (I)
- a sequence of numbers , such that and, for any m, is the least (in the usual order of ) -minimal element of , where ,—then and each is a -initial segment of ;
- (II)
- for every m, a transformation , such that is the identity for all but , and a matching permutation by Claim 7 — thus is the identity outside of the cone ;
- (III)
- a -preserving superposition , equal to the identity outside of the extended ≪-cone , in the sense that if U is a system with , or a condition satisfies , then and for all .
The whole sequence of transformations is thereby specified by the choice of the components ; we address this issue below. Now put
Claim 8.
(i) the sets satisfy
(ii) If and then
(iii) there is a single permutation such that whenever and .
Proof.
(i) Suppose that belongs to some . Prove that any number or , , also belongs to some . By definition . The number either belongs to , QED, or is -minimal in . In the latter case, we have for all , and hence is equal to for every . Take big enough for ; then .
To prove (ii) apply assumption (II) above. Finally (iii) easily follows from items (i), (ii). □
The transformation as in item (iii) of the claim can be understood as the infinite superposition .
Claim 9.
Suppose that , U is a system, , and , . Then and .
Proof.
By Claim 8(ii), there is an index such that for all . Thus is equal to .
The argument for p is similar. (Claim) □
It follows that the superposition is -preserving. Indeed, since sets are finite, if then there is m such that . However, then by Claim 9, and on the other hand is -preserving as a finite superposition of -preserving transformations .
8.4. Final Argument
Now let be as in Lemma 31. To accomplish the proof of Lemma 31, we note that the construction of depends on rather than on as a whole. This enables us to carry out the following definition of () by induction on m.
Definition 23.
Choose, using Lemma 5, a transformation such that and the conditions and (in ) are compatible.
Now suppose that transformations have been defined, and define . Note that is a -minimal element in , where , as above. First of all if then define:
- –
- so that , but is the identity, whenever ;
- –
- as in assumption (II) of Section 8.3 — thus is the identity outside of ;
- –
- a -preserving superposition , equal to the identity outside of the extended cone , as in assumption (III) of Section 8.3.
Define and by (12) above. Put and . By Lemma 5, there is a transformation such that and the conditions and are compatible.
After we have defined by induction on m, let’s take the transformation as the input of the construction in Section 8.3. The latter gives us a permutation of Claim 8, such that the superposition is -preserving. It remains to check that (1) and that (2) and q are compatible conditions.
To prove (1), consider any . (The argument will also work for the case , that is, .) By definition, we have
and hence, as obviously ,
therefore by Claim 9, as required. (Lemma 31) □
Proof (Lemma 30).
Similar to the proof of Lemma 27, but using Lemma 31 just proved. □
(Theorem 14) (Theorem 2(ii)) □
9. Application 3: Nonconstructible Reals
Here we prove Theorem 3.
Assumption 5.
We continue to assume in the ground universe. We fix an integer , for which Theorem 3 will be proved, and make use of a system and the forcing notion as in Definition 16; both and belong to .
9.1. Nonconstructible Reals: The Model
The most obvious idea as of getting an extension required is to slightly modify the proof of Theorem 2(ii) in the following direction. Suppose that be -generic over , and let and be defined as in Definition 9. We proved (see the proof of Theorem 2(i) above) that if
by (10) of Section 7.2 then the set is in , and the part of z is responsible for being in (by means of the equality ) while the part is responsible for being in (by means of the equality ). As now the second part is not needed, one might hope that if y is defined by
then will be a model for Theorem 3. At least will be in by exactly the same reasons. However we have not been able to prove the second part of the theorem, i.e., that all reals in belong to . The point of difficulty is the following hypothesis:
Conjecture 1.
Under the assumptions above, if then any parameter-free formula true in is true in as well.
We definitely cannot expect the conjecture to be true for formulas with parameters in (the smaller model) since if codes the sequence then is true in but false in .
We have a near-counterexample to Conjecture 1: the formula of class (assuming ) holds in and fails in . The set is definitely not of the form (13), so this is not literally a counterexample, yet it casts doubts on the approach based on (13).
Now we describe the extension involved in the proof of Theorem 3.
The model we define will be a submodel of the whole extension , where G is -generic over , and a set y of (13) is involved in the definition. We let
where (then ) and is defined by (13). The goal is to prove that witnesses Theorem 3 with . The task splits in two claims:
Claim 10.
In , y is , therefore is as well.
Claim 11.
In , if is then and x is in .
Claim 10 is established just as similar claims above, so we leave it for the reader.
Let us concentrate on Claim 11. We make use of the set of all conditions such that
as well as the related sets: , , and accordingly .
Lemma 32.
It is true in that: and K are regular forcings and absolute sets, and if contains 0 then the restrictions , are regular forcings, too.
If is a set -generic over then is a set -generic over , is a set -generic over , and
Proof.#
To check (4) of Definition 8 for see Example 2 in Section 3.2. To prove, that the set () is regular, argue as in Example 2 in Section 3.2. The rest of the lemma is easy: apply Lemma 9. □
9.2. Key Lemma
Lemma 33.
Suppose that is -generic over , and , , the symmetric difference is finite, and . Then the models and are -generic extensions of , elementarily equivalent w.r.t. all formulas with parameters in the common part of the two models.
Proof.
That is a -generic extension of follows from Lemma 32. Consider , the other model.
Let and ; thus . Then but by the definition of . In other words, the finite disjoint sets and satisfy but . It follows that there is a condition such that , , and . We can increase if necessary for (a technical requirement) to hold.
Now let q be a condition obtained by the following modification of p: still and (therefore, q belongs to together with p), and . It is clear that , so satisfy (3) in Section 3.7. Therefore the map (Definition 12)
is an order isomorphism of P onto Q by Theorem 6, acting so that:
- (∗)
- if then satisfies , for all , and even , but .
We conclude that also is an order isomorphism of onto by (∗), and hence the set is -generic over . Moreover it follows from (∗) that and for all , but and . Therefore , thus is a -generic extension of .
As for the elementary equivalence claim, note first of all that the common part of the two models also is a -generic extension of by the above. (Take as a new y.) Thus in fact it suffices to prove that under the assumptions of the theorem if then is an elementary extension of w.r.t. all formulas.
Let be a closed formula with parameters in . It can be deduced, using either Theorem 5(ii) or directly the CCC property of (Theorem 4) that there is an ordinal , such that all parameters of belong to , where .
Put ; the sets , have cardinality , and while . It follows from Lemma 32 that is a regular forcing, and in fact since . Moreover, by definition all of are absolute sets in for some . Therefore by Corollary 10 is simultaneously true in and in . However,
and similarly , as required. □
9.3. Second Key Lemma
In continuation of the proof of Claim 11, we establish another key lemma (Lemma 35). Suppose that
- (I)
- is -generic over , , and are parameter-free formulas that give a definition for in .
Thus it is true in that “the equivalence holds in the model ”. It follows that there is a condition with
- (II)
- .
Lemma 34.
If satisfies (II) then so does .
Proof.
We assume w.l.o.g. that . Let . In the context of Theorem 7, put , , and (a regular forcing by Lemma 32). Then , hence
Here is constructible while is finite and hence constructible as well. We conclude by Theorem 7(i) that -forces . However, , so we are done. □
Following the lemma, fix a condition satisfying and (II).
Lemma 35.
Assume (I) and (II) above. Let . Then the sentence is -decided by either or .
Proof.
It will be technically easier to establish the result in the following form equivalent to the original form by Theorem 5(i):
- (1°)
- the sentence “” is -decided by .
Assume that this fails; then there exist two conditions stronger than and satisfying:
- (2°)
- and .
We can assume that ; otherwise apply Lemma 34 to formulas and . Strengthening , if necessary, we can w.l.o.g. assume that
- (a)
- and . (= (3) in Section 3.8.)
Working towards a contradiction, we w.l.o.g. assume that, in addition to (a), the following holds:
- (b)
- the symmetric difference contains a single element .
(Any pair of conditions satisfying (a) can be connected by a finite chain of conditions in which any two neighbours satisfy (b) and are .)
Thus suppose that , , (a), (b), 2° hold; the goal is to infer a contradiction. The associated transformation (Definition 12) maps onto order-preservingly by Theorem 6. Let be a set -generic over and containing p. Then is -generic as well, , and hence , while by 2°.
Case 1: , where . Then the map acts so that is defined by , for all , , but . It follows that for all but . Thus for but since . In other words, , therefore and . It follows from Lemma 33 that any formula true in remains true in . In particular, , a contradiction.
Case 2: , where . Then, similarly to the above, for , but . Therefore, and . Thus any formula true in remains true in by Lemma 33. Apply this to the formula , equivalent to in both models by (II) above. (Note that , hence .) We have , a contradiction. (Lemma 35) □
9.4. Final Argument
Here we finish the proof of both Claim 11 in Section 9.1 and Theorem 3. Suppose that is a set -generic over , , and a set in , formulas , and a condition satisfy assumptions (I), (II) above. Then, by Lemma 35,
where, in , is a set such that for all and m (Corollary 9). It follows that, in , x is , hence (see Remark 2 in Section 4.3), where is a suitable code of .
To eliminate , consider the set Q of all conditions such that and for all . Note that is a set of the same complexity as , that is, , and hence so is Q because and all are finite sets. It follows that Q is .
We now claim that, in , this obviously yields x being lightface in . Indeed ⊆ follows by taking and applying (16). Now suppose that and , that is, . Recall that decides by Lemma 35. However, is impossible since any condition in Q is compatible with . Therefore as required. Thus in is established.
That the complementary set is as well is verified the same way, using the formula instead of . (Theorem 3)
10. Conclusions and Some Further Results
With proofs of the main theorems accomplished, in this final section some further results are briefly discussed, which we plan to achieve and publish elsewhere.
10.1. Separation
This is another application of submodels of the same basic model. Recall that given a class of pointsets, the separation principle -Sep claims that any two disjoint -sets in the same space can be separated by a set in , where consists of all complements of -sets. The separation principle was introduced by N. Luzin. Luzin proved (see [25]) that -Sep holds, and then P.Novikov [26,27] demonstrated that -Sep fails, while at the second projective level, the other way around, -Sep holds but -Sep fails.
As for higher projective levels, the separation problem belongs to a considerable list of problems related to the projective hieharchy in Luzin’s book [25], Chapter V. Further development of set theory showed that Luzin’s problems are very hard to solve. Some of them are now known to be independent of the Zermelo–Fraenkel set theory , while some others are still open in different aspects, but it is known that adding Gödel’s axiom of constructibility solves most of them. In particular, implies [28,29] that -Sep holds but -Sep fails for all —similarly to the classical case . It follows that the statement is consistent with , and the problem is then to find a model in which we have -Sep and/or -Sep (opposite to the state of affairs in ) for one or several or all indices . This was the content of problems P 3029 and 3030 in the survey [8] of early years of forcing.
This turns out a very difficult question, and still open in its general forms, especially w.r.t. -Sep. (Compare to Problem 9 in [30], Section 9.) As for the -Sep side, there are indications in the set-theoretic literature, that generic extensions, where both -Sep and -Sep fail, are constructed by L. Harrington for (see 5B.3 in [6]) and for arbitrary (see [8] and [31], p. 230). These results were indeed announced in Harrington’s handwritten notes (Addendum A in [32]), with brief outline of some key arguments related mainly to case and based on almost-disjoint forcing. There are no such results in Harrington’s published works, assumed methods in their principal part (arbitrary n) are not used even for any other results, and separability theorems in this context are not considered. An article by Harrington, entitled “Consistency and independence results in descriptive set theory”, which apparently might have contained these results, was announced in the References list in [31], to appear in Ann. of Math., 1978, but in fact it has never been published.
The following conjecture concludes Addendum A of Harrington’s note [32]:
In fact (we believe) there is a model of in which Separation fails for all of the following at once: , , , , , , . ( , are classes arising in the type-theoretic hierarchy).
The hypothesis is partially confirmed by the following our theorem (to appear elsewhere).
Theorem 15
(originally Harrington [32]). If then there is a generic extension of in which -Sep and -Sep fail, and moreover
- (i)
- there exist disjoint sets of reals unseparable by disjoint sets,
- (ii)
- there exist disjoint sets of reals unseparable by disjoint sets.
Moreover there is a generic extension of in which (i) and (i) simultaneously hold for all .
Note that generic models are defined in [33] in which both -Sep and -Sep fail. We used different technique in [33], mostly related to Jensen’s minimal singleton forcing [10] and its iterated forms (see [34,35,36]) rather than the almost-disjoint forcing as in this paper.
10.2. Projections of Uniform Sets
In his monograph [25] (pp. 276–291) Nikolas Luzin formulated a number of problems about the structure of the projective classes , , (or in the old notational system). Their general meaning was to extend the results obtained by Luzin himself and P. S. Novikov for classes , , (level of the projective hierarchy) to higher levels. Among these problems, the following stands out, along with the separation problem discussed above:
- Projection problem:
- given , find out the nature of projections of uniform (planar) sets in comparison with the class of arbitrary projections of sets and with the narrower class . (A planar set is uniform, if it intersects every vertical line at no more than one point.)
Further research has shown the key importance of structural theorems on projective classes for the development of descriptive set theory. For example, separation principles play essential role in research on subsystems of second-order arithmetic, in particular, in the context of reverse mathematics [5].
If then every set is equal to the projection of a uniform set by the Novikov–Kondo–Addison uniformization theorem [6, 4E.4]. Under , the uniformization theorem fails for classes , but nevertheless it is known that if then every set is equal to the projection of a uniform set [37]. The next theorem (to appear elsewhere) demonstrates that this property is violated in suitable generic models.
Theorem 16.
If then there is a generic extension of in which:
- (i)
- there is a set not equal to the projection of a uniform sets,
- (ii)
- there is a set not equal to the projection of a uniform set.
10.3. Harvey Friedman’s Problem
Problem 87 in [38] requires to prove that for each there is a model of
It is noted in the very end of [38] that Harrington had solved this problem affirmatively. Indeed, a sketch is given in the same handwritten notes [32], of a generic extension of , in which it is true that , as well as a few sentences added as how Harrington planned to get a model in which holds for a given (arbitrary) , and a model in which , where (all analytically definable reals). This positively solves Problem 87, including the case . Full proofs have never been published except for an independent proof of the consistency of in [39]. Our plan will be to restore Harrington’s proof of the next theorem elsewhere.
Theorem 17
(originally Harrington [32]) (i) If then there is a generic extension of in which it is true that .
(ii) There is a generic extension of in which it is true that .
Friedman concludes [38] with a modified version of the above problem, given as Problem 87: find a model of
10.4. Axiom Schemata in 2nd Order Arithmetic
Different axiomatic systems in second-order arithmetic is widely represented in modern research, in particular, in the context of reverse mathematics and other sections of proof theory. See e.g., Simpson [5] (Part B), and numerous articles, and from older sources—for example, Kreisel [41], where the choice of subsystems is called the central problem. These systems are obtained by joining a particular combination of comprehension schema , countable choice , dependent choice , transfinite induction and recursion , etc., to the basic theory, say . The schemata can be specifieded by the complexity of the core formula in the Kleene hierarchy, as well as by allowing or prohibiting parameters. (For the importance of parameters, see [41], section III.)
The relationships between the subsystems have been actively studied. In particular, it is known that -CA is strictly stronger, than -CA, and the same for AC and DC. Proofs of these results in e.g., ([5] Chapter VII) use the fact that the schema at a higher quantifier level allows to get strictly more countable ordinals, than the schema at a lower level, but in essence, it is utilized that the th level schema proves the consistency of the nth level schema.
A few more complex results are known, where the compared systems are equiconsistent, despite the increase in quantifier complexity in the schemata, so the consistency argument doesn’t work. It such a case one has to resort to set theoretic methods. This is the old result of A. Levy [42] that -AC does not follow from , as well as a recent theorem in [43] saying that -DC does not follow from ; both are obtained using complex generic models of without the full axiom of choice. The task of our further research in this direction will be to prove consistency theorems that demonstrate the importance of both the quantifier complexity and the presence of parameters in the schemata.
Theorem 18 (to appear elsewhere).
If , then the theory does not imply -CA(unless inconsistent, of course).
Here CA* is the parameter-free part of the comprehension schema CA. Thus, both the quantifier complexity and the presence of parameters are essential for the deductive power of the comprehension schema in second-order arithmetic.
Theorem 19 (to appear elsewhere).
If , then the theory does not imply -DC (unless inconsistent).
Remark 6.
We are grateful to one of the reviewers for pointing out possible connections of our research with some questions of fuzzy set theory [44,45], yet this issue cannot be considered for a short time.
Supplementary Materials
The following are available online at https://www.mdpi.com/2227-7390/8/6/910/s1.
Author Contributions
Conceptualization, V.K. and V.L.; methodology, V.K. and V.L.; validation, V.K. and V.L.; formal analysis, V.K. and V.L.; investigation, V.K. and V.L.; writing original draft preparation, V.K.; writing review and editing, V.K.; project administration, V.L.; funding acquisition, V.L. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by Russian Foundation for Basic Research RFBR grant number 18-29-13037.
Acknowledgments
We thank the anonymous reviewers for their thorough review and highly appreciate the comments and suggestions, which significantly contributed to improving the quality of the publication.
Conflicts of Interest
The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.
References
- Hadamard, J.; Baire, R.; Lebesgue, H.; Borel, E. Cinq lettres sur la théorie des ensembles. Bull. Soc. Math. Fr. 1905, 33, 261–273. [Google Scholar] [CrossRef]
- Antos, C.; Friedman, S.; Honzik, R.; Ternullo, C. (Eds.) The Hyperuniverse Project and Maximality; Birkhäuser: Basel, Switzerland, 2018; p. XI, 265. [Google Scholar]
- Friedman, S.D.; Schrittesser, D. Projective Measure without Projective Baire; Memoirs of the American Mathematical Society; AMS: Providence, RI, USA, 2020. [Google Scholar]
- Friedman, S.D.; Hyttinen, T.; Kulikov, V. Generalized Descriptive Set Theory and Classification Theory; Memoirs of the American Mathematical Society; AMS: Providence, RI, USA, 2014; Volume 1081, p. 80. [Google Scholar]
- Simpson, S.G. Subsystems of Second Order Arithmetic, 2nd ed.; Perspectives in Logic; Cambridge University Press: Cambridge, UK; ASL: Urbana, IL, USA, 2009; p. 444. [Google Scholar]
- Moschovakis, Y.N. Descriptive Set Theory; Studies in Logic and the Foundations of Mathematics; North-Holland: Amsterdam, The Netherlands, 1980; Volume 100, p. 637. [Google Scholar]
- Shoenfield, J.R. The problem of predicativity. In Essays Found. Math., Dedicat. to A. A. Fraenkel on his 70th Anniv.; Bar-Hillel, Y., Ed.; North-Holland: Amsterdam, The Netherlands, 1962; pp. 132–139. [Google Scholar]
- Mathias, A.R.D. Surrealist landscape with figures (a survey of recent results in set theory). Period. Math. Hung. 1979, 10, 109–175. [Google Scholar] [CrossRef]
- Jensen, R.B.; Solovay, R.M. Some applications of almost disjoint sets. In Math. Logic Found. Set Theory, Proc. Int. Colloqu. Jerusalem 1968; Studies in Logic and the Foundations of Mathematics; Bar-Hillel, Y., Ed.; North-Holland: Amsterdam, The Netherlands, 1970; Volume 59, pp. 84–104. [Google Scholar]
- Jensen, R.B. Definable sets of minimal degree. In Math. Logic Found. Set Theory, Proc. Int. Colloqu. Jerusalem 1968; Studies in Logic and the Foundations of, Mathematics; Bar-Hillel, Y., Ed.; North-Holland: Amsterdam, The Netherlands, 1970; Volume 59, pp. 122–128. [Google Scholar]
- Friedman, S.D. Provable -singletons. Proc. Am. Math. Soc. 1995, 123, 2873–2874. [Google Scholar]
- Harrington, L.; Kechris, A.S. singletons and 0#. Fundam. Math. 1977, 95, 167–171. [Google Scholar]
- Stanley, M.C. A singleton incompatible with 0#. Ann. Pure Appl. Logic 1994, 66, 27–88. [Google Scholar]
- Kanovei, V.G. On the nonemptiness of classes in axiomatic set theory. Math. USSR Izv. 1978, 12, 507–535. [Google Scholar] [CrossRef]
- Enayat, A. On the Leibniz – Mycielski axiom in set theory. Fundam. Math. 2004, 181, 215–231. [Google Scholar] [CrossRef]
- Abraham, U. Minimal model of “ is countable” and definable reals. Adv. Math. 1985, 55, 75–89. [Google Scholar] [CrossRef][Green Version]
- Kanovei, V.; Lyubetsky, V. Definable E0 classes at arbitrary projective levels. Ann. Pure Appl. Logic 2018, 169, 851–871. [Google Scholar] [CrossRef]
- Kanovei, V.; Lyubetsky, V. Definable minimal collapse functions at arbitrary projective levels. J. Symb. Log. 2019, 84, 266–289. [Google Scholar] [CrossRef]
- Kanovei, V.; Lyubetsky, V. Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy. Fundam. Math. 2019, 245, 175–215. [Google Scholar] [CrossRef]
- Barwise, J. (Ed.) Handbook of Mathematical Logic. In Studies in Logic and the Foundations of Mathematics; North-Holland: Amsterdam, The Netherlands, 1977; Volume 90. [Google Scholar]
- Jech, T. Set Theory; The Third Millennium Revised and Expanded Edition; Springer: Berlin, Germany, 2003; p. 769. [Google Scholar]
- Kanovei, V.G. Projective hierarchy of Luzin: Modern state of the theory. In Handbook of Mathematical Logic. Part 2. Set Theory. (Spravochnaya Kniga Po Matematicheskoj Logike. Chast’ 2. Teoriya Mnozhestv); Transl. from the English; Barwise, J., Ed.; Nauka: Moscow, Russia, 1982; pp. 273–364. [Google Scholar]
- Jensen, R.B.; Johnsbraten, H. A new construction of a non-constructible subset of ω. Fundam. Math. 1974, 81, 279–290. [Google Scholar] [CrossRef][Green Version]
- Gitman, V.; Hamkins, J.D.; Johnstone, T.A. What is the theory ZFC without power set? Math. Log. Q. 2016, 62, 391–406. [Google Scholar] [CrossRef]
- Lusin, N. LeÇons Sur Les Ensembles Analytiques Et Leurs Applications; Gauthier-Villars: Paris, France, 1930. [Google Scholar]
- Novikoff, P. Sur les fonctions implicites mesurables B. Fundam. Math. 1931, 17, 8–25. [Google Scholar] [CrossRef][Green Version]
- Novikoff, P. Sur la séparabilité des ensembles projectifs de seconde classe. Fundam. Math. 1935, 25, 459–466. [Google Scholar] [CrossRef][Green Version]
- Addison, J.W. Separation principles in the hierarchies of classical and effective descriptive set theory. Fundam. Math. 1959, 46, 123–135. [Google Scholar] [CrossRef][Green Version]
- Addison, J.W. Some consequences of the axiom of constructibility. Fundam. Math. 1959, 46, 337–357. [Google Scholar] [CrossRef]
- Friedman, S.D. Constructibility and class forcing. In Handbook of Set Theory; Springer: Berlin, Germany, 2010; Volume 3, pp. 557–604. [Google Scholar]
- Hinman, P.G. Recursion-Theoretic Hierarchies; Perspectives in Mathematical Logic; Springer: Berlin, Germany, 1978; p. 480. [Google Scholar]
- Harrington, L. The constructible reals can be anything. Preprint dated May 1974 with several addenda dated up to October 1975: (A) Models where Separation principles fail, May 74; (B) Separation without Reduction, April 75; (C) The constructible reals can be (almost) anything, Part II, May 75.
- Kanovei, V.; Lyubetsky, V. Counterexamples to countable-section uniformization and separation. Ann. Pure Appl. Logic 2016, 167, 262–283. [Google Scholar] [CrossRef]
- Kanovei, V. Non-Glimm-Effros equivalence relations at second projective level. Fund. Math. 1997, 154, 1–35. [Google Scholar]
- Kanovei, V. An Ulm-type classification theorem for equivalence relations in Solovay model. J. Symb. Log. 1997, 62, 1333–1351. [Google Scholar] [CrossRef]
- Kanovei, V. On non-wellfounded iterations of the perfect set forcing. J. Symb. Log. 1999, 64, 551–574. [Google Scholar] [CrossRef]
- Kanovei, V.G.N.N. Luzin’s problems on imbeddability and decomposability of projective sets. Math. Notes 1983, 32, 490–499. [Google Scholar] [CrossRef]
- Friedman, H. One hundred and two problems in mathematical logic. J. Symb. Log. 1975, 40, 113–129. [Google Scholar] [CrossRef]
- Kanovei, V.G. The set of all analytically definable sets of natural numbers can be defined analytically. Math. USSR Izvestija 1980, 15, 469–500. [Google Scholar] [CrossRef]
- David, R. reals. Ann. Math. Logic 1982, 23, 121–125. [Google Scholar] [CrossRef]
- Kreisel, G. A survey of proof theory. J. Symb. Log. 1968, 33, 321–388. [Google Scholar] [CrossRef]
- Levy, A. Definability in axiomatic set theory II. In Math. Logic Found. Set Theory, Proc. Int. Colloqu. Jerusalem 1968; Bar-Hillel, Y., Ed.; North-Holland: Amsterdam, The Netherlands, 1970; pp. 129–145. [Google Scholar]
- Friedman, S.D.; Gitman, V.; Kanovei, V. A model of second-order arithmetic satisfying AC but not DC. J. Math. Log. 2019, 19, 39, Id/No 1850013. [Google Scholar] [CrossRef]
- Burrascano, P.; Callegari, S.; Montisci, A.; Ricci, M.; Versaci, M. (Eds.) Ultrasonic Nondestructive Evaluation Systems; Springer International Publishing: Berlin, Germany, 2015; p. XXXIII, 324. [Google Scholar]
- Versaci, M. Fuzzy approach and Eddy currents NDT/NDE devices in industrial applications. Electron. Lett. 2016, 52, 943–945. [Google Scholar] [CrossRef]
© 2020 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).