The Bounded Axiom A Forcing Axiom

Size: px

Start display at page:

Download "The Bounded Axiom A Forcing Axiom"

Lorin Berenice Booth
5 years ago
Views:

1 The Bounded Axiom A Forcing Axiom Thilo Weinert 1 1 Contact: weinert@math.uni-bonn.de, Phone:

2 Abstract We introduce the Bounded Axiom A Forcing Axiom(BAAFA). It turns out that it is equiconsistent with the existence of a regular Σ 2 -correct cardinal and hence also equiconsistent with BPFA. Furthermore we show that, if consistent, it does not imply the Bounded Proper Forcing Axiom(BPFA). Keywords: BAAFA, BPFA, Forcing Axioms, Axiom A, proper, correct cardinal, reflecting cardinal. Mathematical Subject Classification of the AMS: 03E57, 03E35, 03E17. Remark: Please note that this version is preliminary. The final one will appear in issue 6/2010 of Mathematical Logic Quarterly.

3 A plenitude of Forcing Axioms has been considered during the last thirty years. The class of forcing notions satisfying Axiom A has been somewhat neglected, though. We herewith want to draw attention to what we define to be the Bounded Axiom A Forcing Axiom. Notation 1 In this paper Σ cl names the class of all countably closed notions of forcing, the class of forcing notions satisfying the countable chain condition is denoted C cc. By AA we mean the class of all forcing notions satisfying Axiom A, by P rop the class of all proper notions of forcing and by S sp the class of forcing notions preserving the stationarity of subsets of ℵ 1. The class of all complete Boolean algebras by cba, ro(p) denotes the regular open algebra of a forcing notion P. X is the cardinality and φ X the pointwise image of X under φ. Func refers to the class of all functions. For an ordinal α and a function f in a forcing extension by ḟ(α) we mean a name for f(α). For the definition and the properties of the regular open algebra of a forcing notion see [Ku], lemma II.3.3 and section VII.7. Definition 2 A forcing notion P = P, 0 P satisfies Axiom A if and only if there is a sequence n P n ω \ 1 of partial orders on P such that 1. p n+1 P q implies p n P q for all p, q P and all n < ω. 2. If p n n < ω is a sequence of conditions with the property n < ω : p n+1 n P p n then there exists a conditon p such that p n P p n for all n < ω. 3. For every n < ω, every p P and every antichain A there exists a q n P p such that the antichain {r A r 0 Pq} is countable. Here p 0 Pq means that p and q are compatible with respect to the partial ordering 0 P. Both all countably closed and all ccc forcings satisfy Axiom A. All Axiom A forcings are proper. So the situation is as follows: Σ cl C cc AA P rop (1) That countably closed notions of forcing satisfy Axiom A is seen by setting n to be simply 0 for all n ω \ 1. That ccc forcings satisfy Axiom A follows 1

4 by setting n to be the identity for all n ω \ 1. If some notion of forcing satisfies Axiom A Player II has a winning strategy in the proper game below any condition of this forcing notion. Hence Axiom A forcings are proper. For a detailed proof see [Je], p Definition 3 Let C be a class of complete Boolean algebras and κ, λ be cardinals. The Bounded Forcing Axiom for C, κ and λ ( BFA(C, κ, λ) ) states the following: Whenever P C and A is a family of less than κ maximal antichains of cardinality less than λ there exists an A-generic filter. Definition 4 Bounded Martin s Maximum(BMM) is BFA(S sp cba, ℵ 2, ℵ 2 ). The Bounded Proper Forcing Axiom(BPFA) is BFA(P rop cba, ℵ 2, ℵ 2 ). Whereas satisfying the countable chain condition, being proper and preserving the stationarity of subsets of ℵ 1 are properties of a forcing notion, meaning them holding for a poset or its Boolean completion is equivalent in each case, the same does not seem to be true for Axiom A. One direction, however can be proven. Remark 5 If a poset satisfies Axiom A, then its Boolean completion does so too. If P is a poset satisfying Axiom A, witnessed by the sequence of partial orderings n P n < ω and δ P : P ro(p) is the canonical dense embedding into its Boolean completion then for a, b ro(p) set a 0 ro(p) b iff a ro(p) b and for every n ω \ 1 set a n ro(p) b if either a = b or a < ro(p) b, a δ P P and if b δ P P then δp 1 (a) n P δp 1 (b). Definition 6 The Bounded Axiom A Forcing Axiom( BAAFA ) is BFA(AA cba, ℵ 2, ℵ 2 ). (2) Note that by remark being a complete Boolean algebra satisfying Axiom A is equivalent to being a completion of an Axiom A poset! Definition 7 An ordinal α is called Σ n -correct iff V α Σn V. 2

5 For regular cardinals, being Σ n -correct is a large cardinal notion. In fact the regular Σ 1 -correct cardinals are precisely the strongly inacessible cardinals. On the one hand, H κ = V κ holds for inacessible κ and any Σ 2 -assertion believed by a H λ for an uncountable cardinal λ is true, hence inacessibles are Σ 1 -correct. On the other hand, since any infinite cardinal is a limit ordinal and for any λ < κ it is Σ 1 ( {P(λ)} ) -expressible that 2 λ exists, Σ 1 -correct cardinals have to be strong limits. Our main theorem is the following: Theorem 8 If there is a regular Σ 2 -correct cardinal κ then there is a generic extension by a notion of forcing satisfying both Axiom A and the κ-c.c. so that in the generic extension ZFC +2 ℵ 0 = 2 ℵ 1 = ℵ 2 + BAAFA holds, yet BPFA fails. Note that regular Σ 2 -correct cardinals are also known as Σ 2 -reflecting! In order to prove theorem 8 we employ an iterated forcing construction analogous to both the one of Kunen in [Ku] for the consistency proof of Martin s Axiom and the one of Shelah in [G-S] for the consistency proof of BPFA. In order for this construction to be analogous to the two above we need the following theorem. Theorem 9 (Koszmider, 1993) Suppose ( (P α, α, 1 α ), (π α, α, ι α ) ) is an iteration of forcing notions with countable support of length κ such that 1 α Pα π α satisfies Axiom A." for all α < κ. Then P κ satisfies Axiom A. See [Ko] for a proof. Lemma 10 That a notion of forcing P satisfies Axiom A is a Σ 2 ({P})-property. Proof. Let P = P, 0 be a notion of forcing. P satisfies Axiom A iff the following holds: ( X, n n ω \ 1, f S P : S X, dom(f) = P X ω ω, (3) n < ω ( n is a partial ordering of P and p, q P(p n+1 q p n q) ), p n n < ω ( ( n < ω : p n+1 n q n ) p P n < ω : p n p n ) and p P n < ω A X(A is an antichain r P(r n p {s A s 0 r} f ({p} {A} {n} ω) )) 3

6 Here f plays the role of a family of Skolem-functions witnessing the countability of the {s A s 0 r} s. (3) is indeed a Σ 2 -formula since all statements expressed in english and dom(f) = Q X ω ω are Σ 0 -expressible. Remark 11 If α Lim, P α is an iterated forcing construction of length α ( ) V[Gα ] with finite or countable support, G α is P α -generic, β < cf(α) and S P(β) V[G α ] then already S V[G γ ] for some γ < α. Now we are going to prove theorem 8. So let κ be regular and Σ 2 -correct. We use a standard bookkeeping device to force BAAFA with an iterated forcing Qγ Q κ =, γ, 1 γ, π γ, γ, ι γ γ < κ of length κ with countable support. To this end, choose a surjection f : κ \ Lim κ 2 such that f(γ) < κ (γ + 1) for all γ < κ. Furthermore for γ < κ let e γ : κ { Ṡ, Ȧ Ȧ, Ṡ H κ are Q γ -names and 1 γ Qγ Ṡ Hˇκ is a (4) Boolean algebra and Ȧ is a family of maximal antichains in S. } be an enumeration. This is possible since κ is in particular inaccessible and hence H κ = κ. Whenever η γ one canonically can embed Q η into Q γ so we always can conceive of Q η -names as Q γ -names in such a situation. So for the names Ṡ, Ȧ from (4) let βγ Ṡ,Ȧ be a Q γ-name from H κ such that 1 γ Qγ If there is a complete Boolean algebra B satisfying Axiom A (5) and extending Ṡ such that every antichain of Ȧ is still a maximal antichain γ in B then β is such a B, otherwise βγ is the trivial Boolean algebra.. Ṡ,Ȧ Ṡ,Ȧ Now we can use f for bookkeeping. Set π γ := β γ e η (ξ) iff f(γ) = κ η + ξ for γ κ \ Lim. If γ < κ is a limit ordinal then let π γ be a name for the forcing notion which adds a surjection from ℵ 1 to γ with countable conditions, that is R := {p p Func dom(p) [ℵ 1 ] <ω 1 ran(p) γ} and p R q whenever p q. Note that since the π γ are all chosen from H κ all initial segments of our iterated forcing construction are in H κ too. Beside this recognize that we have 1 γ Qγ π γ satisfies Axiom A." for all γ < κ. 4

7 Q κ has the κ-c.c. Proof: Suppose towards a contradiction that {q α α < κ} was an antichain in Q κ. Consider B := {supt(q α ) α < κ}. We distinguish two cases: If B = κ apply [Ku], lemma II.1.6. This is just a generalized - system-lemma. So there is a -system C B with root r of size κ. Then define D := {q α α < κ supt(q α ) C}. If B < κ then by the pigeonhole principle there exists an r [κ] <ω 1 and an s [κ] κ such that α s : supt(q α ) = r. Define D := {q α α s}. Set γ := sup(r) + 1. In both cases {q γ q D} is an antichain of size κ in Q γ. But Q γ H κ so in particular Q γ < κ (Q κ has the κ-c.c..) This immediately implies that κ remains a cardinal in the generic extension. Next we want to see that V[G κ ] = 2 ℵ 1 κ Proof: From fact 11 we know that every subset of ℵ 1 in V[G κ ] is already in some V[G γ ] where γ < κ. Every set in P(ℵ 1 ) V[G γ ] is represented by a nice Q γ -name. Let λ γ := Q γ + ℵ 1. There are at most (2 λ γ ) ℵ 1 = 2 λ γ < κ such names. So there are at most Σ γ<κ 2 λ γ κ κ = κ subsets of ℵ 1 in V[G κ ]. Note that at this point we needed κ s regularity. (V[G κ ] = 2 ℵ 1 κ ) Since 2 ℵ 1 > ℵ 1 this also shows for the second time that κ is not collapsed and so remains a cardinal in the generic extension. Moreover it is now clear that V[G κ ] = κ = ℵ 2. Note that if we succeed in showing V[G κ ] = BAAFA because of BAAFA MA ℵ1 2 ℵ 0 ℵ 2 we will have proved everything apart from the failure of BPFA. BAAFA holds by the following argument: We work in V[G κ ]. Let B be a Boolean algebra satisfying Axiom A and A = {A β β < ℵ 1 } be a family of at most ℵ 1 maximal antichains of cardinality at most ℵ 1. Let S be the subalgebra finitely generated by β<ℵ 1 A β. We can choose a Boolean algebra B isomorphic to B by an isomorphism ψ : B B such that the subalgebra finitely generated by β<ℵ 1 ψ A β is in H ℵ2. Let S denote this subalgebra. S and A := {ψ A β β < ℵ 1 } are already present in some V[G γ ] for γ < κ. At some point later on A and S are considered, say at η κ \ γ. 5

8 Now we consider the following statement: There is a Boolean algebra B satisfying Axiom A and extending S (6) such that every antichain from A is still a maximal antichain in B. Note that this is a Σ 2 -statement. Since it is true in the final V[G κ ] as witnessed by B there is a condition forcing this. Since the iteration uses countable support every( such) condition is already in a Q ζ for a ζ κ \ γ. In fact in every V[ ] for ξ κ \ γ there is a B witnessing the truth of (6). given by the following Claim 12 If q Q κ is a condition of the tail-forcing and β is a Q κ -name such that q Qκ β is a Boolean superalgebra of S satisfying Axiom A such that every maximal antichain in Ǎ stays maximal in β" and if one sets R := {r Q κ r Qκ q}, then ro(r β + ) is isomorphic to an algebra witnessing the truth of (6). Proof. First note that ro(r β + ) can be seen as an extension of S via the following embedding: χ : S ro(r β + ) (7) { δ ( (q, š) ) iff s 0 S s (8) 0 ro(r β + ) otherwise. Let us choose an algebra B S which is isomorphic to ro(r β + ). Now suppose towards a contradiction that there is an A A and a b B which is incompatible with all elements from A. By density of δ ( Q κ β + ) in B there is a (q, τ) Q κ β + such that δ((q, τ)) B b. We have a A : δ((q, τ)) B χ(a) (9) Since δ is a dense embedding it follows immediately that But then a A : (q, τ) Qκ G β +(p, ǎ). (10) ξ a A : q Qκ τ β +ǎ. (11) 6

9 Since κ is still Σ 2 -correct in V[G η ] we can choose a witness E AA cba H κ. Hence we force nontrivially in step η. So V[G η+1 ] V[G κ ] contains an A- generic filter over E. But then it also contains an A -generic filter over B which is what we wanted to prove. S ψ S S id H κ E AA V[G η] id B AA B id ψ We are going to show that BPFA fails in the generic extension. Indeed we are going to show more than that. We are going to show that BFA ( {ro(p acfc )}, ℵ 2, ℵ 2 ) for some specific proper notion of forcing P acfc which is the following one: Definition 13 P acfc := {p p [ℵ 1 ℵ 1 ] <ω f p : f : ℵ 1 ℵ 1 is a normal function.} (12) The conditions are ordered by extension, bigger conditions being stronger. This forcing is due to Baumgartner, [Ba], and adds a club with finite conditions hence the index. It is well-known that this is a proper notion of forcing failing to satisfy Axiom A. The latter is usually proved by employing a variant of the following game. Since up to now it seems to have no name, we refer to it as the strong proper game. Definition 14 Let P be a notion of forcing and p P a condition. The strong proper game for P below p is played as follows: In move n < ω Player I plays a maximal antichain A n to which Player II responds by playing a countable B n A n. After ω moves Player II wins iff there is a q p such that the antichain B n is predense below q for every n < ω. See for example [Je], p We need the following fact: 7

10 Lemma 15 If P is a notion of forcing which satisfies Axiom A then for every p P Player II has a winning strategy in the strong proper game for P below p. An important point is that P acfc is absolute between transitive models of set theory with the same ℵ 1. In particular this means that it is absolute between our ground model and its generic extension by Q κ. These are consequences of the fact that transitve models sharing their ℵ 1 also have the same finite sets of countable ordinals together with the following lemma. Lemma 16 p P acfc is a 1 ({ℵ 1, p})-relation. Proof. The original definition yields the Σ 1 ({ℵ 1, p})-definition. The following formula provides the Π 1 ({ℵ 1, p})-definition. p Func dom(p) ℵ 1 g : ω dom(p) g, g γ γ < β, α dom(p) (13) ( (α < β β dom(p) γ dom(p) : α < γ γ < β) ( p(α) < p(β) β p(β) γ < β(g : p(β) \ p(α) γ \ α is order-preserving.) (β Lim γ < p(β) η < β ζ < β(g η : p(β) \ γ ζ \ η is order-preserving.)) )) Let us first check that this is necessary. So suppose in search for a contradiction that f were a normal function extending p yet there were counterexamples g, g γ γ < β, α dom(p) to (13). Since (13) is supposed to fail α < β and β dom(p) have to hold. We know that p(α) < p(β) and β p(β) because f is a normal function extending p. We distinguish two cases. β is a successor ordinal. (13) fails so γ < β(g : p(β) \ p(α) γ \ α is order-preserving.). f p is in particular order-preserving hence g ( f (β \ α) ) : β \ α γ \ α is order-preserving which is absurd. β is a limit ordinal. Then γ < β(g : p(β) \ p(α) γ \ α is orderpreserving.) which yields a contradiction as we just saw or γ < p(β) η < β ζ < β(g η : p(β) \ γ ζ \ η is order-preserving.). Fix a γ < p(β) such that η < β ζ < β(g η : p(β)\γ ζ\η is order-preserving.). Define η := min{ξ < β f(ξ) γ} and choose a ζ < β such that g η : p(β) \ γ ζ \ η is order-preserving. So ( g η f (β\η) ) : β\η ζ\η is order-preserving. Contradiction! 8

11 Now we have to show that this is sufficient. For x p let x d, x r be abbreviations for dom({x}) and ran({x}) respectively. Let e : n p be an order-preserving enumeration of p, that is l < m implies e(l) d < e(m) d. We are going to inductively construct a normal function f n extending p, provided that (13) is fulfilled. To begin with, let f 1 := {e(0)}. Suppose we succeeded in defining a normal function f m extending e m for some m < n. We are now going to define f m+1 e (m + 1). In order to do this we distinguish two cases: e(m) d is a successor ordinal. Then the following is a normal function extending e (m + 1): f m+1 : e(m) d + 1 e(m) r + 1 (14) f m (ξ) iff ξ e(m 1) d ξ e(m 1) r + ( e(m 1) d + ξ ) iff ξ e(m) d \ e(m 1) d e(m) r iff ξ = e(m) d This could only fail to be a normal function if f m+1 (γ) = e(m) r for some γ < e(m) d. But then fm+1 1 ( ) e(m) r \ e(m 1) r would be an orderpreserving function from e(m) r \e(m 1) r into γ \e(m 1) d contradicting (13). e(m) d is a limit ordinal. Choose a sequence χ n n < ω which is cofinal in e(m) r. Let n(ξ) denote the smallest n < ω such that χ n > ξ. Then the following is a normal function extending e (m + 1). f m+1 : e(m) d + 1 e(m) r + 1 (15) f m (ξ) iff ξ e(m 1) d sup θ<ξ f m+1 (θ) iff ξ Lim e(m) r \ e(m 1) d ξ χ (n f)(θ) iff (16) f m+1 (θ) + 1 iff (17) e(m) r iff ξ = e(m) d. Here (16) and (17) stand for the following cases: ξ = θ + 1 for some θ e(m) d \ e(m 1) d and (16) otyp ( e(m) d \ θ ) otyp ( e(m) r \ χ (n fm+1 )(θ)). ξ = θ + 1 for some θ e(m) d \ e(m 1) d and (17) otyp ( e(m) d \ θ ) > otyp ( e(m) r \ χ (n fm+1 )(θ)). 9

12 The first two cases ensure that f m+1 is continuous on e(m) d so it could only fail to be a normal function by being discontinous at e(m) d. But the discrimination between the cases (16) and (17) ensures both that f m+1 e(m) d e(m) r and that f m+1 e(m) d is cofinal in e(m) r. In order to see that the latter holds suppose otherwise. We will reach a contradiction by constructing a sequence of functions g γ γ < β such that (13) fails. Let n be minimal such that χ n sup ( f m+1 e(m) d ). The choice of n implies that case (17) obtains for all successor ordinals ξ such that f m+1 (ξ) > χ n 1. But this means that there is a γ < e(m) d such that for all η e(m) d \ γ we have otyp ( e(m) d \ η ) > otyp ( e(m) r \ χ n ). So for all η e(m) d \ γ we can choose a ζ η < e(m) d and an order-preserving. g η : e(m) r \ χ n ζ η \ η. By additionally setting g ξ := g γ for all ξ < γ we define a family g ξ ξ < e(m) d of functions. But (13) implies that γ < e(m) r η < e(m) d ζ < e(m) d (g η : e(m) r \γ ζ \ η is order-preserving.).contradiction! We need another fact, recall that an ordinal α is called indecomposable iff β, γ < α implies β + γ < α or equivalently iff α = ω β for some β α. Lemma 17 Let α n n < ω be a strictly increasing sequence of indecomposable countable ordinals and β n n < ω be a sequence of ordinals such that β n < α n+1 holds for all n < ω. The following sets are dense in P acfc : D α n n<ω β n n<ω := {p P acfc n < ω : α n dom(p) p(α n ) β n }. (18) Proof. Choose a p P acfc and a normal function f p witnessing this. Define α := sup n<ω α n, η := max ( dom(p) α ) and n := min{m < ω η < α m }. We distinguish two cases. f(α n ) β n. Then let q := p { α n, f(α n ) }. q D α n n<ω β n n<ω that q P acfc at all. and f testifies f(α n ) < β n. In this case define q := p { α n, β n + α n }. Again q 10

13 D α n n<ω β n n<ω. The following normal function witnesses that q P acfc. g : ℵ 1 ℵ 1 (19) {f(δ) iff δ (η + 1) ( ℵ 1 \ (α n+1 + 1) ) δ β n + δ iff δ (α n+1 + 1) \ (η + 1) g clearly is a normal function on η+1, (α n+1 +1)\(η+1) and ℵ 1 \(α n+1 +1) because f and δ β n + δ are normal functions. Moreover we have g(η) = f(η) < f(α n ) < β n < β n + η + 1 = g(η + 1) (20) and g(α n+1 ) = β n + α n+1 = α n+1 (21) < α n f(α n+1 + 1) = g(α n+1 + 1). In any of both cases q P acfc D α n n<ω β n n<ω is an extension of p. Since p was arbitrarily chosen this shows the density of D α n n<ω β n n<ω. Now we show 1 Qκ Qκ BFA ( ) {ro(p acfc )}, ℵ 2, ℵ 2. So assume towards a contradiction that there is a q Q κ such that q Qκ BFA ( ) {ro(p acfc )}, ℵ 2, ℵ 2. Define D := {D P acfc D is dense.}. Since κ is rendered ℵ 2 in the generic extension we have 1 Qκ Qκ D < ℵ 2 and 1 Qκ Qκ D D : D < ℵ 2. Let G q be a Q κ -generic filter. We work in V[G]. Let B := ro(p acfc ) and let δ : P acfc B be the canonical dense embedding. Let D B := {δ D D D}. Since q G our assumption implies the existence of a D B -generic filter H in V[G]. Since the sets D α = {p P acfc α dom(p)} are both in V and dense in P acfc, one can define a normal function as follows: f : ℵ 1 ℵ 1 (22) α the unique β such that δ({ α, β }) H. Back to V by lemma 15 Player II has a winning strategy in the strong proper game for Q κ below q. Let ḟ be a Q κ -name for f. In the role of Player I in the strong proper game for Q κ below q in move 0 we set α 0 = 0 and play a maximal antichain A 0 which decides ḟ(0). In general our opponent in move n plays a countable B n A n according to her strategy. We set β n := sup ( {β < ℵ 1 q B n : q Qκ ḟ(α n ) = β } ) + 1 and choose an 11

14 indecomposable countable ordinal α n+1 ℵ 1 \ β n. Finally we play a maximal antichain A n+1 which decides ḟ(α n+1 ). The play of this game yields a sequence of countable indecomposable ordinals α n n < ω and a sequence of ordinals β n n < ω such that β n < α n+1 for all n < ω. So we can apply lemma 17. We choose a witness r Qκ q for II s strategy to be winning. Choose an s Qκ r and a p D α n n<ω β n n<ω such that s Qκ δ(p) H. But then by definition of D α n n<ω β n n<ω, s Q κ ḟ(α n ) β n for some n < ω. So B n cannot be maximal below r. The following theorem shows that theorem 8 is optimal in terms of consistency strength. Theorem 18 (Goldstern-Shelah-Todorčević) BFA ( ro (Σ cl C cc ), ℵ 2, ℵ 2 ) ) ℵ 2 is regular and Σ 2 -correct in L. (23) Here Σ cl C cc refers to the class of forcing notions which can be conceived of as a two-step-iteration of a countably closed notion of forcing with a forcing notion satisfying the countable chain condition. Since ro (Σ cl C cc ) AA we get as a corollary Corollary 19 BAAFA = ℵ 2 is regular and Σ 2 -correct in L. (24) A comment seems to be in order here. In [G-S] Shelah already proved that ℵ 2 is regular and Σ 2 -correct or in his terminology reflecting" if a Bounded Forcing Axiom holds for notions of forcing which are attained by finitely iterating countably closed forcings with forcings satisfying the ccc. In fact the corollary above already follows from this proof. Todorčević s simpler proof which only uses a two-step-iteration can be read in [As], p In [Mo] Moore proved the following theorem. Theorem 20 BPFA 2 ℵ 0 = ℵ 2 This leads to the following problem. Problem 21 Does BAAFA decide the size of the continuum? In fact Bagaria asked a similar question in [Bag], p.16. Acknowledgement: I am very indebted to Gunter Fuchs for sharing his time to discuss this topic. 12

15 Bibliography [As] DAVID ASPERÓ, A maximal bounded forcing axiom, The Journal of Symbolic Logic Volume 67, Number 1, March 2002, pp [Ba] JAMES E. BAUMGARTNER, Iterated forcing, Surveys in set theory (A. R. D. Mathias, editor), London Mathematical Society Lecture Note Series, Volume 87, Cambridge University Press, Cambridge, 1983, pp [Bag] JOAN BAGARIA, Axioms of generic absoluteness (English summary) Logic Colloquium 02, 28 47, Lect. Notes Log., 27, Assoc. Symbol. Logic, La Jolla, CA, [G-S] MARTIN GOLDSTERN AND SAHARON SHELAH, The bounded proper forcing axiom, The Journal of Symbolic Logic, Volume 60, 1995, pp [Je] THOMAS JECH, Set theory The Third Millennium Edition, Revised and Expanded, Springer Monographs in Mathematics, Berlin, 2002 [Ko] PIOTR KOSZMIDER, On coherent families of finite-to-one functions The Journal of Symbolic Logic Volume 58, no. 1, March 1993 [Ku] KENNETH KUNEN, Set theory An introduction to independence proofs, Studies in logic and the foundations of mathematics Volume 102, 1980, North-Holland Amsterdam New York Oxford [Mo] JUSTIN TATCH MOORE, Set mapping reflection, Journal of Mathematical Logic 5 (2005), no. 1,pp

BPFA and BAAFA. Their equiconsistency and their nonequivalence. Thilo Weinert. February 4, 2009

BPFA and BAAFA. Their equiconsistency and their nonequivalence. Thilo Weinert. February 4, 2009 Their equiconsistency and their nonequivalence February 4, 2009 1 Basics Axiom A The strengthened proper game Σ n-correct cardinals 2 Bounded Forcing Axioms Their definition A remedy for Axiom A Some facts