_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
HISTORIC FORCING FOR Depth
ANDRZEJ ROSLANOWSKI
AND SAHARON SHELAH
Abstract. We show that, consistently, for some regular cardinals θ < λ, there exists a Boolean algebra B such that  B = λ ^{+} and for every subalgebra B ^{′} ⊆ B of size λ ^{+} we have Depth(B ^{′} ) = θ .
0. Introduction
The present paper is concerned with forcing a Boolean algebr a which has some prescribed properties of Depth. Let us recall that, for a Boo lean algebra B, its depth is deﬁned as follows:
Depth(B)
=
sup{X  : X ⊆ B is wellordered by the Boolean ordering } ,
Depth ^{+} (B) = sup{X  ^{+} : X ⊆ B is wellordered by the Boolean ordering } .
(Depth ^{+} (B) is used to deal with attainment properties in the deﬁnition of Depth(B), see e.g. [5, § 1].) The depth (of Boolean algebras) is among cardinal functions that have more algebraic origins, and their relations to “topolo gical fellows” is often indirect, though sometimes very surprising. For example, if we deﬁne
Depth _{H}_{+} (B) = sup{ Depth(B/I ) : I is an ideal in B } ,
then for any (inﬁnite) Boolean algebra B we will have that Depth _{H}_{+} (B) is the tightness t (B) of the algebra B (or the tightness of the topological space Ult(B) of ultraﬁlters on B), see [3, Theorem 4.21]. A somewhat similar function to Depth _{H}_{+} is obtained by taking sup{ Depth(B ^{′} ) : B ^{′} is a subalgebra of B } , but clearly this brings nothing new: it is the old Depth. But if one wants to understand the behaviour of the depth for subalgebras of the considered Boolean algebra , then looking at the following subalgebra Depth relation may be very appropriate:
Depth _{S}_{r} (B) = { (κ, µ) : there is an inﬁnite subalgebra B ^{′} of B such that B ^{′}  = µ and Depth(B ^{′} ) = κ } .
A number of results related to this relation is presented by Monk in [3, Chapter 4]. There he asks if there are a Boolean algebra B and an inﬁnite cardinal θ such that (θ, (2 ^{θ} ) ^{+} ) ∈ Depth _{S}_{r} (B), while (ω, (2 ^{θ} ) ^{+} ) ∈/ Depth _{S}_{r} (B) (see Monk [3, Problem 14]; we refer the reader to Chapter 4 of Monk’s book [3] for the motivation and background of this problem). Here we will partially answer this question, showing that it is consistent that there is such B and θ . The question if that can be done in ZFC remains open.
1991 Mathematics Subject Classiﬁcation. Primary 03E35, 03G05; Secondary 03E05, 06Exx. Key words and phrases. Boolean algebras, depth, historic forcing. The ﬁrst author thanks the KBN (Polish Committee of Scientiﬁc Research) for partial support through grant 2 P03 A 01109. The research of the second author was partially supported by the Israel Science Foundation. Publication 733.
1
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
2
ANDRZEJ ROSLANOWSKI
AND SAHARON SHELAH
Our consistency result is obtained by forcing, and the construction of the required
forcing notion is interesting per se. We use the method of historic forcing which was ﬁrst applied in Shelah and Stanley [9]. The reader familiar with [9] will notice several correspondences between the construction here and the method used there. However, we do not relay on that paper and our presentation here is selfcontained. Let us describe how our historic forcing notion is built. So, we ﬁx two (regular)
cardinals θ, λ and our aim is to force a Boolean algebra B ^{θ} _{λ} such that  _{λ}  = λ ^{+}
B
^{θ}
˙
˙
and for every subalgebra B ⊆ B _{λ} ^{θ} of size λ ^{+} we have Depth(B) = θ . The algebra
B ˙ _{λ} ^{θ} will be generated by x _{i} : i ∈ U for some set U ⊆ λ ^{+} . A condition p will be
˙
˙
˙
an approximation to the algebra B _{λ} ^{θ} , it will carry the information on what is the subalgebra B _{p} = x _{i} : i ∈ u ^{p} _{λ} for some u ^{p} ⊆ λ ^{+} . A natural way to describe algebras in this context is by listing ultraﬁlters (or: homo morphisms into { 0 , 1 } ):
Deﬁnition 1. For a set w and a family F ⊆ 2 ^{w} we deﬁne cl(F ) = { g ∈ 2 ^{w} : (∀u ∈ [w ] ^{<} ^{ω} )(∃f ∈ F )(f ↾ u = g ↾ u )} , B _{(} _{w}_{,}_{F} _{)} is the Boolean algebra generated freely by { x _{α} : α ∈ w } except that if u _{0} , u _{1} ∈ [w ] ^{<} ^{ω} and there is no f ∈ F such that f ↾ u _{0} ≡ 0, f ↾ u _{1} ≡ 1 then ^{} x _{α} ∧ ^{} (− x _{α} ) = 0.
˙
˙
B
^{θ}
α∈ u _{1}
α∈ u _{0}
This description of algebras is easy to handle, for example:
Proposition 2 (see [6, 2.6]). Let F ⊆ 2 ^{w} . Then:
(1) Each f ∈ F extends (uniquely) to a homomorphism from B _{(} _{w}_{,}_{F} _{)} to { 0 , 1 }
(i.e. it preserves the equalities from the deﬁnition of B _{(} _{w}_{,}_{F} _{)} ). If F is closed, then every homomorphism from B _{(} _{w}_{,}_{F} _{)} to { 0 , 1 } extends exactly one element of F .
(2) 
If τ (y _{0} , 
, y _{ℓ} ) is a Boolean term and α _{0} , , α _{ℓ} ∈ w are distinct then 

B _{(} _{w}_{,}_{F} _{)} = τ (x _{α} _{0} , 
, x _{α} _{ℓ} ) = 0 if and only if 

(∃f ∈ F )({ 0 , 1 } = τ (f (α _{0} ), , f (α _{k} )) = 
1). 

(3) 
If w ⊆ w ^{∗} , 
F ^{∗} ⊆ 2 ^{w} ^{∗} and 
(∀f ∈ F )(∃g ∈ F ^{∗} )(f ⊆ g )
and
(∀g ∈ F ^{∗} )(g ↾ w ∈ cl(F ))
then B _{(} _{w}_{,}_{F} _{)} is a subalgebra of B _{(} _{w} ∗ _{,}_{F} ∗ _{)} .
So each condition p in our forcing notion P _{λ} ^{θ} will have a set u ^{p} ∈ [λ ^{+} ] ^{<}^{λ} and a
closed set F ^{p} ⊆ 2 ^{u} ^{p} (and the respective algebra will be B _{p} = B _{(} _{u} p _{,}_{F} p _{)} ). But to make the forcing notion work, we will have to put more restrictions on our conditions, and we will be taking only those conditions that have to be taken to make the arguments work. For example, we want that cardinals are not collapsed by our forcing, and demanding that P _{λ} ^{θ} is λ ^{+} cc (and somewhat (<λ)–closed) is natural in this context. How do we argue that a forcing notion is λ ^{+} –cc? Typically we start with a sequence of λ ^{+} distinct conditions, we carry out some “cleaning procedure” (usually involving the ∆–lemma etc), and we end up with (at least two) conditions that “can be put together”. Putting together two (or more) conditions that a re approximations to a Boolean algebra means amalgamating them. There are various ways to amalgamate conditions  we will pick one that will work for several purpo ses. Then, once we
declare that some conditions forming a “clean” ∆–sequence o f length θ are in P ^{θ} we will be bound to declare that the amalgamation is in our for cing notion. The
^{,}
λ
HISTORIC FORCING FOR Depth
3
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
amalgamation (and natural limits) will be the only way to build new conditions from the old ones, but the description above still misses an important factor. So far, a condition does not have to know what are the reasons for it to be called to P _{λ} ^{θ} . This information is the history of the condition and it will be encoded by two
functions h ^{p} , g ^{p} . (Actually, these functions will give histories of all elements of u ^{p} describing why and how those points were incorporated to u ^{p} . Thus both functions will be deﬁned on u ^{p} × ht(p ), were ht(p ) is the height of the condition p , that is the step in our construction at which the condition p is created.) We will also want that our forcing is suitably closed, and getting “(<λ)–strategically closed” would
be ﬁne. To make that happen we will have to deal with two relations on P ^{θ} _{λ} :
and ≤ . The ﬁrst (“pure”) is (<λ)–closed and it will help in getting the strategic closure of the second (main) one. In some sense, the relation ≤ _{p}_{r} represents “the oﬃcial line in history”, and sometimes we will have to rewrite that oﬃcial history, see Deﬁnition 6 and Lemma 7 (on changing history see also Orwe ll [4]). The forcing notion P _{λ} ^{θ} has some other interesting features. (For example, condi tions are very much like fractals, they contain many selfsimilar pieces (see Deﬁni tion 10 and Lemma 11).) The method of historic forcing notions could be applicable to more problems, and this is why in our presentation we separ ated several observa tions of general character (presented in the ﬁrst section) from the problem speciﬁc arguments (section 2)
≤ pr
Notation: Our notation is standard and compatible with that of classical text books on set theory (like Jech [1]) and Boolean algebras (like Monk [2], [3]). How ever in forcing considerations we keep the older tradition that
the stronger condition is the greater one.
Let us list some of our notation and conventions.
(1) Throughout the paper, θ, λ are ﬁxed regular inﬁnite cardinals, θ < λ.
(2) A name for an object in a forcing extension is denoted with a dot above
˙
(like X ) with one exception: the canonical name for a generic ﬁlter in a
˙
forcing notion P will be called Γ _{P} . For a P –name X and a P –generic ﬁlter
G over V , the interpretation of the name X by G is denoted by X ^{G} .
˙
˙
(3) i, j, α, β, γ, δ,
(4) For a set X and a cardinal λ, [X ] ^{<} ^{λ} stands for the family of all subsets of X of size less than λ. The family of all functions from Y to X is called
will denote ordinals.
X ^{Y} . If X is a set of ordinals then its order type is denoted by otp(X ).
(5) In Boolean algebras we use ∨ (and ^{} ), ∧ (and ^{} ) and − for the Boolean operations. If B is a Boolean algebra, x ∈ B then x ^{0} = x, x ^{1} = − x. (6) For a subset Y of an algebra B, the subalgebra of B generated by Y is denoted by Y _{B} .
Acknowledgements: We would like to thank the referee for valuable com ments and suggestions.
1. The forcing and its basic properties
Let us start with the deﬁnition of the forcing notion P _{λ} ^{θ} . By induction on α <
we will deﬁne
. Our
θ,λ
λ we will deﬁne sets of conditions P
α
θ,λ
, and for each p ∈ P
α
u ^{p} , F ^{p} , ht(p ), h ^{p} and g ^{p} . Also we will deﬁne relations ≤ ^{α} and ≤ _{p}_{r} on inductive requirements are:
α
θ,λ
P
α
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
4
ANDRZEJ ROSLANOWSKI
θ,λ
(i) _{α} for each p ∈ P
α
:
AND SAHARON SHELAH
is a nonempty closed set, g ^{p} is a
function with domain dom(g ^{p} ) = u ^{p} × ht(p ) and values of the form (ℓ, τ ), where ℓ < 2 and τ is a Boolean term, and h ^{p} : u ^{p} × ht( p ) −→ θ + 2 is a function,
u ^{p} ∈ [λ ^{+} ] ^{<} ^{λ} , ht(p ) ≤ α, F ^{p} ⊆ 2 ^{u} ^{p}
θ,λ
(ii) _{α} ≤ ^{α} , ≤ _{p}_{r} are transitive and reﬂexive relations on P
α
α
, and ≤ ^{α} extends ≤
α
pr ^{,}
θ,λ
(iii) _{α} if p, q ∈ P
α
, p ≤ ^{α} q , then u ^{p} ⊆ u ^{q} , ht(p ) ≤ ht(q ), and F ^{p} = { f ↾ u ^{p} :
f ∈ F ^{q} } , and if p ≤ _{p}_{r} q , then for every i ∈ u ^{p} and ξ < ht(p ) we have
h ^{p} (i, ξ ) = h ^{q} (i, ξ ) and g ^{p} (i, ξ ) = g ^{q} (i, ξ ),
α
(iv) _{α} if β < α then P
β
θ,λ
For a condition p ∈ P
α
θ,λ
θ,λ
⊆ P
α
, and ≤ _{p}_{r} extends ≤ _{p}_{r} ^{β} , and ≤ ^{α} extends ≤ ^{β} .
α
, we will also declare that B ^{p} = B _{(} _{u} p _{,}_{F} p _{)} (the Boolean
algebra deﬁned in Deﬁnition 1).
θ,λ
We deﬁne P
0
= { ξ : ξ < λ ^{+} } and for p = ξ we let F ^{p} = 2 ^{{} ^{ξ} ^{}} , ht(p ) = 0
and h ^{p} = ∅ = g ^{p} . The relations ≤ _{p}_{r} and ≤ ^{0} both are the equality. [Clearly these
objects are as declared, i.e, clauses (i) _{0} –(iv) _{0} hold true.]
0
If γ < λ is a limit ordinal, then we put
θ,λ
= ^{} p _{ξ} : ξ < γ : (∀ξ < ζ < γ )(p _{ξ} ∈ P
∗
γ
P
θ,λ
P
γ
θ,λ
= ^{} P
α
∗
∪ P γ ,
ξ
α<γ
&
ζ
ht(p _{ξ} ) = ξ & p _{ξ} ≤ _{p}_{r} p _{ζ} ) ^{} ,
and for p = p _{ξ} : ξ < γ ∈ P we let
∗
γ
u ^{p} = ^{} u ^{p} ^{ξ} ,
ξ<γ
F ^{p} = { f ∈ 2 ^{u} ^{p} : (∀ξ < γ )(f ↾ u ^{p} ^{ξ} ∈ F ^{p} ^{ξ} )} ,
ht(p ) = γ
and h ^{p} = ξ<γ h ^{p} ^{ξ} and g ^{p} = ^{} g ^{p} ^{ξ} . We deﬁne ≤ ^{γ} and ≤ _{p}_{r} ^{γ} by:
ξ<γ
p ≤ _{p}_{r} ^{γ} q
if and only if
either p, q ∈ P
or or
θ,λ
α
, α < γ and p ≤
α
pr ^{q} ^{,}
θ,λ
q = q _{ξ} : ξ < γ ∈ P , p ∈ P p = q ;
∗
γ
α
and p ≤ _{p}_{r} q _{α} for some α < γ ,
α
p ≤ ^{γ} q
if and only if
θ,λ
either p, q ∈ P
α
, α < γ and p ≤ ^{α} q ,
or q = q _{ξ} : ξ < γ ∈ P , p ∈ P
or
∗
γ
θ,λ
α
and
p ≤ ^{α} q _{α} for some α < γ ,
p = p _{ξ} : ξ < γ ∈ P , q = q _{ξ} : ξ < γ ∈ P and
∗
γ
∗
γ
(∃δ < γ )(∀ξ < γ )(δ ≤ ξ ⇒ p _{ξ} ≤ ^{ξ} q _{ξ} ).
[It is straightforward to show that clauses (i) _{γ} –(iv) _{γ} hold true.]
Suppose now that α < λ. Let P _{α}_{+}_{1} consist of all tuples
∗
ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} : ξ < θ
such that for each ξ _{0} < ξ _{1} < θ :
(α) ζ ^{∗} < θ , n ^{∗} < ω , τ ^{∗} = τ ^{∗} (y _{1} ,
(β ) p _{ξ} _{0} ∈ P
(γ ) the family { u ^{p} ^{ξ} : ξ < θ } forms a ∆–system with heart u ^{∗} and u ^{p} ^{ξ} 0 \ u ^{∗} = ∅
, y _{n} ∗ ) is a Boolean term, u ^{∗} ∈ [λ ^{+} ] ^{<} ^{λ} ,
θ,λ
α
, ht(p ) = α, v _{ξ} _{0} ∈ [u ^{p} ^{ξ} 0 ] ^{n} ^{∗} ,
and
sup(u ^{∗} ) < min(u ^{p} ^{ξ} 0 \ u ^{∗} ) ≤ sup(u ^{p} ^{ξ} 0 \ u ^{∗} ) < min(u ^{p} ^{ξ} 1 \ u ^{∗} ),
HISTORIC FORCING FOR Depth
5
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
(δ ) otp(u ^{p} ^{ξ} 0 ) = otp(u ^{p} ^{ξ} 1 ) and if H
: u ^{p} ^{ξ} 0 −→ u ^{p} ^{ξ} 1 is the order isomorphism
then H ↾ u ^{∗} is the identity and
on u ^{∗} , F ^{p} ^{ξ} 0 = { f ◦ H : f ∈ F ^{p} ^{ξ} 1 } , H [v _{ξ} _{0} ] = v _{ξ} _{1}
(∀j ∈ u ^{p} ^{ξ} 0 )(∀β < α)(h ^{p} ^{ξ} 0 (j, β ) = h ^{p} ^{ξ} 1 (H (j ), β ) & g ^{p} ^{ξ} 0 (j, β ) = g ^{p} ^{ξ} 1 (H (j ), β )).
We put P
α+1 ^{=} ^{P} α
θ,λ
θ,λ
let u ^{p} = ^{} u ^{p} ^{ξ} and
ξ<θ
∪ P _{α}_{+}_{1} and for p = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} : ξ < θ ∈ P
∗
∗
α+1 ^{w}^{e}
F ^{p} = { f ∈ 2 ^{u} ^{p} : (∀ξ < θ )(f ↾ u ^{p} ^{ξ} ∈ F ^{p} ^{ξ} ) and for all ξ < ζ < θ
f (σ maj (τ 3· ξ , τ 3· ξ +1 , τ 3· ξ +2 )) ≤ f (σ maj (τ 3· ζ , τ 3· ζ +1 , τ 3· ζ +2 ))} ,
where τ _{ξ} = τ ^{∗} (x _{i} : i ∈ v _{ξ} ) for ξ < θ (so τ _{ξ} is an element of the algebra B ^{p} ^{ξ} =
B _{(} _{u} p _{ξ} _{,}_{F} p _{ξ} _{)} ), and σ _{m}_{a}_{j} (y _{0} , y _{1} , y _{2} ) = (y _{0} ∧ y _{1} ) ∨ (y _{0} ∧ y _{2} ) ∨ (y _{1} ∧ y _{2} ). Next
we let
ht(p ) = α + 1 and we deﬁne functions
h ^{p} , g ^{p} on u ^{p} × (α + 1) by
h ^{p} (j, β ) =
h ^{p} ^{ξ} (j, β ) if
j ∈ u ^{p} ^{ξ} , ξ < θ, β < α,
θ + 1
θ
if j ∈ u ^{∗} , β = α,
if j ∈ u ^{p} ζ ^{∗} \ u ^{∗} , β = α,
if
ξ
j ∈ u ^{p} ^{ξ} \ u ^{∗} , ξ < θ, ξ = ζ ^{∗} , β = α,
g ^{p} (j, β ) =
g ^{p} ^{ξ} (j, β )
(1 , τ ^{∗} )
(0 , τ ^{∗} )
if 
j 
∈ u ^{p} ^{ξ} , ξ < θ, β < α, 
if 
j 
∈ v _{ξ} , ξ < θ, β = α, 
if 
j 
∈ u ^{p} ^{ξ} \ v _{ξ} , ξ < θ, β = α. 
Next we deﬁne the relations ≤
p ≤
α+1
pr
q
if and only if
α+1
pr
θ,λ
either p, q ∈ P
α
and p ≤
α
pr q ,
and ≤ ^{α}^{+}^{1} by:
or 
q 
= ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , q _{ξ} , v _{ξ} : 
or 
p = q ; 
θ,λ
ξ < θ ∈ P _{α}_{+}_{1} , p ∈ P
∗
α
, and p ≤
α
pr ^{q} ζ ^{∗} ^{,}
p ≤ ^{α}^{+}^{1} q
if and only if
θ,λ
either p, q ∈ P
α
and p ≤ ^{α} q ,
θ,λ
or q = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , q _{ξ} , v _{ξ} : ξ < θ ∈ P _{α}_{+}_{1} , p ∈ P
∗
α
ξ < θ ,
, and p ≤ ^{α} q _{ξ} for some
or p = ζ ^{∗}^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} : ξ < θ , q = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , q _{ξ} , v _{ξ} :
from P α+1 ^{a}^{n}^{d}
∗
(∀ξ < θ )(p _{ξ} ≤ ^{α} q _{ξ} & u ^{p} ^{ξ} = u ^{q} ^{ξ} ).
ξ < θ are
[Again, it is easy to show that clauses (i) _{α}_{+}_{1} –(iv) _{α}_{+}_{1} are satisﬁed.]
After the construction is carried out we let
P
λ ^{=}
^{θ}
α<λ
θ,λ
P
α
and
≤ _{p}_{r} = ^{} ≤ _{p}_{r}
α
α<λ
and
≤ = ^{} ≤ ^{α} .
α<λ
One easily checks that ≤ _{p}_{r} is a partial order on P _{λ} ^{θ} and that the relation ≤ is transitive and reﬂexive, and that ≤ _{p}_{r} ⊆ ≤.
Lemma 3. Let p, q ∈ P ^{θ}
λ
^{.}
(1) 
If p ≤ q then ht(p ) ≤ ht(q ), u ^{p} ⊆ u ^{q} and F ^{p} = { f ↾ u ^{p} : f ∈ F ^{q} } (so B ^{p} 
is 

a subalgebra of B ^{q} ). If p ≤ q and ht(p ) = ht(q ), then q ≤ p . 

(2) 
For each j ∈ u ^{p} , 
the set { β < ht(p ) : h ^{p} (j, β ) < θ } is ﬁnite. 

(3) 
If p ≤ _{p}_{r} q and i ∈ u ^{p} , then h ^{q} (i, β ) ≥ θ for all β such that ht(p ) ≤ β < ht(q ). 
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
6
(4)
ANDRZEJ ROSLANOWSKI
AND SAHARON SHELAH
If i, j ∈ u ^{p} are distinct, then there is β < ht(p ) such that θ = h ^{p} (i, β ) = h ^{p} (j, β ) = θ .
(5) For each ﬁnite set X ⊆ ht(p ) there is i ∈ u ^{p} such that
{ β < ht(p ) : h ^{p} (i, β ) < θ } = X.
(6) If p ≤ _{p}_{r} q then there is a ≤ _{p}_{r} –increasing sequence p _{ξ} : ξ ≤ ht(p ) ⊆ P _{λ} ^{θ} such that p _{h}_{t}_{(} _{p}_{)} = p , p _{h}_{t}_{(} _{q} _{)} = q and ht(p _{ξ} ) = ξ (for ξ ≤ ht(p )). (In particular, if
p ≤ _{p}_{r} q and ht(p ) = ht(q ) then p = q .)
If ht(p ) = γ is a limit ordinal, p = p _{ξ} : ξ < γ , then for each i ∈ u ^{p} and
ξ < γ :
(7)
i ∈ u ^{p} ^{ξ}
if and only if
(∀ζ < γ )(ξ ≤ ζ ⇒ h ^{p} (i, ζ ) ≥ θ ).
Proof. 1) Should be clear (an easy induction).
2) Suppose that p ∈ P _{λ} ^{θ} and j ∈ u ^{p} are a counterexample with the minimal possible value of ht(p ). Necessarily ht(p ) is a limit ordinal, p = p _{ξ} : ξ < ht(p ) , ht(p _{ξ} ) = ξ and ζ < ξ < ht(p ) ⇒ p _{ζ} ≤ _{p}_{r} p _{ξ} . Let ξ < ht(p ) be the ﬁrst ordinal such that j ∈ u ^{p} ^{ξ} . By the choice of p , the set { β ≤ ξ : h ^{p} (j, β ) < θ } is ﬁnite, but clearly
h ^{p} (j, β ) ≥ θ for all β ∈
(ξ, ht(p )).
3) 
An easy induction on ht(q ) (with ﬁxed p ). 
4) 
We show this by induction on ht(p ). Suppose that ht(p ) = α + 1, so p = 
ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} : ξ < θ , and i, j ∈ u ^{p} are distinct. If i, j ∈ u ^{p} ^{ξ} for some ξ < θ , then by the inductive hypothesis we ﬁnd β < α such that
θ = h ^{p} (i, β ) = h ^{p} ^{ξ} (i, β ) = h ^{p} ^{ξ} (j, β ) = h ^{p} (j, β ) = θ.
at the deﬁnition
of h ^{p} (i, α), h ^{p} (j, α) – these two values cannot be equal (and both are distinct fro m θ ). Finally suppose that ht(p ) is limit, so p = p _{ξ} : ξ < ht(p ) . Take ξ < ht(p ) such that i, j ∈ u ^{p} ^{ξ} and apply the inductive hypothesis to p _{ξ} getting β < ξ such that h ^{p} (i, β ) = h ^{p} (j, β ) (and both are not θ ).
If i ∈ u ^{p} ^{ξ} \ u ^{∗} , j ∈ u ^{p} ^{ζ} \ u ^{∗} and ξ, ζ < θ are distinct, then look
5) Again, it goes by induction on ht(p ). First consider a limit stage, and suppose
be
such that X ⊆ ξ . By the inductive hypothesis we ﬁnd i ∈ u ^{p} ^{ξ} such that { β < ξ :
h ^{p} (i, β ) < θ } = X . Applying clause (3) we may conclude that this i is as required. Now consider a successor case ht(p ) = α +1. Let p = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} : ξ < θ , and let ξ < θ be ζ ^{∗} if α ∈ X , and be ζ ^{∗} +1 otherwise. Apply the inductive hypothesis to p _{ξ} and X ∩ α to get suitable i ∈ u ^{p} ^{ξ} , and note that this i works for p and X too.
that ht(p ) = γ is a limit ordinal, X ∈ [γ ] ^{<}^{ω} and p = p _{ξ} : ξ < γ . Let ξ < γ
6), 7) Straightforward.
Deﬁnition 4. We say that conditions p, q ∈ P _{λ} ^{θ} are isomorphic if ht(p ) = ht(q ), otp(u ^{p} ) = otp(u ^{q} ), and if H : u ^{p} −→ u ^{q} is the order isomorphism, then for every β < ht(p )
(∀j ∈ u ^{p} )(h ^{p} (j, β ) = h ^{q} (H (j ), β ) & g ^{p} (j, β ) = g ^{p} (H (j ), β )).
[In this situation we may say that H is the isomorphism from p to q .]
Lemma 5. Suppose that q _{0} , q _{1} ∈ P _{λ} ^{θ} are isomorphic conditions and H is the iso morphism from q _{0} to q _{1} .
HISTORIC FORCING FOR Depth
7
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
(1)
(2)
ℓ
If ht(q _{0} ) = ht(q _{1} ) = γ is a limit ordinal, q _{ℓ} = q _{ξ} : ξ < γ (for ℓ < 2 ), then
H ↾ u ^{q} is an isomorphism from q to q
ξ ^{.} If ht(q _{0} ) = ht(q _{1} ) = α + 1 , α < λ, and q _{ℓ} = ζ , τ , n , u , q _{ξ} , v _{ξ} : ξ < θ
0
ξ
0
ξ
1
∗
ℓ
∗
ℓ
∗
ℓ
∗
ℓ
ℓ
ℓ
0
(for ℓ < 2 ), then ζ = ζ , τ = τ , n _{0} = n ^{∗} , H ↾ u ^{q} ξ is an isomorphism from q to q and H [v ] = v (for ξ < θ ).
0
ξ
1
ξ
∗
0
0
ξ
∗
1
∗
0
1
ξ
∗
1
∗
1
(3) F ^{q} ^{0} = { f ◦ H : f ∈ F ^{q} ^{1} } .
(4) Assume p _{0} ≤ q _{0} . Then there is a unique condition p _{1} ≤ q _{1} such that H ↾ u ^{p} ^{0}
is the isomorphism from p _{0} to p _{1} .
[The
condition p _{1} will be called H (p _{0} ).]
Proof. 1), 2) Straightforward (for (1) use Lemma 3(7)). 3), 4) Easy inductions on ht(q _{0} ) using (1), (2) above.
θ,λ
Deﬁnition 6. By induction on α < λ, for conditions p, q ∈ P we deﬁne the p –transformation T _{p} (q ) of q .
α
such that p ≤ ^{α} q ,
• If α = 0 (so necessarily p = q ) then T _{p} (q ) = p .
• Assume that ht(q ) = α + 1, q = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , q _{ξ} , v _{ξ} : ξ < θ . If p ≤ q _{ξ} for some ξ < θ , then let ξ ^{∗} be such that p ≤ q _{ξ} ∗ . Next for
< θ let q _{ξ} = T _{H} _{ξ} _{∗} _{,}_{ξ} _{(} _{p}_{)} (q _{ξ} ), where H _{ξ} ∗ _{,}_{ξ} is the isomorphism from q _{ξ} ∗ to q _{ξ} . Deﬁne T _{p} (q ) = ξ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , q _{ξ} , v _{ξ} : ξ < θ .
ξ
′
′
Suppose now that p = ζ ^{∗}^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} : ξ < θ and u ^{p} ^{ξ} =
u ^{q} ^{ξ} ,
p _{ξ} ≤ q _{ξ} (for ξ < θ ). Let q _{ξ} = T _{p} _{ξ} (q _{ξ} ) and put T _{p} (q ) = ζ ^{∗}^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , q _{ξ} , v _{ξ} :
ξ < θ .
′
′
• Assume now that ht(q ) is a limit ordinal and q = q _{ξ} : ξ < ht(q ) . If ht(p ) < ht(q ) then p ≤ q _{ε} for some ε < ht(q ), and we may choose q
′
ξ
_{ξ} _{′} , and
q _{ζ} = T _{p} (q _{ζ} ) for ζ ∈ [ε, ht(q )). Next we let T _{p} (q ) = q _{ζ} : ζ < θ . If ht(p ) = ht(q ), p = p _{ξ} : ξ < ht(p ) and p _{ξ} ≤ q _{ξ} for ξ > δ (for some δ < ht(p )) then we deﬁne T _{p} (q ) = p .
(for ξ < ht(q )) such that ht(q _{ξ} ) = ξ , ξ < ξ ^{′} < ht(q ) ⇒ q
′
′
_{ξ} ≤ pr q
′
′
′
To show that the deﬁnition of T _{p} (q ) is correct one proves inductively (parallely to the deﬁnition of the p –transformation of q ) the following facts.
Lemma 7. Assume p, q ∈ P _{λ} ^{θ} , p ≤ q . Then:
(1) T _{p} (q ) ∈ P _{λ} ^{θ} , u ^{T} ^{p} ^{(} ^{q} ^{)} = u ^{q} , ht(T _{p} (q )) = ht(q ),
(2) 
p ≤ _{p}_{r} T _{p} (q ) ≤ q ≤ T _{p} (q ), 
(3) 
ht(p ) = ht(q ) ⇒ T _{p} (q ) = p , 
(4) if q ^{′} ∈ P _{λ} ^{θ} is isomorphic to q and H : u ^{q} −→ u ^{q} ^{′} is the isomorphism from q to q ^{′} , then H is the isomorphism from T _{p} (q ) to T _{H} _{(} _{p}_{)} (q ^{′} ),
(5)
if q ≤ _{p}_{r} q ^{′} then T _{p} (q ) ≤ _{p}_{r} T _{p} (q ^{′} ).
Proposition 8. Every ≤ _{p}_{r} –increasing chain in P _{λ} ^{θ} of length < λ has a ≤ _{p}_{r} –upper bound, that is the partial order (P _{λ} ^{θ} , ≤ _{p}_{r} ) is (< λ)–closed.
Let us recall that a forcing notion (Q , ≤ ) is (<λ)–strategically closed if the second player has a winning strategy in the following game _{λ} (Q ). The game _{λ} (Q ) lasts λ moves. The ﬁrst player starts with choosing a condition p ^{∗} ∈ Q . Later, in her i ^{t}^{h} move, the ﬁrst player chooses an open dense subset D _{i} of Q . The second player (in his i ^{t}^{h} move) picks a condition p _{i} ∈ Q so that p _{0} ≥ p ^{∗} ,
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
8
ANDRZEJ ROSLANOWSKI
AND SAHARON SHELAH
p _{i} ∈ D _{i} and p _{i} ≥ p _{j} for all j < i . The second player looses the play if for some i < λ he has no legal move. It should be clear that (<λ)–strategically closed forcing notions do not add sequences of ordinals of length less than λ. The reader interested in this kind of properties of forcing notions and iterating them is referred to [7], [8].
Proposition 9. Assume that θ < λ are regular cardinals, λ ^{<}^{λ} = λ. Then (P _{λ} ^{θ} , ≤ ) is a (< λ)–strategically closed λ ^{+} –cc forcing notion.
Proof. It follows from Lemma 7(2) that if D ⊆ P _{λ} ^{θ} is an open dense set, p ∈ P ^{θ} then there is a condition q ∈ D such that p ≤ _{p}_{r} q . Therefore, to win the game _{λ} (P _{λ} ^{θ} ), the second player can play so that the conditions p _{i} that he chooses are ≤ _{p}_{r} –increasing, and thus there are no problems with ﬁnding ≤ _{p}_{r} –bounds (remember Proposition 8). Now, to show that P _{λ} ^{θ} is λ ^{+} –cc, suppose that p _{δ} : δ < λ ^{+} is a sequence of
distinct conditions from P _{λ} ^{θ} . We may ﬁnd a set A ∈ [λ ^{+} ] ^{λ} ^{+} such that
λ
^{,}
• conditions { p _{δ} : δ ∈ A} are pairwise isomorphic,
• the family { u ^{p} ^{δ} : δ ∈ A} forms a ∆–system with heart u ^{∗} ,
• if δ _{0} < δ _{1} are from A
then
sup(u ^{∗} ) < min(u ^{p} ^{δ} 0 \ u ^{∗} ) ≤ sup(u ^{p} ^{δ} 0 \ u ^{∗} ) < min(u ^{p} ^{δ} 0 \ u ^{∗} ).
Take an increasing sequence δ _{ξ} : ξ < θ of elements of A, let τ ^{∗} = 1 , v _{ξ} = ∅
(for ξ < stronger
Deﬁnition 10. By induction on ht(p ) we deﬁne α–components of p (for p ∈ P ^{θ} α ≤ ht(p )).
λ
^{,}
θ ), and look at p = 0 , τ ^{∗} , 0 , u ^{∗} , p _{δ} _{ξ} , v _{ξ} : ξ < θ . It is a condition in P ^{θ}
λ
than all p _{δ} _{ξ} ’s.
• First we declare that the only ht(p )–component of p is the p itself.
α = β , then
α–components of p are p _{ξ} (for ξ < θ ); if α < β , then α–components of p are those q which are α–components of p _{ξ} for some ξ < θ .
• If ht(p ) is a limit ordinal, p = p _{ξ} : ξ < ht(p ) and α < ht(p ), then α– components of p are α–components of p _{ξ} for ξ ∈ [α, ht(p )).
• If ht(p ) = β + 1, p = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} : ξ < θ and
Lemma 11. Assume p ∈ P _{λ} ^{θ} and α < ht(p ).
(1)
If q is an α–component of p then q ≤ p , ht(q ) = α, and for all j _{0} , j _{1} ∈ u ^{q} and every β ∈ [α, ht(p )):
⇒
Moreover, for each i ∈ u ^{p} there is a unique α–component q of p such that
i ∈ u ^{q} and
h ^{p} (j _{0} , β ) = θ & h ^{p} (j _{1} , β ) = θ
h ^{p} (j _{0} , β ) = h ^{p} (j _{1} , β ).
(∀j ∈ u ^{q} )(∀β ∈ [α, ht(p )))(h ^{p} (i, β ) ≥ θ ⇒ h ^{p} (j, β ) ≥ θ ).
(2) If H is an isomorphism from p onto p ^{′} ∈ P _{λ} ^{θ} , and q is an α–component of
p , then H (q ) is an α–component of p ^{′} . If q _{0} , q _{1} are α–components of p then
q _{0} , q _{1} are isomorphic.
(3) There is a unique α–component q of p such that q ≤ _{p}_{r} p .
Proof. Easy inductions on ht(p ).
Deﬁnition 12. By induction on ht(p ) we deﬁne when a set Z ⊆ λ is p –closed for
a condition p ∈ P ^{θ}
λ
^{.}
HISTORIC FORCING FOR Depth
9
_{m}_{o}_{d}_{i}_{f}_{i}_{e}_{d}_{:}_{2}_{0}_{0}_{1}_{}_{1}_{1}_{}_{1}_{2}
733 revision:20011112
• If ht(p ) = 0 then every Z ⊆ λ is p –closed;
• if ht(p ) is limit, p = p _{ξ} : ξ < ht(p ) , then Z is p –closed provided it is p _{ξ} –closed for each ξ < ht(p );
• if ht(p ) = α + 1, p = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} :
ξ < θ and α ∈/ Z , then Z is
p –closed whenever it is p _{ζ} ∗ –closed;
• if ht(p ) = α + 1, p = ζ ^{∗} , τ ^{∗} , n ^{∗} , u ^{∗} , p _{ξ} , v _{ξ} :
ξ < θ and α ∈ Z , then Z is
p –closed provided it is p _{ζ} ∗ –closed and
{ β < α : (∃j ∈ v _{ζ} ∗ ∪ { min(u ^{p} ^{ζ} ^{∗} \ u ^{∗} )} )(h ^{p} ^{ζ} ^{∗} (j, β ) < θ )} ⊆ Z.
Lemma 13.
set Z ⊆ ht(p ) such that w ⊆ Z . (2) If p, q ∈ P _{λ} ^{}
Molto più che documenti.
Scopri tutto ciò che Scribd ha da offrire, inclusi libri e audiolibri dei maggiori editori.
Annulla in qualsiasi momento.