WWW.DISSERTATION.XLIBX.INFO FREE ELECTRONIC LIBRARY - Dissertations, online materials

<< HOME
CONTACTS

Pages:   || 2 |

# «SPENCER UNGER Abstract. From large cardinals we obtain the consistency of the existence of a singular cardinal κ of coﬁnality ω at which the ...»

-- [ Page 1 ] --

## SPENCER UNGER

Abstract. From large cardinals we obtain the consistency of the existence of

a singular cardinal κ of coﬁnality ω at which the Singular Cardinals Hypothesis

fails, there is a bad scale at κ and κ++ has the tree property. In particular

this model has no special κ+ -trees.

1. Introduction We prove the following result.

Theorem 1.1.

If κ is supercompact and λ κ is weakly compact, then there is a forcing extension in which κ is a singular strong limit cardinal of coﬁnality ω, SCH fails at κ, there is a bad scale at κ and the tree property holds at κ++.

To begin we recall some basic deﬁnitions.

Deﬁnition 1.2. Let κ and λ be cardinals with κ regular.

(1) A κ-tree is a tree of height κ with levels of size less than κ.

(2) A coﬁnal branch through a tree T is a linearly ordered subset of T whose order type is the height of T.

(3) A κ-Aronszajn tree is a κ-tree with no coﬁnal branch.

(4) κ has the tree property if and only if there are no κ-Aronszajn trees.

(5) A λ+ -tree T is special if and only if there is a function f : T → λ such that if x and y are comparable in the tree, then f (x) = f (y).

Deﬁnition 1.3. For a singular cardinal η, the Singular Cardinal Hypothesis (SCH) at η is the assertion that if η is strong limit, then 2η = η +.

The tree property is well studied. There are many classical results and there has also been some recent research. We review the classical results. The tree property at ℵ0 is precisely K¨nig’s Lemma [7]. Aronszajn [9] constructed an ℵ1 - o Aronszajn tree. Generalizing Aronszajn’s construction Specker [17] proved that if κκ = κ, then there is a special κ+ -tree. In particular CH implies that there is a special ω2 -tree. Mitchell [13] proved that relative to ZFC the tree property at ω2 is equiconsistent with the existence of a weakly compact cardinal. Variations of the forcing from Mitchell’s result play a central role in further forcing results about the tree property.

Date: January 19, 2013.

2010 Mathematics Subject Classiﬁcation. 03E35,03E55.

Key words and phrases. Large Cardinals, Forcing, Tree Property, Special Tree, Bad Scale.

The results in this paper are to appear in the Author’s PHD thesis under the direction of James Cummings, to whom the author would like express his gratitude.

1

## 2 SPENCER UNGER

An old question asks whether it is consistent that every regular cardinal greater that ℵ1 can have the tree property. One of the main obstacles is arranging the tree property at the successors of a singular cardinal. Shelah [11] proved that if ν is a singular limit of supercompact cardinals, then ν + has the tree property. The main result of [11] shows that assuming the existence of a little more than a huge cardinal, it is relatively consistent that ℵω+1 has the tree property. Recently Sinapova [16] showed that one can obtain the tree property at ℵω+1 from just ω supercompact cardinals using a very diﬀerent construction from Magidor and Shelah.

For this paper we are motivated by trying to arrange the tree property at both the successor and double successor of a singular cardinal. For a general singular κ there are two relevant partial results. First, Cummings and Foreman [3] have shown from a supercompact cardinal with a weakly compact cardinal above, it is relatively consistent that there is a singular cardinal of coﬁnality ω whose double successor has the tree property. Second, using a forcing of Gitik and Sharon [5], Neeman [14] proved that starting from ω supercompact cardinals it is consistent that there is a singular cardinal of coﬁnality ω at which SCH fails and whose successor has the tree property. Making the singular cardinal into a small cardinal like ℵω or ℵω2 is diﬃcult. Recently, Sinapova [15] was able to deﬁne a version of the Gitik-Sharon forcing to obtain the analog of Neeman’s result [14] where κ = ℵω2. The result for κ = ℵω is open.

Our forcing is a combination of the Gitik-Sharon [5] forcing and the forcing from the result of Cummings and Foreman [3]. The forcing from [3] is a variant of a forcing due to Mitchell [13]. In the model for Theorem 1.1, we prove that there is a bad scale at κ. A bad scale at κ is a PCF theoretic object whose existence implies κ+ ∈ I[κ+ ] which in turn implies the failure of weak square, ∗. By a theorem of / κ Jensen [6] weak square is equivalent to the existence of a special Aronszajn tree.

So in particular the model for Theorem 1.1 has no special κ+ -trees. For an account of scales and their use in singular cardinal combinatorics we refer the interested reader to [2].

There is a natural model related to the model for Theorem 1.1 which is a candidate for the full tree property at κ+. We are kept from this further result by diﬃculties involved in reproducing the argument of Neeman [14]. To illustrate this our presentation of the forcing will take an increasing sequence of regular cardinals κn | n ω as a parameter. If we take κn = κ+n for all n ω as in [5], then we obtain the model for Theorem 1.1. If we instead let each κn be a supercompact cardinal as in [14], then we obtain a model that is a candidate for the full tree property at κ+. We will also prove that there are no special κ+ -trees in the model obtained from letting the κn ’s be supercompact. We include this argument, because it is diﬀerent from the argument given in the proof of Theorem 1.1.

The paper is organized as follows. In Section 2 we formulate a branch lemma, which will be used in the proof of Theorem 1.1 and has independent interest. We also recall another classical branch lemma needed in the proof below. In Section 3 we prove some preliminary lemmas, which allows us to deﬁne the main forcing. In Section 4 we deﬁne the main forcing and prove some of its properties. In Section 5 we prove that regardless of the choice of the sequence κn | n ω, the tree property holds at κ++ in the extension. In Section 6 we give the two diﬀerent models which both have no special κ+ -trees.

## ARONSZAJN TREES AND THE SUCCESSORS OF A SINGULAR CARDINAL 3

–  –  –

We will need this stronger lemma to prove that the tree property holds in our model. We will also need the following lemma which is used in [3] and [1]. We refer the interested reader to either paper for a proof.

Lemma 2.5 (Silver).

Suppose that τ, η are cardinals with 2τ ≥ η. If Q is τ + -closed, then forcing with Q cannot add a branch through an η-tree.

3. Preliminaries to the main forcing We give some deﬁnitions and results which allow us to deﬁne the main forcing.

For the remainder of the paper we work in a ground model V of GCH where κ is a supercompact cardinal which is indestructible under κ-directed closed forcing [10]. For ease of argument we are going to assume that λ κ is measurable with U ∗ a normal measure on λ. Weakening the result to use only weak compactness is straightforward. Let κn | n ω be an increasing sequence of regular cardinals less than λ with κ = κ0. Let ν be the supremum of the κn ’s. Since ν will be collapsed and ν + will be preserved, we let µ = ν +.

Let A = Add(κ, λ). In V A, κ is still supercompact. We let U be a supercompactness measure on Pκ (µ) and for each n ω let Un be the projection of U on to Pκ (κn ). The measures Un concentrate on the sets Xn of x ∈ Pκ (κn ) such that x ∩ κ is an inaccessible cardinal. We deﬁne P the diagonal Prikry forcing in the model V A using the measures Un.

Deﬁnition 3.1. A condition in P is a sequence p = x0, x1,... xn−1, An, An+1,...

where (1) for all i n, xi ∈ Xi, (2) for all i n − 1, xi ⊆ xi+1 ∩ κi and o. t.(xi ) κ ∩ xi+1 and (3) for all i ≥ n, Ai ∈ Ui and Ai ⊆ Xi.

We call n the length of p and denote it (p). Given another condition q = y0,... ym−1, Bm, Bm+1,...

we deﬁne p ≤ q if and only if n ≥ m, for all i m, yi = xi, for all i with m ≤ i n, xi ∈ Bi, and for all i ≥ n Ai ⊆ Bi.

Using the measurability of λ we are going to show that there are many places where the measure U (and hence each Un ) reﬂects. For α λ let Aα be Add(κ, α).

˙ Let U be an A-name for U. Following the set up of [3] we have the following lemma.

Lemma 3.2.

There is a set B ⊆ λ of Mahlo cardinals with B ∈ V such that ˙ (1) if g is A-generic over V, then for all α ∈ B, ig (U ) ∩ V [g α] ∈ V [g α] and (2) B ∈ U ∗.

## ARONSZAJN TREES AND THE SUCCESSORS OF A SINGULAR CARDINAL 5

˙ Proof. Let β λ. For each canonical Aβ -name X for a subset of Pκ (µ) choose ˙ ˙ a maximal antichain of conditions in A deciding the statement “X ∈ U ”. By the κ+ -cc of A and the inaccessibility of λ, the supremum of the domains of conditions in A appearing in any of the above antichains is less than λ. Let F (β) λ be greater than this supremum. The set of limit points of F is club. Let B be the set of Mahlo limit points of F. B is as required for the lemma.

˙ Let g be A-generic over V. For each α ∈ B, let U α =def ig (U ) ∩ V [g α]. It is α clear that U is a supercompactness measure on Pκ (µ) in V [g α]. For α ∈ B we deﬁne Pα in V [g α] to be the Diagonal Prikry forcing obtained from U α in the α same way we deﬁned P from U. We call the associated measures Un. Next we note that a Prikry sequence for P gives a Prikry sequence for Pα. This follows from a characterization of genericity for Prikry forcing due to Mathias [12]. The version needed here is that x is P-generic if and only if for all sequences of measure one sets A(n) | n ω, x(n) ∈ A(n) for all suﬃciently large n. From this it is easy to see that an A ∗ P-generic object induces a Aα ∗ Pα -generic object for each α ∈ B.

In particular, we just restrict the A-generic object and use the same Prikry generic sequence. It follows that RO(Aα ∗ Pα ) is isomorphic to a complete subalgebra of RO(A ∗ P) where RO(−) denotes the regular open algebra. Our work with the above posets will rely on the notion of a projection.

Deﬁnition 3.3. Let P and Q be posets. A map π : P → Q is a projection if (1) π(1P ) = 1Q, (2) for all p, p ∈ P, p ≤ p implies that π(p ) ≤ π(p) and (3) for all p ∈ P and q ≤ π(p), there is p ≤ p such that π(p ) ≤ q.

Deﬁnition 3.4. Suppose that π : P → Q is a projection. Then in V Q deﬁne ˙ P/Q = {p ∈ P | π(p) ∈ GQ } ordered as a suborder of P. If G is Q-generic, then we may write P/G for P/Q as computed in V [G].

Fact 3.5.

In the context of Deﬁnition 3.4, P is isomorphic to a dense subset of Q ∗ P/Q.

We now continue with facts about A ∗ P and related posets.

Lemma 3.6.

For all α ∈ B there is a projection πα : A ∗ P → RO(Aα ∗ Pα ).

Proof. This follows from general considerations about the regular open algebras of posets. First we use the map that takes A ∗ P densely into its regular open algebra.

Then viewing RO(Aα ∗ Pα ) as its isomorphic copy inside RO(A ∗ P), we take the meet over all conditions in RO(Aα ∗ Pα ) that are above a given condition in the range of the ﬁrst map. It is easy to see that the composition of the above two maps gives a projection.

Note that the projection we get here did not rely on special properties of λ so by a similar argument we have the following lemma.

Lemma 3.7.

For every α, β ∈ B with α β, there is a projection πα,β : Aβ ∗ Pβ → RO(Aα ∗ Pα ) Remark 3.8. In the previous two lemmas we used the fact that there are projections from RO(A ∗ P) to RO(Aβ ∗ Pβ ) and from RO(Aβ ∗ Pβ ) to RO(Aα ∗ Pα ) which we denote σβ and σα,β respectively. We also note that σα,β ◦ πβ = πα,β.

6 SPENCER UNGER

–  –  –

It is easy to see that this proof applies to Aα ∗ Pα for α ∈ B. Before moving on to the deﬁnition of the main forcing we record some facts about the extension by A ∗ P. The proofs of properties of P which lead to the following lemma are easy adaptations of the proofs in [5].

Lemma 3.10.

V A∗P satisﬁes (1) κ is singular strong limit of coﬁnality ω, (2) κ+ = (ν + )V = µ and (3) 2κ = λ.

–  –  –

respectively.

Using the ﬁrst projection we see that 2κ ≥ λ and using the second projection we see that each α ∈ B is collapsed to have size µ in the extension by R. As in the Cummings-Foreman paper, we have that the extension by R is contained in an extension by (A ∗ P) × Q where Q is µ-closed.

Deﬁnition 4.4. Let Q be the set of third coordinates from R together with the ordering f1 ≤ f2 if and only if dom(f1 ) ⊇ dom(f2 ) and for all α ∈ dom(f2 ), Aα ∗Pα f1 (α) ≤ f2 (α).

Lemma 4.5.

Q is µ-closed and the identity map is a projection from (A ∗ P) × Q to R.

The proof is a straightforward adaptation of Lemma 2.8 of [1].

For suitable choice of generics we have V A∗P ⊆ V R ⊆ V (A∗P)×Q. Using these facts we can prove the following lemma.

Lemma 4.6.

V R satisﬁes (1) κ is singular strong limit of coﬁnality ω, (2) ν is collapsed to have size κ and µ is preserved and (3) 2κ = κ++ = λ.

Proof. By Lemma 4.5, every µ sequence from V R is in V A∗P. It follows that κ is singular strong limit of coﬁnality ω in V R. It also follows that µ is preserved since if it were collapsed then it would have been collapsed by A ∗ P. Since R projects on to A ∗ P, we have that ν is collapsed to have size κ and 2κ ≥ λ. We have that 2κ = λ, since 2κ = λ in V A∗P and every κ sequence from V R is in this model. Finally, each β ∈ B is collapsed to have coﬁnality µ by Lemma 4.3 and λ is preserved by Lemma 4.2.

Pages:   || 2 |

Similar works:

«Pierre Collin-Dufresne and Vyacheslav Fos Do Prices Reveal the Presence of Informed Trading DP 08/2012-037 Do prices reveal the presence of informed trading?\$ Pierre Collin-Dufresne1, Vyacheslav Fos2,∗ First Version: November 2011 This Version: August 31, 2012 Abstract Using a comprehensive sample of trades by Schedule 13D ﬁlers, who possess valuable private information when they accumulate stocks of targeted companies, this paper studies whether several liquidity measures reveal the...»

«Development of computational methods for the prediction of protein structure, protein binding, and mutational eﬀects using free energy calculations. Entwicklung computergest¨tzter Methoden u zur Vorhersage von Proteinstrukturen, Proteinbindung und Mutationseﬀekten mithilfe von Freie Energie Berechnungen. Der Naturwissenschaftlichen Fakult¨t a der Friedrich-Alexander-Universit¨t Erlangen-N¨rnberg a u zur Erlangung des Doktorgrades Dr. rer. nat. vorgelegt von CAROLINE BECKER aus...»

«26901 Agoura Road, Suite 150, Calabasas Hills, CA 91301 Tel: 310.859.7701 Fax: 310.859.3842 PRICES REALIZED DETAIL Milton Greene Auction Auction 57, Auction Date: 7/27/2013 ITEM PRICE LOT COLOR CAMERA TRANSPARENCY OF MARILYN MONROE FROM “TREE” SITTING BY MILTON \$4,500 2 GREENE. COLOR CAMERA TRANSPARENCY OF MARILYN MONROE FROM “TREE” SITTING BY MILTON \$2,500 3 GREENE. COLOR CAMERA TRANSPARENCY OF MARILYN MONROE FROM “TREE” SITTING BY MILTON \$3,500 4 GREENE. COLOR CAMERA TRANSPARENCY...»

«Federico García Lorca LIBRO DE POEMAS (1921) A mi hermano Paquito POÉTICA (De viva voz a Gerardo Diego.) Pero, ¿qué voy a decir yo de la Poesía? ¿Qué voy a decir de esas nubes, de ese cielo? Mirar, mirar, mirarlas, mirarle y nada más. Com prenderás que un poeta no puede decir nada de la Poesía. Eso déjaselo a los críticos y profesores. Pero ni tú ni yo ni ningún poeta sabemos lo que es la Poesía. Aquí está: mira. Yo tengo el fuego en mis manos. Yo lo entiendo y trabajo con él...»

«WilsonBull., 99(2), 1987,pp. 190-201 WITHIN-BROOD VARIATION IN GROWTH AND CONDITION IN RELATION TO BROOD REDUCTION IN THE AMERICAN WHITE PELICAN ROGER M. EVANS AND BLAIR F. MCMAHON’ ALSTRAC~.-LOSS ofthe second (B) chick in broods ofAmerican White Pelicans (Pelecanus erythrorhynchs)is common and has been attributed to starvation caused by sibling harassment. To examine this possibility in detail, we obtained weekly measurements of body weight and culmen length of individually marked A and B...»

«Global Review of Research in Tourism, Hospitality and Leisure Management (GRRTHLM) An Online International Research Journal (ISSN: 2311-3189) 2015 Vol: 1 Issue 1 Marketing through Social Networks in Touristic and Gastronomy Industry in Manzanillo, Colima, México M.F. Jesús Otoniel Sosa Rodríguez, School of Tourism and Gastronomy, University of Colima, Mexico. E-mail: otonielsosa@ucol.mx M.C.A. Nuchnudee Chaisatit, School of Tourism and Gastronomy, University of Colima. Mexico. E-mail:...»

«The New World Witchery Guide to CARTOMANCY The Art of Fortune-Telling with Playing Cards By Cory Hutcheson, Proprietor, New World Witchery ©2010 Cory T. Hutcheson 1 Copyright Notice All content herein subject to copyright © 2010 Cory T. Hutcheson. All rights reserved. Cory T. Hutcheson & New World Witchery hereby authorizes you to copy this document in whole or in party for non-commercial use only. In consideration of this authorization, you agree that any copy of these documents which you...»

«CONTINUING IMPROVEMENTS IN BINDER TREATMENT TECHNOLOGY F. J. Semel and S. H. Luk Hoeganaes Corporation Riverton, New Jersey 08077 Presented at PM2TEC ‘96 World Congress June 16 21,1996 Washington, D.C.ABSTRACT The binder-lubricant concept in which the binder acts to lubricate as well as to bond is introduced. The binder treatment effects on premix properties of an ordinary binder versus one with lubricating properties are compared. It is shown that the lubricating binder is superior in terms...»

«Tennessee Bureau of Investigation EVIDENCE GUIDE Mark R. Gwyn Director September 2015 This publication is intended solely as a guide. The Tennessee Bureau of Investigation recognizes that there may be other acceptable methods than those put forth in this manual. The Tennessee Bureau of Investigation is not responsible for damages of any nature resulting from this information. The Tennessee Bureau of Investigation does not assume any responsibility for omissions, errors, misprinting or ambiguity...»

«JESUS: MAGICIAN OR MIRACLE WORKER? BY DONALD HOWARD BROMLEY 1124 GRANT STREET YPSILANTI, MI 48197 don@annarborvineyard.org A THESIS PRESENTED TO THE FACULTY OF ASHLAND THEOLOGICAL SEMINARY IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF ARTS AUGUST 28, 2004 Accepted by the faculty of Ashland Theological Seminary Ashland, Ohio In partial fulfillment of the requirements For the degree of Master of Arts Director of Thesis _ Academic Dean ii INTRODUCTION Our understanding of...»

«CJ211: Criminal Investigation OJ Simpson Case Case Study: Physical Evidence INTRODUCTION: On Sunday, June 12, 1994, just before 11:00PM Steven Schwab was walking his dog in the Brentwood section of northwest Los Angeles when he was confronted by an excited and agitated dog, an Akita. As the dog followed Steven home, he noticed what appeared to be blood on the dog’s paws and belly. When Steven arrived home, the dog still...»

«Scientific Models for Religious Knowledge: Is the Scientific Study of Religious Activity Compatible With a “Religious Epistemology”? by Andrew Ralls Woodward A Thesis submitted to the Faculty of Divinity of the University of Trinity College and the Theological Department of the Toronto School of Theology In partial fulfillment of the requirements for the degree of Doctor of Theology awarded by the University of Trinity College and the University of Toronto © Copyright by Andrew Ralls...»

<<  HOME   |    CONTACTS
2016 www.dissertation.xlibx.info - Dissertations, online materials

Materials of this site are available for review, all rights belong to their respective owners.
If you do not agree with the fact that your material is placed on this site, please, email us, we will within 1-2 business days delete him.