ON INCOMPACTNESS FOR CHROMATIC NUMBER OF GRAPHS SH1006 SAHARON SHELAH

Σχετικά έγγραφα
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Every set of first-order formulas is equivalent to an independent set

Fractional Colorings and Zykov Products of graphs

2 Composition. Invertible Mappings

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

C.S. 430 Assignment 6, Sample Solutions

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

Chapter 3: Ordinal Numbers

SINGULAR CARDINALS AND SQUARE PROPERTIES

On density of old sets in Prikry type extensions.

arxiv: v4 [math.lo] 15 Jun 2010

Uniform Convergence of Fourier Series Michael Taylor

Homomorphism in Intuitionistic Fuzzy Automata

Example Sheet 3 Solutions

arxiv: v2 [math.lo] 21 Jun 2010

A Note on Intuitionistic Fuzzy. Equivalence Relation

EE512: Error Control Coding

ST5224: Advanced Statistical Theory II

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Splitting stationary sets from weak forms of Choice

Section 8.3 Trigonometric Equations

4.6 Autoregressive Moving Average Model ARMA(1,1)

Cardinals. Y = n Y n. Define h: X Y by f(x) if x X n X n+1 and n is even h(x) = g

SOME PROPERTIES OF FUZZY REAL NUMBERS

Commutative Monoids in Intuitionistic Fuzzy Sets

Statistical Inference I Locally most powerful tests

Approximation of distance between locations on earth given by latitude and longitude

The challenges of non-stable predicates

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

PCF: THE ADVANCED PCF THEOREMS E69 SAHARON SHELAH

Homework 3 Solutions

Matrices and Determinants

Solution Series 9. i=1 x i and i=1 x i.

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Knaster-Reichbach Theorem for 2 κ

THE GENERAL INDUCTIVE ARGUMENT FOR MEASURE ANALYSES WITH ADDITIVE ORDINAL ALGEBRAS

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Congruence Classes of Invertible Matrices of Order 3 over F 2

Section 9.2 Polar Equations and Graphs

Generating Set of the Complete Semigroups of Binary Relations

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Other Test Constructions: Likelihood Ratio & Bayes Tests

Lecture 2. Soundness and completeness of propositional logic

Lecture 15 - Root System Axiomatics

Inverse trigonometric functions & General Solution of Trigonometric Equations

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Homomorphism of Intuitionistic Fuzzy Groups

arxiv:math/ v1 [math.lo] 15 Oct 1996

derivation of the Laplacian from rectangular to spherical coordinates

12. Radon-Nikodym Theorem

Αλγόριθμοι και πολυπλοκότητα NP-Completeness (2)

Quadratic Expressions

Chapter 2. Ordinals, well-founded relations.

Finite Field Problems: Solutions

Concrete Mathematics Exercises from 30 September 2016

Bounding Nonsplitting Enumeration Degrees

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

1. Introduction and Preliminaries.

CRASH COURSE IN PRECALCULUS

On a four-dimensional hyperbolic manifold with finite volume

The Simply Typed Lambda Calculus

5. Choice under Uncertainty

Cyclic or elementary abelian Covers of K 4

Solutions to Exercise Sheet 5

NOTES ON SQUARES, SCALES, AND REFLECTION

Some new generalized topologies via hereditary classes. Key Words:hereditary generalized topological space, A κ(h,µ)-sets, κµ -topology.

Intuitionistic Fuzzy Ideals of Near Rings

Areas and Lengths in Polar Coordinates

Second Order Partial Differential Equations

MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

Main source: "Discrete-time systems and computer control" by Α. ΣΚΟΔΡΑΣ ΨΗΦΙΑΚΟΣ ΕΛΕΓΧΟΣ ΔΙΑΛΕΞΗ 4 ΔΙΑΦΑΝΕΙΑ 1

Areas and Lengths in Polar Coordinates

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

Problem Set 3: Solutions

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

ΚΥΠΡΙΑΚΟΣ ΣΥΝΔΕΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY 21 ος ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ Δεύτερος Γύρος - 30 Μαρτίου 2011

F A S C I C U L I M A T H E M A T I C I

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Homework 8 Model Solution Section

Abstract Storage Devices

Physical DB Design. B-Trees Index files can become quite large for large main files Indices on index files are possible.

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

GAUGES OF BAIRE CLASS ONE FUNCTIONS

Coefficient Inequalities for a New Subclass of K-uniformly Convex Functions

Reminders: linear functions

Completeness Theorem for System AS1

Sequent Calculi for the Modal µ-calculus over S5. Luca Alberucci, University of Berne. Logic Colloquium Berne, July 4th 2008

New bounds for spherical two-distance sets and equiangular lines

TMA4115 Matematikk 3

Operation Approaches on α-γ-open Sets in Topological Spaces

SOLVING CUBICS AND QUARTICS BY RADICALS

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Tridiagonal matrices. Gérard MEURANT. October, 2008

Transcript:

ON INCOMPACTNESS FOR CHROMATIC NUMBER OF GRAPHS SH1006 SAHARON SHELAH Abstract. We deal with incompactness. Assume the existence of non-reflecting stationary subset of the regular cardinal λ of cofinality κ. We prove that one can define a graph G whose chromatic number is > κ, while the chromatic number of every subgraph G G, G < λ is κ. The main case is κ = ℵ 0. Date: January 31, 2014. 2010 Mathematics Subject Classification. Primary: 03E05; Secondary: 05C15. Key words and phrases. set theory, graphs, chromatic number, compactness, non-reflecting stationary sets. The author thanks Alice Leonhardt for the beautiful typing. First typed: July 3, 2011. Pf for J.: Sept 2012. 1

2 SAHARON SHELAH Anotated Content 0 Introduction, pg.3 (0A) The questions and results, pg.3 (0AB) Preliminaries, pg.3 1 From a non-reflecting stationary set, pg.5 [We show that S Sκ λ is stationary not reflecting implies imcompactness for length λ for chromatic number = κ.] 2 From almost free, pg.8 [Here we weaken the assumption in 1 to A κ Ord is almost free.]

ON INCOMPACTNESS FOR CHROMATIC NUMBER OF GRAPHS SH1006 3 0. Introduction {Introduction} {Thequestions} 0(A). The questions and results. During the Hajnal conference (June 2011) Magidor asked me on incompactness of having chromatic number ℵ 0 ; that is, there is a graph G with λ nodes, chromatic number > ℵ 0 but every subgraph with < λ nodes has chromatic number ℵ 0 when: ( ) 1 λ is regular > ℵ 1 with a non-reflecting stationary S S λ ℵ 0, possibly though better not, assuming some version of GCH. Subsequently also when: ( ) 2 λ = ℵ ω+1. Such problems were first asked by Erdös-Hajnal, see [EH74]; we continue [Sh:347]. First answer was using BB, see [Sh:309, 3.24] so assuming or just (a) λ = µ + (b) µ ℵ0 = µ (c) S {δ < λ : cf(δ) = ℵ 0 } is stationary not reflecting (a) λ = cf(λ) (b) α < λ α ℵ0 < λ (c) as above. However, eventually we get more: if λ = λ ℵ0 = cf(λ) and S S λ ℵ 0 is stationary non-reflective then we have λ-incompactness for ℵ 0 -chromatic. In fact, we replace ℵ 0 by κ = cf(κ) < λ using a suitable hypothesis. Moreover, if λ κ > λ we still get (λ κ,λ)-incompactness for κ-chromatic number. In 2 we use quite free family of countable sequences. In subsequent work we shall solve also the parallel of the second question of Magidor, i.e. ( ) 2 for regular κ ℵ 0 and n < ω there is a graph G of chromatic number > κ but every sub-graph with < ℵ κ n+1 nodes has chromatic number κ. In fact, considerably is proved, see [Sh:F1240]. We thank Menachem Magidor for asking, Peter Komjath for stimulating discussion and Paul Larson, Shimoni Garti and the referee for some comments. 0(B). Preliminaries. Definition 0.1. For a graph G, let ch(g), the chromatic number of G be the minimal cardinal χ such that there is colouring c of G with χ colours, that is c is a function from the set of nodes of G into χ or just a set of of cardinality χ such that c(x) = c(y) {x,y} / edge(g). {Preliminaries} {y3}

4 SAHARON SHELAH {y8} {y6} {y11} {y13} {y6} Definition 0.2. 1) We say we have λ-incompactness for the (< χ)-chromatic number or INC chr (λ,< χ) when: there is a graph G with λ nodes, chromatic number χ but every subgraph with < λ nodes has chromatic number < χ. 2) If χ = µ + we may replace < χ by µ; similarly in 0.3. {y8} We also consider Definition 0.3. 1) We say we have (µ, λ)-incompactness for (< χ)-chromatic number or INC chr (µ,λ,< χ) when there is an increasing continuous sequence G i : i λ of graphs each with µ nodes, G i an induced subgraph of G λ with ch(g λ ) χ but i < λ ch(g i ) < χ. 2) Replacing (in part (1)) χ by χ = (< χ 0,χ 1 ) means ch(g λ )) χ 1 and i < λ ch(g i ) < χ 0 ; similarly in 0.2 and parts 3),4) below. 3) We say we have incompactness for length λ for (< χ)-chromatic(or χ-chromatic) number when we fail to have(µ, λ)-compactness for(< χ)-chromatic(or χ-chromatic) number for some µ. 4)Wesaywehave[µ,λ]-incompactnessfor(< χ)-chromaticnumberorinc chr [µ,λ,< χ] when there is a graph G with µ nodes, ch(g) χ but G 1 G G 1 < λ ch(g 1 ) < χ. 5) Let INC + chr (µ,λ,< χ) be as in part (1) but we add that even the cl(g i), the colouring number of G i is < χ for i < λ, see below. 6) Let INC + chr [µ,λ,< χ] be as in part (4) but we add G1 G G 1 < λ cl(g 1 ) < χ. 7) If χ = κ + we may write κ instead of < χ. Definition 0.4. 1) For regular λ > κ let S λ κ = {δ < λ : cf(δ) = κ}. 2) We say C is a ( θ)-closed subset of a set B of ordinals when: if δ = sup(δ B) B,cf(δ) θ and δ = sup(c δ) then δ C. Definition 0.5. For a graph G, the colouring number cl(g) is the minimal κ such that there is a list a α : α < α( ) of the nodes of G such that α < α( ) κ > {β < α : {a β,a α } edge(g)}.

ON INCOMPACTNESS FOR CHROMATIC NUMBER OF GRAPHS SH1006 5 1. From non-reflecting stationary in cofinality ℵ 0 {From} {a3} Claim 1.1. There is a graph G with λ nodes and chromatic number > κ but every subgraph with < λ nodes have chromatic number κ when: (a) λ, κ are regular cardinals (b) κ < λ = λ κ (c) S S λ κ is stationary, not reflecting. Proof. Stage A: Let X = Xi : i < λ be a partition of λ to sets such that X i = λ or just X i = i+2 κ and min(x i ) i and let X <i = {X j : j < i} and X i = X <(i+1). For α < λ let i(α) be the unique ordinal i < λ such that α X i. We choose the set of points = nodes of G as Y = {(α,β) : α < β < λ,i(β) S and α < i(β)} and let Y <i = {(α,β) Y : i(β) < i}. Stage B: Note that if λ = κ +, the complete graph with λ nodes is an example (no use of the further information in ). So without loss of generality λ > κ +. Now choose a sequence satisfying the following properties, exists by[sh:g, Ch.III]: (a) C = Cδ : δ S (b) C δ δ = sup(c δ ) (c) otp(c δ ) = κ such that ( β C δ )(β +1,β +2 / C δ ) (d) C guesses 1 clubs. Let α δ,ε : ε < κ list C δ in increasing order. For δ S let Γ δ be the set of sequence β such that: β (a) β has the form βε : ε < κ (b) β is increasing with limit δ (c) α δ,ε < β 2ε+i < α δ,ε+1 for i < 2,ε < κ (d) β 2ε+i X <α δ,ε+1 \X α δ,ε for i < 2,ε < κ (e) (β 2ε,β 2ε+1 ) Y hence Y <α δ,ε+1 Y <δ for each ε < κ (can ask less). So Γ δ δ κ X δ λ hence we can choose a sequence β γ : γ X δ X δ listing Γ δ. Now we define the set of edges of G: edge(g) = {{(α 1,α 2 ),(min(c δ ),γ)} : δ S,γ X δ hence the sequence β γ = β γ,ε : ε < κ is well defined and we demand (α 1,α 2 ) {(β γ,2ε,β γ,2ε+1 ) : ε < κ}}. Stage C: Every subgraph of G of cardinality < λ has chromatic number κ. For this we shall prove that: 1 ch(g Y <i ) κ for every i < λ. This suffice as λ is regular, hence every subgraph with < λ nodes is included in Y <i for some i < λ. For this we shall prove more by induction on j < λ: 1 the guessing clubs are used only in Stage D.

6 SAHARON SHELAH 2,j if i < j,i / S,c 1 a colouring of G Y <i,rang(c 1 ) κ and u [κ] κ then thereisacolouringc 2 ofg Y <j extendingc 1 suchthatrang(c 2 (Y <j \Y <i )) u. Case 1: j = 0 Trivial. Case 2: j successor, j 1 / S Let i be such that j = i+1, but then every node from Y j \Y i is an isolated node in G Y <j, because if {(α,β),(α,β )} is an edge of G Y j then i(β),i(β ) S hence necessarily i(β) j 1 = i,i(β ) j 1 = i hence both (α,β),(α,β ) are from Y i. Case 3: j successor, j 1 S Let j 1 be called δ so δ S. But i / S by the assumption in 2,j hence i < δ. Let ε( ) < κ be such that α δ,ε( ) > i. Let u ε : ε κ be a sequence of subsets of u, a partition of u to sets each of cardinality κ; actually the only disjointness used is that u κ ( u ε ) =. We let i 0 = i,i 1+ε = {α δ,ε( )+1+ζ + 1 : ζ < 1 + ε} for ε < κ,i κ = δ and i κ+1 = δ +1 = j. Note that: ε < κ i ε / S j. ε<κ [Why? For ε = 0 by the assumption on i, for ε successor i ε is a successor ordinal and for i limit clearly cf(i ε ) = cf(ε) < κ and S S λ κ.] We now choose c 2,ζ by induction on ζ κ+1 such that: c 2,0 = c 1 c 2,ζ is a colouring of G Y <iζ c 2,ζ is increasing with ζ Rang(c 2,ζ (Y <iξ+1 \Y <iξ )) u ξ for every ξ < ζ. For ζ = 0,c 2,0 is c 1 so is given. For ζ = ε+1 < κ: use the induction hypothesis, possible as necessarily i ε / S. For ζ κ limit: take union. For ζ = κ+1, note that each node b of Y <iζ \Y <iκ is not connected to any other such node and if the node b is connected to a node from Y <iκ then the node b necessarily has the form (min(c δ ),γ),γ X δ, hence β γ is well defined, so the node b = (min(c δ ),γ) is connected in G, more exactly in G Y δ exactly to the κ nodes {(β γ,2ε,β γ,2ε+1 ) : ε < κ}, but for every ε < κ large enough, c 2,κ ((β γ,2ε,β γ,2ε+1 )) u ε hence / u κ and u κ = κ so we can choose a colour. Case 4: j limit By the assumption of the claim there is a club e of j disjoint to S and without loss of generality min(e) = i. Now choose c 2,ξ a colouring of Y <ξ by induction on ξ e {j}, increasing with ξ such that Rang(c 2,ξ (Y <ε \Y <i )) u and c 2,0 = c 1 For ξ = min(e) = i the colouring c 2,ξ = c 2,i = c 1 is given,

ON INCOMPACTNESS FOR CHROMATIC NUMBER OF GRAPHS SH1006 7 for ξ successor in e, i.e. nacc(e)\{i}, use the induction hypothesis with ξ,max(e ξ) hereplayingtheroleofj,ithererecallingmax(e ξ) e,e S = for ξ = sup(e ξ) take union. Lastly, for ξ = j we are done. Stage D: ch(g) > κ. Why? Toward a contradiction, assume c is a colouring of G with set of colours κ. For each γ < λ let u γ = {c((α,β)) : γ < α < β < λ and (α,β) Y}. So u γ : γ < λ is -decreasing sequence of subsets of κ and κ < λ = cf(λ), hence for some γ( ) < λ and u κ we have γ (γ( ),λ) u γ = u. Hence E = {δ < λ : δ is a limit ordinal > γ( ) and ( α < δ)((i(α) < δ) and for every γ < δ and i u there are α < β from (γ,δ) such that (α,β) Y and c((α,β)) = i} is a club of λ. Now recall that C guesses clubs hence for some δ S we have C δ E, so for everyε < κwecanchooseβ 2ε < β 2ε+1 from(α δ,ε,α δ,ε+1 )suchthat(β 2ε,β 2ε+1 ) Y and ε u c((β 2ε,β 2ε+1 )) = ε. So β ε : ε < κ is well defined, increasing and belongs to Γ δ, hence β γ = β ε : ε < κ for some γ X δ, hence (α δ,0,γ) belongs to Y and is connected in the graph to (β 2ε,β 2ε+1 ) for ε < κ. Now if ε u then c((β 2ε,β 2ε+1 )) = ε hence c((α δ,0,γ)) ε for every ε u, so c((α δ,0,γ)) κ\u. But u = u α δ,0 and c((α δ,0,γ)) κ\u, so we get contradiction to the definition of u α δ,0. 1.1 Similarly Claim 1.2. There is an increasing continuous sequence G i : i λ of graphs each of cardinality λ κ such that ch(g λ ) > κ and i < λ implies ch(g i ) κ and even cl(g i ) κ when: (a) λ = cf(λ) (b) S {δ < λ : cf(δ) = κ} is stationary not reflecting. Proof. Like 1.1 but the X i are not necessarily λ or use 2.2. {a6} 1.2 {a3} {c3}

8 SAHARON SHELAH {Fromalmost} {c1} {c3} {y8} 2. From almost free Definition 2.1. Suppose η β κ Ord for every β < α( ) and u α( ), and α < β < α( ) η α η β. 1) We say {η α : α u} is free when there exists a function h : u κ such that {η α (ε) : ε [h(α),κ)} : α u is a sequence of pairwise disjoint sets. 2) We say {η α : α u} is weakly free when there exists a sequence u ε,ζ : ε,ζ < κ of subsets of u with union u, such that the function η α η α (ε) is a one-to-one function on u ε,ζ, for each ε,ζ < κ. Claim 2.2. 1) We have INC chr (µ,λ,κ) and even INC + chr (µ,λ,κ), see Definition 0.3(1),(5) when: (a) α( ) [µ,µ + ) and λ is regular µ and µ = µ κ (b) η = η α : α < α( ) (c) η α κ µ (d) u i : i λ is a -increasing continuous sequence of subsets of α( ) with u λ = α( ) (e) η u α is free iff α < λ iff η u α is weakly free. {y8} {c3} 2) We have INC chr [µ,λ,κ] and even INC + chr [µ,λ,κ], see Definition 0.3(4) when: 2 (a),(b),(c) as in from 2.2 (d) η is not free (e) η u is free when u [α( )] <λ. Proof. We concentrate on proving part (1) the chromatic number case; the proof of part (2) and of the colouring number are similar. For A κ Ord, we define τ A as the vocabulary {P η : η A} {F ε : ε < κ} where P η is a unary predicate, F ε a unary function (will be interpreted as possibly partial). Without loss of generality for each i < λ,u i is an initial segment of α( ) and let A = {η α : α < α( )} and let < A be the well ordering {(η α,η β ) : α < β < α( )} of A. We further let K A be the class of structures M such that (pedantically, K A depend also on the sequence η α : α < α( ) : Let K A 1 (a) M = ( M,F M ε,pm η ) ε<κ,η A (b) P M η : η A is a partition of M, so for a M let η a = η M a be the unique η A such that a PM η (c) if a l P M η l for l = 1,2 and F M ε (a 2) = a 1 then η 1 (ε) = η 2 (ε) and η 1 < A η 2. be the class of M such that 2 (a) M K A (b) M = µ (c) if η A,u κ and η ε < A η,η ε (ε) = η(ε) and a ε P M η ε for ε u then for some a P M η we have ε u F M ε (a) = a ε and ε κ\u F M ε (a) not defined.

ON INCOMPACTNESS FOR CHROMATIC NUMBER OF GRAPHS SH1006 9 Clearly 3 there is M K A. [Why? As µ = µ κ and A = µ.] 4 for M K A let G M be the graph with: set of nodes M set of edges {{a,f M ε (a)} : a M,ε < κ when FM ε (a) is defined}. Now 5 if u α( ), A u = {η α : α u} A and η u is free, and M K A then G M,Au := G M ( {P M η : η A u }) has chromatic number κ; moreover has colouring number κ. [Why? Let h : u κ witness that η u is free and for ε < κ let B ε := {η α : α u and h(α) = ε}, so B = {B ε : ε < κ}, hence it is enough to prove for each ε < κ that G µ,bε has chromatic number κ. To prove this, by induction on α α( ) we choose c ε α such that: 5.1 (a) c ε α is a function (b) c β : β α is increasing continuous (c) Dom(c ε α) = B ε α := {P M η β : β < α and η β B ε } (d) Rang(c ε α) κ (e) if a,b, Dom(c α ) and {a,b} edge(g M ) then c α (a) c α (b). Clearly this suffices. Why is this possible? If α = 0 let c ε α be empty, if α is a limit ordinal let cε α = {cε β : β < α} and if α = β +1 α(β) ε let c α = c β. Lastly, if α = β +1 h(β) = ε we define c ε α as follows for a Dom(cε α ),cε α (a) is: Case 1: a B ε β. Then c ε α(a) = c ε β (a). Case 2: a B ε α\b ε β. Then c ε α(a) = min(κ\{c ε β (FM ζ (a)) : ζ < ε and FM ζ (a) Dom(cε β )}). This is well defined as: 5.2 (a) Bα ε = Bβ ε PM η β (b) if a Bβ ε then cε β (a) is well defined (so case 1 is O.K.) (c) if {a,b} edge(g M ),a Pη M β and b Bα ε then b Bβ ε and b {Fζ M (a) : ζ < ε} (d) c ε α (a) is well defined in Case 2, too (e) c ε α is a function from Bε α to κ (f) c ε α is a colouring.

10 SAHARON SHELAH {c6} {c3} {c12} {c3} [Why? Clause (a) by 5.1 (c), clause (b) by the induction hypothesis and clause (c) by 1 (c)+ 4. Next, clause (d) holds as {c ε β (FM ζ (a)) : ζ < ε and FM ζ (a) Bε β = Dom(c ε β )} is a set of cardinality ε < κ. Clause (e) holds by the choices of the c ε α (a) s. Lastly, to check that clause (f) holds assume {a,b} is an edge of G M Bα ε, without loss of generality for some ζ < κ we have b = Fζ M(a), hence ηm a < A ηb M. If a,b Bβ ε use the induction hypothesis. Otherwise, ζ < ε by the definition of h witnesses η u is free and the choice of Bα ε in 5.1(c). Now use the choice of c ε α (a) in Case 2 above.] So indeed 5 holds.] 6 chr(g M ) > κ if M K A. Why? Toward contradiction assume c : G M κ is a colouring. For each η A and ε < κ let Λ η,ε = {ν : ν A,ν < A η,ν(ε) = η(ε) and for some a P M ν we have c(a) = ε}. Let B ε = {η A : Λ η,ε < κ}. Now if A {B ε : ε < κ} then pick any η A\ {B ε : ε < κ} and by induction on ε < κ choose ν ε Λ η,ε \{ν ζ : ζ < ε}, possible as η / B ε by the definition of B ε. By the definition of Λ η,ε there is a ε P M ν ε such that c(ν ε ) = ε. So as M K A there is a PM η such that ε < κ F M ε (a) = a ε, but {a,a ε } edge(g M ) hence c(a) c(a ε ) = ε for every ε < κ, contradiction. So A = {B ε : ε < κ}. For each ε < κ we choose ζ η < κ for η B ε by induction on < A such that ζ η / {ζ ν : ν Λ η,ε B ε }. Let B ε,ζ = {η B ε : ζ η = ζ} for ε,ζ < κ so A = {B ε,ζ : ε,ζ < κ} and clearly η η(ε) is a one-to-one function with domain B ε,ζ, contradiction to η = η u λ is not weakly free. 2.2 Observation 2.3. 1) If A κ µ and η ν A ( ε < κ)(η(ε) ν(ε)) then A is free iff A is weakly free. 2) The assumptions of 2.2(2) hold when: µ λ > κ are regular, S S κ µ stationary, η = η δ : δ S,η δ an increasing sequence of ordinals of length κ with limit δ such that u [λ] <λ Rang(η δ ) : η u has a one-to-one choice function. Conclusion 2.4. Assume that for every graph G, if H G H < λ chr(h) κ then chr(g) κ. Then: (A) if µ > κ = cf(µ) and µ λ then pp(µ) = µ + (B) if µ > cf(µ) κ and µ λ then pp(µ) = µ +, i.e. the strong hypothesis (C) if κ = ℵ 0 then above λ the SCH holds. Proof. Clause (A): By 2.2 and [Sh:g, Ch.II], [Sh:g, Ch.IX, 1]. Clause (B): Follows from (A) by [Sh:g, Ch.VIII, 1]. Clause (C): Follows from (B) by [Sh:g, Ch.IX, 1]. 2.4

ON INCOMPACTNESS FOR CHROMATIC NUMBER OF GRAPHS SH1006 11 References [EH74] Paul Erdős and Andras Hajnal, Solved and Unsolved Problems in set theory, Proc. of the Symp. in honor of Tarksi s seventieth birthday in Berkeley 1971 (Leon Henkin, ed.), Proc. Symp in Pure Math., vol. XXV, 1974, pp. 269 287. [Sh:g] Saharon Shelah, Cardinal Arithmetic, Oxford Logic Guides, vol. 29, Oxford University Press, 1994. [Sh:309], Black Boxes,, 0812.0656. 0812.0656. arxiv:0812.0656. [Sh:347], Incompactness for chromatic numbers of graphs, A tribute to Paul Erdős, Cambridge Univ. Press, Cambridge, 1990, pp. 361 371. [Sh:F1240], More on compactness of chromatic numbers. Einstein Institute of Mathematics, Edmond J. Safra Campus, Givat Ram, The Hebrew University of Jerusalem, Jerusalem, 91904, Israel, and, Department of Mathematics, Hill Center - Busch Campus, Rutgers, The State University of New Jersey, 110 Frelinghuysen Road, Piscataway, NJ 08854-8019 USA E-mail address: shelah@math.huji.ac.il URL: http://shelah.logic.at