Weak partition relations and measurability

1986 ◽  
Vol 51 (1) ◽  
pp. 33-38
Author(s):  
Mitchell Spector
Keyword(s):  
Measurable Cardinal ◽  
Order Type ◽  
Large Cardinal ◽  
Partition Relation ◽  
Consistency Strength ◽  
Partition Relations ◽  
Inner Model ◽  
Increasing Function ◽  
Natural Way

The concept of "partition relation" has proven to be extremely important in the development of the theory of large cardinals. This is due in good part to the fact that the ordinal numbers which appear as parameters in partition relations provide a natural way to define a detailed hierarchy of the corresponding large cardinal axioms. In particular, the study of cardinals satisfying Ramsey-Erdös-style partition relations has yielded a great number of very interesting large cardinal axioms which lie in strength strictly between inaccessibility and measurability. It is the purpose of this paper to show that this phenomenon does not occur if we use infinite exponent partition relations; no such partition relation has consistency strength strictly between inaccessibility and measurability. We also give a complete determination of which infinite exponent partition relations hold, assuming that there is no inner model of set theory with a measurable cardinal.Our notation is standard. If F is a function and x is a set, then F″x denotes the range of F on x. If X is a set of ordinals and α is an ordinal, then [X]α is the collection of all subsets of X of order type α. We identify a member of [X]α with a strictly increasing function from α to X. If p ∈ [X]α and q ∈ [α]β, then the composition of p with q, which we denote pq, is a member of [X]β.

On large cardinals and partition relations

1971 ◽  
Vol 36 (2) ◽  
pp. 305-308 ◽  
Author(s):  
E. M. Kleinberg ◽  
R. A. Shore
Keyword(s):  
Set Theory ◽  
Measurable Cardinal ◽  
Order Type ◽  
Large Cardinals ◽  
Infinite Cardinal ◽  
Partition Relation ◽  
Weakly Compact ◽  
Original Result ◽  
Partition Relations ◽  
Uncountable Cardinal

A significant portion of the study of large cardinals in set theory centers around the concept of “partition relation”. To best capture the basic idea here, we introduce the following notation: for x and y sets, κ an infinite cardinal, and γ an ordinal less than κ, we let [x]γ denote the collection of subsets of x of order-type γ and abbreviate with the partition relation for each function F frominto y there exists a subset C of κ of cardinality κ such that (such that for each α < γ) the range of F on [С]γ ([С]α) has cardinality 1. Now although each infinite cardinal κ satisfies the relation for each n and m in ω (F. P. Ramsey [8]), a connection with large cardinals arises when one asks, “For which uncountable κ do we have κ → (κ)2?” Indeed, any uncountable cardinal κ which satisfies κ → (κ)2 is strongly inaccessible and weakly compact (see [9]). As another example one can look at the improvements of Scott's original result to the effect that if there exists a measurable cardinal then there exists a nonconstructible set. Indeed, if κ is a measurable cardinal then κ → (κ)< ω, and as Solovay [11] has shown, if there exists a cardinal κ such that κ → (κ)< ω3 (κ → (ℵ1)< ω, even) then there exists a nonconstructible set of integers.

On P-points over a measurable cardinal

1981 ◽  
Vol 46 (1) ◽  
pp. 59-66
Author(s):  
A. Kanamori
Keyword(s):  
Measurable Cardinal ◽  
Focus Of Attention ◽  
Large Cardinal ◽  
Elementary Embedding ◽  
Inner Model ◽  
Measurable Cardinals ◽  
The Universe

This paper continues the study of κ-ultrafilters over a measurable cardinal κ, following the sequence of papers Ketonen [2], Kanamori [1] and Menas [4]. Much of the concern will be with p-point κ-ultrafilters, which have become a focus of attention because they epitomize situations of further complexity beyond the better understood cases, normal and product κ-ultrafilters.For any κ-ultrafilter D, let iD: V → MD ≃ Vκ/D be the elementary embedding of the universe into the transitization of the ultrapower by D. Situations of U < RKD will be exhibited when iU(κ) < iD(κ), and when iU(κ) = iD(κ). The main result will then be that if the latter case obtains, then there is an inner model with two measurable cardinals. (As will be pointed out, this formulation is due to Kunen, and improves on an earlier version of the author.) Incidentally, a similar conclusion will also follow from the assertion that there is an ascending Rudin-Keisler chain of κ-ultrafilters of length ω + 1. The interest in these results lies in the derivability of a substantial large cardinal assertion from plausible hypotheses on κ-ultrafilters.

Some consequences of an infinite-exponent partition relation

1977 ◽  
Vol 42 (4) ◽  
pp. 523-526 ◽  
Author(s):  
J. M. Henle
Keyword(s):  
Set Theory ◽  
Measurable Cardinal ◽  
Large Cardinals ◽  
Axiom Of Choice ◽  
Partition Relation ◽  
Basic Theorem ◽  
Axiom Of Determinacy ◽  
Ramsey’S Theorem ◽  
Partition Relations ◽  
Dependent Choice

Beginning with Ramsey's theorem of 1930, combinatorists have been intrigued with the notion of large cardinals satisfying partition relations. Years of research have established the smaller ones, weakly ineffable, Erdös, Jonsson, Rowbottom and Ramsey cardinals to be among the most interesting and important large cardinals in set theory. Recently, cardinals satisfying more powerful infinite-exponent partition relations have been examined with growing interest. This is due not only to their inherent qualities and the fact that they imply the existence of other large cardinals (Kleinberg [2], [3]), but also to the fact that the Axiom of Determinacy (AD) implies the existence of great numbers of such cardinals (Martin [5]).That these properties are more often than not inconsistent with the full Axiom of Choice (Kleinberg [4]) somewhat increases their charm, for the theorems concerning them tend to be a little odd, and their proofs, circumforaneous. The properties are, as far as anyone knows, however, consistent with Dependent Choice (DC).Our basic theorem will be the following: If k > ω and k satisfies k→(k)k then the least cardinal δ such that has a δ-additive, uniform ultrafilter. In addition, if ACω is assumed, we will show that δ is greater than ω, and hence a measurable cardinal. This result will be strengthened somewhat when we prove that for any k, δ, if then .

Complexity of κ-ultrafilters and inner models with measurable cardinals

1984 ◽  
Vol 49 (3) ◽  
pp. 833-841 ◽  
Author(s):  
Claude Sureson
Keyword(s):  
Regular Cardinal ◽  
Measurable Cardinal ◽  
Order Type ◽  
Inaccessible Cardinal ◽  
Inner Models ◽  
Inner Model ◽  
Measurable Cardinals

The purpose of this paper is to establish a connection between the complexity of κ-ultrafilters over a measurable cardinal κ, and the existence of ascending Rudin-Keisler chains of κ-ultrafilters and of inner models with several measurable cardinals.If V is a model of ZFC + “There exists a measurable cardinal κ”, then V satisfies “There exists a normal κ-ultrafilter”, that is to say a “simple” κ-ultrafilter. The only known examples of “complex” κ-ultrafilters have been constructed by Kanamori [2], Ketonen [4] and Kunen (cf. [2]) with stronger hypotheses than measurability: compactness or supercompactness. Using the notions of skies and constellations defined by Kanamori [2] for the measurable case, and which witness the complexity of a κ-ultrafilter, we shall show the necessity of such assumptions, namely:Theorem 1. If λ < κ is a strongly inaccessible cardinal, the existence of a κ-ultrafilter with more than λ constellations implies that there is an inner model with two measurable cardinals if λ = ω and λ + 1 measurable cardinals otherwise.Theorem 2. Let θ < κ be an arbitrary ordinal. If there is a κ-ultrafilter such that the order-type of its skies is greater than ωθ, then there exists an inner model with θ + 1 measurable cardinals.And as a corollary, we obtain:Theorem 3. Let μ < κ be a regular cardinal. If there exists a κ-ultrafilter containing the closed-unbounded subsets of κ and {α < κ: cf(α) = μ}, then there is an inner model with two measurable cardinals if μ = ω, and μ + 1 measurable cardinals otherwise.

Changing cardinal invariants of the reals without changing cardinals or the reals

1998 ◽  
Vol 63 (2) ◽  
pp. 593-599 ◽  
Author(s):  
Heike Mildenberger
Keyword(s):  
Measurable Cardinal ◽  
Consistency Strength ◽  
Cardinal Invariants ◽  
Inner Model ◽  
Cichoń’S Diagram

AbstractWe show: The procedure mentioned in the title is often impossible. It requires at least an inner model with a measurable cardinal. The consistency strength of changing and from a regular κ to some regular δ < κ is a measurable of Mitchell order δ. There is an application to Cichoń's diagram.

Proper Forcing and Remarkable Cardinals

2000 ◽  
Vol 6 (2) ◽  
pp. 176-184 ◽  
Author(s):  
Ralf-Dieter Schindler
Keyword(s):  
Measurable Cardinal ◽  
Large Cardinal ◽  
Exact Formulation ◽  
Axiom Of Determinacy ◽  
Slow Pace ◽  
Woodin Cardinals ◽  
Inner Model ◽  
Proper Forcing ◽  
Remarkable Cardinals ◽  
The Universe

The present paper investigates the power of proper forcings to change the shape of the universe, in a certain well-defined respect. It turns out that the ranking among large cardinals can be used as a measure for that power. However, in order to establish the final result I had to isolate a new large cardinal concept, which I dubbed “remarkability.” Let us approach the exact formulation of the problem—and of its solution—at a slow pace.Breathtaking developments in the mid 1980s found one of its culminations in the theorem, due to Martin, Steel, and Woodin, that the existence of infinitely many Woodin cardinals with a measurable cardinal above them all implies that AD, the axiom of determinacy, holds in the least inner model containing all the reals, L(ℝ) (cf. [6[, p. 91). One of the nice things about AD is that the theory ZF + AD + V = L(ℝ) appears as a choiceless “completion” of ZF in that any interesting question (in particular, about sets of reals) seems to find an at least attractive answer in that theory (cf., for example, [5] Chap. 6). (Compare with ZF + V = L!) Beyond that, AD is very canonical as may be illustrated as follows.Let us say that L(ℝ) is absolute for set-sized forcings if for all posets P ∈ V, for all formulae ϕ, and for all ∈ ℝ do we have thatwhere is a name for the set of reals in the extension.

A measurable cardinal with a nonwellfounded ultrapower

1980 ◽  
Vol 45 (3) ◽  
pp. 623-628 ◽  
Author(s):  
Mitchell Spector
Keyword(s):  
Set Theory ◽  
Measurable Cardinal ◽  
Axiom Of Choice ◽  
Partial Ordering ◽  
Partition Relation ◽  
Partition Relations ◽  
Consistency Results ◽  
The Axiom Of Choice ◽  
Measurable Cardinals ◽  
Weakened Form

The usefulness of measurable cardinals in set theory arises in good part from the fact that an ultraproduct of wellfounded structures by a countably complete ultrafilter is wellfounded. In the standard proof of the wellfoundedness of such an ultraproduct, one first shows, without any use of the axiom of choice, that the ultraproduct contains no infinite descending chains. One then completes the proof by noting that, assuming the axiom of choice, any partial ordering with no infinite descending chain is wellfounded. In fact, the axiom of dependent choices (a weakened form of the axiom of choice) suffices. It is therefore of interest to ask whether some use of the axiom of choice is needed in order to prove the wellfoundedness of such ultraproducts or whether, on the other hand, their wellfoundedness can be proved in ZF alone. In Theorem 1, we show that the axiom of choice is needed for the proof (assuming the consistency of a strong partition relation). Theorem 1 also contains some related consistency results concerning infinite exponent partition relations. We then use Theorem 1 to show how to change the cofinality of a cardinal κ satisfying certain partition relations to any regular cardinal less than κ, while introducing no new bounded subsets of κ. This generalizes a theorem of Prikry [5].

The consistency strength of the free-subset property for ωω

1984 ◽  
Vol 49 (4) ◽  
pp. 1198-1204 ◽  
Author(s):  
Peter Koepke
Keyword(s):  
Measurable Cardinal ◽  
Core Model ◽  
Reverse Direction ◽  
Ground Model ◽  
Consistency Strength ◽  
The Core ◽  
Inner Model ◽  
Free Subset ◽  
Coherent Sequence ◽  
Measurable Cardinals

A subset X of a structure S is called free in S if ∀x ∈ Xx ∉ S[X − {x}]; here, S[Y] is the substructure of S generated from Y by the functions of S. For κ, λ, μ cardinals, let Frμ(κ, λ) be the assertion:for every structure S with κ ⊂ S which has at most μ functions and relations there is a subset X ⊂ κ free in S of cardinality ≥ λ.We show that Frω(ωω, ω), the free-subset property for ωω, is equiconsistent with the existence of a measurable cardinal (2.2,4.4). This answers a question of Devlin [De].In the first section of this paper we prove some combinatorial facts about Frμ(κ, λ); in particular the first cardinal κ such that Frω(κ, ω) is weakly inaccessible or of cofinality ω (1.2). The second section shows that, under Frω(ωω, ω), ωω is measurable in an inner model. For the convenience of readers not acquainted with the core model κ, we first deduce the existence of 0# (2.1) using the inner model L. Then we adapt the proof to the core model and obtain that ωω is measurable in an inner model. For the reverse direction, we essentially apply a construction of Shelah [Sh] who forced Frω(ωω, ω) over a ground model which contains an ω-sequence of measurable cardinals. We show in §4 that indeed a coherent sequence of Ramsey cardinals suffices. In §3 we obtain such a sequence as an endsegment of a Prikry sequence.

The ⊲-ordering on normal ultrafilters

1985 ◽  
Vol 50 (4) ◽  
pp. 936-952 ◽  
Author(s):  
Stewart Baldwin
Keyword(s):  
Measurable Cardinal ◽  
Large Cardinal ◽  
The Other ◽  
Ground Model ◽  
Other Hand ◽  
Normal Measure ◽  
Inner Model ◽  
Normal Ultrafilter

If κ is a measurable cardinal, then it is a well-known fact that there is at least one normal ultrafilter over κ. In [K-1], Kunen showed that one cannot say more without further assumptions, for if U is a normal ultrafilter over κ, then L[U] is an inner model of ZFC in which κ has exactly one normal measure. On the other hand, Kunen and Paris showed [K-P] that if κ is measurable in the ground model, then there is a forcing extension in which κ has normal ultrafilters, so it is consistent that κ has the maximum possible number of normal ultrafilters. Starting with assumptions stronger than measurability, Mitchell [Mi-1] filled in the gap by constructing models of ZFC + GCH satisfying “there are exactly λ normal ultrafilters over κ”, where λ could be κ+ or κ++ (measured in the model), or anything ≤ κ. Whether or not Mitchell's results can be obtained by starting only with a measurable cardinal in the ground model and defining a forcing extension is unknown.There are substantial differences between the Mitchell models and the Kunen-Paris models. In the Kunen-Paris models κ can be the only measurable cardinal. However, in the Mitchell model in which κ has exactly 2 normal ultrafilters, one of them contains the set {α < κ: α is measurable} while the other does not. Thus it is natural to ask if it is possible to get a model M of ZFC in which κ is the only measurable cardinal and κ has exactly 2 normal ultrafilters. In this paper we will show that, using appropriate large cardinal assumptions, the answer is yes.

scholarly journals An Ordered Turán Problem for Bipartite Graphs

10.37236/2471 ◽  
2012 ◽  
Vol 19 (4) ◽  
Author(s):  
Craig Timmons
Keyword(s):  
Complete Bipartite Graph ◽  
Bipartite Graphs ◽  
Free Graph ◽  
The Family ◽  
Turan Problem ◽  
Vertex Graph ◽  
Turán Number ◽  
Turán Problem ◽  
Natural Way

Let $F$ be a graph.  A graph $G$ is $F$-free if it does not contain $F$ as a subgraph.  The Turán number of $F$, written $\textrm{ex}(n,F)$, is the maximum number of edges in an $F$-free graph with $n$ vertices.  The determination of Turán numbers of bipartite graphs is a challenging and widely investigated problem.  In this paper we introduce an ordered version of the Turán problem for bipartite graphs.  Let $G$ be a graph with $V(G) = \{1, 2, \dots , n \}$ and view the vertices of $G$ as being ordered in the natural way.  A zig-zag $K_{s,t}$, denoted $Z_{s,t}$, is a complete bipartite graph $K_{s,t}$ whose parts $A = \{n_1 < n_2 < \dots < n_s \}$ and $B = \{m_1 < m_2 < \dots < m_t \}$ satisfy the condition $n_s < m_1$.  A zig-zag $C_{2k}$ is an even cycle $C_{2k}$ whose vertices in one part precede all of those in the other part.  Write $\mathcal{Z}_{2k}$ for the family of zig-zag $2k$-cycles.  We investigate the Turán numbers $\textrm{ex}(n,Z_{s,t})$ and $\textrm{ex}(n,\mathcal{Z}_{2k})$.  In particular we show $\textrm{ex}(n, Z_{2,2}) \leq \frac{2}{3}n^{3/2} + O(n^{5/4})$.  For infinitely many $n$ we construct a $Z_{2,2}$-free $n$-vertex graph with more than $(n - \sqrt{n} - 1) + \textrm{ex} (n,K_{2,2})$ edges.

Sign in / Sign up

Export Citation Format

Share Document