SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE

Size: px
Start display at page:

Download "SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE"

Transcription

1 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE IOANNA M. DIMITRIOU Abstract. With the help of sets of good indiscernibles above a certain height, we show that Chang conjectures involving four, finitely many, or an ω-sequence of cardinals have a much lower consistency strength with ZF than they do with ZFC. We will prove equiconsistency results for any finitely long Chang conjecture that starts with the successor of a regular cardinal. In particular, any Chang conjecture of the form (κ n,..., κ 0 ) (λ n,..., λ 0 ), where κ n is the successor of a regular cardinal, in a model of ZF, is equiconsistent to the existence of (n 1)-many Erdős cardinals in a model of ZFC. For ω-long Chang conjectures we will see that ZF+ κ n = λ n + κ n > λ n for at least one n ω + (..., κ n,..., κ 0 ) (..., λ n,..., λ 0 ), is equiconsistent to the theory ZFC+ a measurable cardinal exists. We will use symmetric forcing to create models of ZF from models of ZFC and the Dodd-Jensen core model for the other way around. All theorems in this paper are theorems of ZFC, unless otherwise stated. Since Rowbottom s PhD thesis in 1964, where he connects large cardinal properties with model theoretic transfer properties, there has been extensive research on the connection between these two fields of mathematical logic. The property that lies in the centre of these investigations is that of good indiscernibility. Definition 0.1. For a structure A = A,..., where A is a set of ordinals, a set I A is called a set of indiscernibles if for every n ω, every n-ary formula φ in the language for A, and every α 1,..., α n, α 1,..., α n in I, if α 1 < < α n and α 1 < < α n then A = φ(α 1,..., α n ) iff A = φ(α 1,..., α n). The set I is called a set of good indiscernibles iff it is as above and moreover we allow parameters that lie below min{α 1,..., α n, α 1,..., α n}, i.e., if moreover for every x 1,..., x m A such that x 1,..., x m min{α 1,..., α n, α 1,..., α n}, and every (n + m)-ary formula φ, A = φ(x 1,..., x m, α 1,..., α n ) iff A = φ(x 1,..., x m, α 1,..., α n). The existence of sets of good indiscernibles for first order structures ensures Chang conjectures. Definition 0.2. For infinite cardinals κ 0 < κ 1 < < κ n and λ 0 < λ 1 < < λ n, a Chang conjecture is the statement (κ n,..., κ 0 ) (λ n,..., λ 0 ), This paper is a revised part of the third chapter in my PhD thesis [Dim11]. My PhD project with Peter Koepke was partially supported by DFG-NWO collaboration grant KO /1, DN between the University of Amsterdam and the University of Bonn. I am grateful to Peter Koepke for the long discussions and his guidance, especially on the core model arguments. 1

2 2 IOANNA M. DIMITRIOU which we define to mean that for every first order structure A = κ n,... with a countable language there is an elementary substructure B A of cardinality λ n such that for every i n, B κ i = λ i. Since the structures we will consider will always be wellorderable, we will implicitly assume that the have complete sets of Skolem functions. Thus we will always be able to take Skolem hulls, even when the axiom of choice (AC) is not available. According to Vaught [Vau63], the model theoretic relation (ω 2, ω 1 ) (ω 1, ω) was first considered by Chang, and it is referred to as the original Chang conjecture. Under AC there has been extensive research in the connection between Chang conjectures and Erdős cardinals. Definition 0.3. For ordinals α, β, γ, the partition relation β (α) <ω γ means that for any partition f : [β] <ω γ of the set of finite subsets of β into γ many sets, there exists an X [β] α, i.e., a subset of β with ordertype α, that is homogeneous for f [β] n for each n ω, i.e., for every n ω, f [X] n = 1. For an infinite ordinal α, the α-erdős cardinal κ(α) is the least κ such that κ (α) <ω When there is an infinite ordinal α such that κ = κ(α) we may call κ an Erdős cardinal. As we see in [LMS90, 1.8(1)], Silver proved in unpublished work that if the ω 1 - Erdős cardinal exists then we can force the original Chang conjecture to be true. Kunen in [Kun78] showed that for every n ω, n 1, the consistency of the Chang conjecture (ω n+2, ω n+1 ) (ω n+1, ω n ) follows from the consistency of the existence of a huge 1 cardinal. Donder, Jensen, and Koppelberg in [DJK79] showed that if the original Chang conjecture is true, then the ω 1 -Erdős cardinal exists in an inner model. According to [LMS90], the same proof shows that for any infinite cardinals κ, λ, the Chang conjecture (κ +, κ) (λ +, λ) implies that there is an inner model in which the µ-erdős cardinal exists, where µ = (λ + ) V. According to the same source, for many other regular cardinals κ, a Chang conjecture of the form (κ +, κ) (ω 1, ω) is equiconsistent with the existence of the ω 1 -Erdős cardinal [LMS90, 1.10]. Chang conjectures involving higher successors on the right hand side have consistency strength stronger than an Erdős cardinal. Donder and Koepke showed in [DK83] that for κ ω 1, (κ ++, κ + ) (κ +, κ), then 0 exists, which implies that there is an inner model with a measurable cardinal. A year later Levinski published [Lev84] in which the existence of 0 is derived from each of the following Chang conjectures: for any infinite κ and any λ ω 1, the Chang conjecture (κ +, κ) (λ +, λ) for any natural number m > 1 and any infinite κ, λ the Chang conjecture (κ +m, κ) (λ +m, λ), and 1 The definition of a huge cardinal can be found in [Kan03, page 331].

3 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE 3 for any singular cardinal κ, the Chang conjecture (κ +, κ) (ω 1, ω). In 1988, Koepke improved on some of these results by deriving the existence of inner models with sequences of measurable cardinals [Koe88] from Chang conjectures of the form (κ ++, κ + ) (κ +, κ) for κ ω 1. Since then, much stronger large cardinal lower bounds have been found for Chang conjectures of this form under AC. Schindler showed in [Sch97] that an inner model with a strong cardinal 2 exists, if one assumes the Chang conjecture (ω n+2, ω n+1 ) (ω n+1, ω n ) plus 2 ωn 1 = ω n, for any 1 < n < ω, and Cox in [Cox11] got an inner model with a weak repeat measure 3 from the Chang conjecture (ω 3, ω 2 ) (ω 2, ω 1 ). Finally, under the axiom of choice we may also get inconsistency from certain Chang conjectures. As we see in [LMS90, 1.6], finite gaps cannot be increased, e.g., is inconsistent. (ω 5, ω 4 ) (ω 3, ω 1 ) If we remove AC from our assumptions this picture changes drastically. In this paper we will get successors of regular cardinals with Erdős-like properties using symmetric forcing, thereby all sorts of Chang conjectures will become accessible. The connection between Erdős cardinals and Chang conjectures lies in the existence of sets of good indiscernibles. Koepke, strengthening a result of Silver ([Kan03, Theorem 9.3]), proved in [AK08, Proposition 8] that for limit ordinals α, κ (α) <ω 2 is equivalent to the existence of a set X [κ] α of good indiscernibles for any first order structure M = M,... with a countable language and M κ. This result has been used in connection with core model arguments, and there the ordertype of the set of good indiscernibles is important. For our proofs here it is helpful to also specify at which height does the set of good indiscernibles lie. Definition 0.4. For a cardinal κ an ordinal α κ and an ordinal θ < κ we define the partition property κ θ (α) <ω 2 to mean that for every first order structure A = κ,... with a countable language, there is a set I [κ\θ] α of good indiscernibles for A. We call such a κ an Erdős-like cardinal with respect to θ, α, or just an Erdős-like cardinal, if there are such θ, α. We used this notation and called these cardinals Erdős-like, due to the strong connection between Erdős and Erdős-like cardinals. Lemma 0.5 (ZF). Let κ, θ be infinite cardinals such that κ > θ and let α κ be a limit ordinal. The following are equivalent: (a) κ θ (α) <ω 2 (b) For any partition f : [κ] <ω 2 there is a homogeneous set I [κ \ θ] α. Consequently, κ θ (α) <ω 2 implies that the Erdős cardinal κ(α) exists. Moreover, the existence of κ(α) implies that for every θ < κ(α), κ(α) θ (α) <ω Proof. Assume (a) and let f : [κ] <ω 2 be arbitrary. Consider the structure A = κ, f [κ] n n ω, where each f [κ] n is considered as a relation. Clearly, any set I [κ \ θ] α of good indiscernibles for A is also a homogeneous set for f, so (b) holds. Now assume that (b) holds and let A = κ,... be an arbitrary first order structure with a countable language. Using the same proof as [AK08, Proposition 8] we get a set of good indiscernibles X [κ \ θ] α for A. Therefore (a) holds. 2 For a definition of a strong cardinal see e.g. [Kan03, Page 358]. 3 A definition of a weak repeat measure can be found in [Cox11, Definition 11] and in [Git95].

4 4 IOANNA M. DIMITRIOU Now assume that the α-erdős cardinal κ(α) =: µ exists. Let θ < µ be arbitrary and let g : [θ ] <ω 2 be a partition without any homogeneous sets. Let A = κ,... be an arbitrary first order structure with a countable language and consider the structure Ā := A θ, g [θ ] n n ω, where θ and each g [θ ] n are considered as relations. By [AK08, Proposition 8] there is a set I [µ] α of good indiscernibles for Ā. There must be at least one x I \θ otherwise I would be a homogeneous set for g. By indiscernibility, every element of I is above θ. Therefore µ θ (α) <ω qed The existence of an Erdős-like cardinal implies all sorts of four cardinal Chang conjectures. Lemma 0.6 (ZF). If κ θ, λ are cardinals such that κ θ and κ θ (λ) <ω 2 then for all infinite ρ λ θ, the Chang conjecture (κ, θ) (λ, ρ) holds. Proof. Let A = κ,... be an arbitrary first order structure with a countable language. Since κ is Erdős-like with respect to θ, λ, there is a set I [κ \ θ] λ of good indiscernibles for A. Let ρ λ θ be arbitrary and let Hull(I ρ) be the A-Skolem hull of I ρ. By [Hod97, 1.2.3] we have that Hull(I ρ) I ρ + L = λ. But λ = I ρ Hull(I ρ), thus Hull(I ρ) has cardinality λ. Because all the indiscernibles lie above θ and because they are good indiscernibles, they are indiscernibles with respect to parameters below θ. So ρ Hull(I ρ) θ ω ρ = ρ. So the elementary substructure Hull(I ρ) A is as we wanted and (κ, θ) (λ, ρ) holds. qed At this point we should note that Chang conjectures do not imply that some cardinal is Erdős (or Erdős-like), and therefore justify our consistency strength investigation. For this we ll need that Chang conjectures are preserved under c.c.c.- forcing. This is a well known fact but we could not find a reference for it, so we attach a proof here. We assume basic knowledge of forcing as presented, e.g., in [Kun80] or [Jec03, Chapter 14]. Proposition 0.7. Let V be a model of ZFC in which for the cardinals κ, θ, λ, ρ, the Chang conjecture (κ, λ) (λ, ρ) holds. Assume also that P is a c.c.c.-forcing. If G is a P -generic filter, then (κ, λ) (λ, ρ) holds in V [G] as well. Proof. Let A = κ, f i, R j, c k i,j,k ω V [G] be arbitrary. Since the language of A is countable, let { xφ n (x) ; n ω} enumerate the existential formulas of A s language in a way such that for every n ω, the arity ar(φ n ) = k n of φ n is less than n. For every n ω let g n be the Skolem function that corresponds to φ n, and let ġ n be a nice name for g n as a subset of κ kn. Since ġ n is a nice name, it is of the form ġ n := {{ˇx} A x ; x κ kn }. Where each A x is an antichain of P and since P has the c.c.c., each A x is countable. For each x κ kn, let A x := {p x,0, p x,1, p x,2,... }. In V define for each n ω a function g n : κ kn 1 ω κ as follows: { β if p{α1,...,α g n (α 1,..., α kn 1, l) := kn 1,β},l ġ n (ˇα 1,..., ˇα kn 1) = ˇβ 0 otherwise. In V consider the structure C := κ, g n n ω. Using the Chang conjecture in V take a Chang substructure B, g n n ω C. But then in V [G] we have that B := B, f i, R j, c k i,j,k ω A is the elementary substructure we were looking for. qed

5 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE 5 Lemma 0.8. Let κ, θ, λ, ρ be infinite cardinals in a model V of ZFC, such that κ λ, κ > θ, and λ θ ρ, and assume that (κ, θ) (λ, ρ). Then there is a generic extension where (κ, θ) (λ, ρ) holds and κ is not the λ-erdős. Proof. If κ is not the λ-erdős in V then we are done. So assume that κ = κ(λ) in V. Let µ κ and consider the partial order P := {p : µ ω 2 ; p < ω}, where denotes a partial function. This partial order adds µ many Cohen reals and has the c.c.c. so all cardinals are preserved by this forcing. By Proposition 0.7, the Chang conjecture is preserved as well. Now let G be a P -generic filter. We have that (2 ω ) V [G] µ > κ. We will show that in V [G], κ (ω 1 ) 2 2 so κ is not ξ-erdős for any ξ ω 1. Let R denote the set of reals and let g : κ R be injective. Define F : [κ] 2 2 by { 1 if g(α) <R g(β) F ({α, β}) := 0 otherwise If there was an ω 1 -sized homogeneous set for F then R would have an ω 1 -long strictly monotonous < R -chain which is a contradiction. qed This connection between an Erdős-like cardinal and four cardinal Chang conjectures extends also to longer Chang conjectures. Lemma 0.9 (ZF). Assume that λ 0 < λ 1 < < λ n and κ 0 < κ 1 < < κ n are cardinals such that κ i κi 1 (λ i ) <ω Then the Chang conjecture (κ n,..., κ 0 ) (λ n,..., λ 0 ) holds. Proof. Let A = κ n,... be an arbitrary first order structure in a countable language, and let {f j ; j ω} be a complete set of Skolem functions for A. Since κ n κn 1 (λ n ) <ω 2 holds, let I n [κ n \ κ n 1 ] λn be a set of good indiscernibles for A. To take the next set of indiscernibles I n 1 we must make sure that it is, in a sense, compatible with I n. That is, the Skolem hull of I n I n 1 must not contain more than λ n 2 many elements below κ n To do this we will enrich the structure A with functions, e.g., f j (e 1, e 2, x 1, x 2 ), for some f j with arity ar(f j ) = 4 and some e 1, e 2 I n. Since f j takes ordered tuples as arguments we must consider separately the cases f j (e 1, x 1, e 2, x 2 ), f j (e 1, x 1, x 2, e 2 ), etc.. Formally, let Īn := {e 1, e 2,... } be the first ω-many elements of I n. For every s < ω let {g s,t ; t < s!} be an enumeration of all the permutations of s, and for every t s! let h s,t (x 1,..., x s ) := (x gs,t(1),..., x gs,t (s)). For every j < ω, every k < ar(f j ), and every l ar(f j )! define a function f j;k;l : ar(f j) κ n κ n by f j;k;l (x 1,..., x ar(fj) k) := f j (h ar(fj),l(x 1,..., x ar(fj) k, e 1,..., e k )). Consider the structure A n 1 := A f i;c;t j<ω,k<ar(fj),l<ar(f j)!. Since κ n 1 κn 2 (λ n 1 ) <ω 2, let I n 1 [κ n 1 \ κ n 2 ] λn 1 be a set of good indiscernibles for A n 1. Claim 1. For any infinite set Z κ n 2 of size λ n 2, Hull A (I n I n 1 Z) κ n 2 = λ n

6 6 IOANNA M. DIMITRIOU Proof of Claim. Let Īn 1 := {e 1, e 2,... } be the first ω-many elements of I n 1. The domain of the A-Skolem Hull Hull A (I n I n 1 Z) is the set X := {f j (α 1,..., α ar(fj)) ; j < ω and α 1,..., α ar(fj) I n I n 1 Z}. If for some x = f j (α 1,..., α ar(fj)) X κ n 2 there are elements of I n among α 1,..., α ar(fj) then since I n is a set of indiscernibles for A and α 1,..., α ar(fj) are finitely many, we can find α 1,..., α ar(f j) Īn I n 1 Z such that x = f j (α 1,..., α ar(fj)) = f j (α 1,..., α ar(f j) ). We rewrite the tuple (α 1,..., α ar(f j) ) so that the elements of Īn (if any) appear in ascending order at the end: {α 1,..., α n} = {β 1,..., β ar(fj) k, e 1,..., e k }. Let (β 1,..., β ar(fj) k, e 1,..., e k ) be a permutation of (α 1,..., α ar(f j) ), so for some l < ar(f j )!, But then Therefore, (α 1,..., α ar(f j) ) = h ar(f j),l(β 1,..., β ar(fj) k, e 1,..., e k ). x = f j (α 1,..., α ar(f j) ) = f j (h ar(fj),l(β 1,..., β ar(fj) k, e 1,..., e k ) = f j,k,l (β 1,..., β ar(fj) k). X κ n 2 = {f j,k,l (β 1,..., β ar(fj) k) <κ n 2 ; j < ω, k < ar(f j ), l ar(f j )!, and β 1,..., β ar(fj) k I n 1 Z}. But I n 1 is a set of good indiscernibles for A n 1, i.e., it is a set of indiscernibles for formulas with parameters below min I n 1 > κ n 2, therefore a set of indiscernibles for formulas with parameters from Z as well. Thus in the equation above we may replace I n 1 with Īn 1. It s easy to see then that the set X κ n 2 has size λ n qed claim Continuing like this we get for each i = 1,..., n a set I i [κ i \ κ i 1 ] λi of good indiscernibles for A with the property that for every infinite Z κ i 1, of size λ i 1, Hull A (I n I i Z) κ i 1 = λ i 1. So let I := i=1,...,n I i and take B := Hull A (I λ 0 ). By [Hod97, 1.2.3], we have that λ n = I λ 0 Hull A (I λ 0 ) I ρ + ω = λ n. Because for each i = 1,..., n we have that I i [κ i \ κ i 1 ] λi defined the I i, we have that and by the way we Hull(I λ 0 ) κ i = λ i. So the substructure Hull(I λ 0 ) A is such as we wanted for our Chang conjecture to hold. qed

7 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE Countable coherent sequences of sets of good indiscernibles. In the proof of Lemma 0.9 we had to construct our sets of good indiscernibles in a way that they are compatible. When we have countably many such sets and the axiom of choice is not available, we need that these sets of good indiscernibles are, in a way, coherent. Definition Let κ i ; i < ω and λ i ; 0 < i < ω be strictly increasing sequences of cardinals, let κ := i<ω κ i, and let A = κ,... be a first order structure with a countable language. A λ i ; 0 < i < ω -coherent sequence of good indiscernibles for A with respect to κ i ; i < ω is a sequence A i ; 0 < i < ω such that (1) for every 0 < i < ω, A i [κ i \ κ i 1 ] λi, and (2) if x, y [κ] <ω are such that x = {x 1,..., x n }, y = {y 1,..., y n }, x, y 0<i<ω A i, and for every 0 < i < ω x A i = y A i then for every (n + l)-ary formula φ in the language of A and every z 1,..., z l < min{x 1,..., x n, y 1,..., y n }, A = φ(z 1,..., z l, x 1,..., x n ) A = φ(z 1,..., z l, y 1,..., y n ). We say that the sequence κ i ; i < ω is a coherent sequence of the Erdős-like cardinals κ i+1 κi (λ i+1 ) <ω 2 iff for every structure A = κ,... with a countable language, there is a λ i ; 0 < i < ω -coherent sequence of good indiscernibles for A with respect to κ i ; i < ω. Similarly to coherent sequences of Erdős-like cardinals, we have coherent sequences of Erdős cardinals. Definition Let λ 1 < < λ i <... and κ 0 < < κ i <... be cardinals and let κ := i<ω κ i. We say that the sequence κ i ; i < ω is a coherent sequence of Erdős cardinals with respect to λ i ; 0 < i < ω if for every γ < κ 1 and every f : [κ] <ω γ there is a sequence A i ; 0 < i < ω such that (1) for every 0 < i < ω, A i [κ i \ κ i 1 ] λi, and (2) if x, y [κ] <ω are such that x, y i<ω A i and for every 0 < i < ω x A i = y A i then f(x) = f(y). Such a sequence A i ; 0 < i < ω is called a λ i ; 0 < i < ω -coherent sequence of homogeneous sets for f with respect to κ i ; i < ω. Note that the 0th element of a coherent sequence of Erdős cardinals need not be an Erdős cardinal, and indeed, none of the κ n need satisfy the minimality requirement of the usual Erdős cardinals. Coherent sequences of Ramsey cardinals are such sequences. In [AK06, Theorem 3] a coherent sequence of Ramsey cardinals in ZF is forced from a model of ZFC with one measurable cardinal. Similarly to Lemma 0.5 we get that coherent sequences of Erdős and Erdős-like cardinals are equivalent. Lemma 0.12 (ZF). Let λ 1 < < λ i <... and κ 0 < < κ i <... be infinite cardinals. The following are equivalent: (a) The sequence κ i ; i < ω is a coherent sequence of the Erdős-like cardinals κ i+1 κi (λ i+1 ) <ω (b) The sequence κ i ; i < ω is a coherent sequence of Erdős cardinals with respect to λ i ; 0 < i < ω. To show that when i ω κ i = i ω λ i, then such a coherent sequence of Erdős or Erdős-like cardinals in a model of ZF is equiconsistent with a measurable cardinal in a model of ZFC, we will use results that involve the infinitary Chang conjecture.

8 8 IOANNA M. DIMITRIOU Definition For cardinals κ 0 < < κ n <... and λ 0 < < λ n <..., with κ n λ n for all n, define the infinitary Chang conjecture (κ n ) n ω (λ n ) n ω to mean that for every first order structure A = n ω κ n, f i, R j, c k i,j,k ω there is an elementary substructure B A with domain B such that for all n ω, B κ n = λ n. Sometimes, when this uniform notation is not convenient, we will write the infinitary Chang conjecture as (..., κ n,..., κ 0 ) (..., λ n,..., λ 0 ). The infinitary Chang conjecture is connected to Jónsson cardinals. Definition A cardinal κ is called Jónsson if for every first order structure with domain κ and a countable language, there is a proper elementary substructure of cardinality κ. In [For10, 12 (4)] we read: Assuming that 2 ℵ0 < ℵ ω, Silver showed that the cardinal ℵ ω is Jónsson iff there is an infinite subsequence κ n ; n ω of the ℵ n s such that the infinitary Chang conjecture of the form (..., κ n, κ n 1,..., κ 1 ) (..., κ n 1, κ n 2,..., κ 0 ) holds. It is not known how to get such a sequence of length 4. Clearly, if κ = n ω κ n = n ω λ n and for some n ω κ n λ n, then (κ n ) n ω (λ n ) n ω implies that κ is a singular Jónsson cardinal of cofinality ω. We can get an infinitary Chang conjecture from a coherent sequence of Erdős-like cardinals as in Lemma 0.9, but without having to take care of the compatibility of the sets of indiscernibles, since here they are coherent. Lemma (ZF) Let κ n ; n < ω and λ n ; 0 < n < ω be increasing sequences of cardinals, and let κ = n<ω κ n. If κ i ; i < ω is a coherent sequence of cardinals with the property κ n+1 κn (λ n+1 ) <ω 2 then the Chang conjecture holds. (κ n ) n ω (λ n ) n ω 1. Forcing good sets of indiscernibles to lie between regular cardinals and their sucessors. Here we assume knowledge of symmetric forcing as presented in [Dim11, Sections 2 and 3 of Chapter 2]. This technique is used to produce models of ZF+ AC, called symmetric models, starting from a model of ZFC. In particular, we will use the generalised Jech model V (G) and its property of satisfying the approximation lemma, i.e., that all sets of ordinals in V (G) are included in some initial ZFC model. One may think of this symmetric model as being the closed under set theoretic operations union of generic extensions (the aforementioned initial ZFC models) that are made with the Lévy collapses E α := {p : η α ; p < η} for α < κ and η a fixed regular cardinal. This union does not contain a generic object for the entire Lévy collapse P := {p : η κ ; p < η}, so that κ becomes the sucessor of η in the symmetric model V (G).

9 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE Finitely many sets of good indiscernibles. First, let us take a look at the case of just one set of good indiscernibles being forced to lie between a regular cardinal θ and its successor θ +. One approach would be to take a cardinal κ with the property κ θ (α) <ω 2 and, using the generalised Jech model, symmetrically collapse κ to become θ +. But to use the theorems for this model and preserve the property κ θ (α) <ω 2, κ would have to satisfy certain large cardinal properties, e.g., inaccessibility. Erdős-like cardinals such as κ are far from inaccessible. In fact, for every κ κ, κ θ (α) <ω 2 holds. So we construct a model of ZF + AC by starting with an Erdős cardinal. This is not too bad since, by Lemma 0.5, Erdős cardinals and Erdős-like cardinals are mutually existent. First we will show that an Erdős cardinal is Erdős-like after small forcing. Lemma 1.1. If V is a model of ZFC+ κ = κ(α) exists for some limit ordinal α, if P is a partial order such that P < κ, and G is a generic filter, then in V [G], for any θ < κ the property κ θ (α) <ω 2 holds. Proof. Let A = κ,... V [G] be an arbitrary structure in a countable language and θ < κ be arbitrary. Let g : [θ] <ω 2 be a function in the ground model that has no homogeneous sets (in the ground model) of ordertype λ, and consider the structure Ā = A θ, g [θ] n n ω, where θ, and each g [θ] n is considered as a relation. Let {φ n ; n < ω} enumerate the formulas of the language of Ā so that each φ n has k(n) < n many free variables. Define f : [κ] <ω 2 by f(ξ 1,..., ξ n ) = 1 iff A = φ n (ξ 1,..., ξ k(n) ) and f(ξ 1,..., ξ n ) = 0 otherwise. We call this f the function that describes truth in A. Let f be a P-name for f. Since κ is inaccessible in V, P(P) < κ in V. In V define the function h : [κ] <ω P(P) by h(x) := {p P ; p f(ˇx) = 0}. By [Kan03, Proposition 7.15] let A [κ] λ be homogeneous for h. Note that since we have attached g to A, A κ \ θ. We will show that A is homogeneous for f in V [G], and therefore a set of good indiscernibles for A. Let n ω and x [A] n be arbitrary. If h(x) = then for all p P, p f(ˇx) = ˇ0. So for some p G E γ, p f(ˇx) = ˇ1 and so the colour of [A] n is 1. If h(x) and h(x) G then the colour of [A] n is 0. If h(x) and h(x) G = then assume for a contradiction that for some y [A] n, f(x) f(y). Without loss of generality say f(y) = 0. But then there is p G such that p f(ˇy) = ˇ0 so h(y) G = h(x) G, contradiction. So in V [G], κ θ (λ) <ω 2 holds. qed We can use this to get the following. Lemma 1.2. If V is a model of ZFC+ κ = κ(λ) exists, then for any regular cardinal η < κ, there is a symmetric model V (G) of ZF in which for every θ < κ, η + θ (λ) <ω 2 holds. Proof. Let η < κ be a regular cardinal, and construct the generalised Jech model V (G) (see [Dim11, Section 3 of Chapter 1] and the beginning of this section) that makes κ = η +. The approximation lemma holds in this model. Let θ < κ be arbitrary. Let A = κ,... be an arbitrary first order structure with a countable

10 10 IOANNA M. DIMITRIOU language and let A HS be a name for A with support E γ for some η < γ < κ. By the approximation lemma A V [G E γ ]. Note that E γ < κ therefore by Lemma 1.1, for every θ < κ the property κ θ (λ) <ω 2 holds in V (G). Therefore the structure A has a set of indiscernibles A [κ \ θ] λ and A V [G E γ ] V (G). qed By Corollary 0.6 we get the following. Corollary 1.3. If V is a model of ZFC with a cardinal κ that is the λ-erdős cardinal then for any η < κ regular cardinal there is a symmetric model V (G) in which for every θ < κ with θ η, and ρ λ θ (η +, θ) (λ, ρ) holds. Note that as with many of our forcing constructions here, this η could be any predefined regular ordinal of V. So we get an infinity of consistency strength results, some of them looking very strange for someone accustomed to the theory ZFC, such as the following. Corollary 1.4. If V = ZFC+ κ(ω 12 ) exists then there is a symmetric model V (G) = ZF + (ω 13, ω 12 ) (ω 12, ω 5 ). Or even stranger: Corollary 1.5. If V = ZFC+ κ(ω ω ) exists then there is a symmetric model V (G) = ZF + (ω ω+3, ω ω ) (ω ω, ω 2 ). To get Chang conjectures that involve more than four cardinals we will have to collapse the Erdős cardinals simultaneously. We will give an example in which the Chang conjecture (ω 4, ω 2, ω 1 ) (ω 3, ω 1, ω) is forced from a model of ZFC with two Erdős cardinals. Before we do that let us see a very useful proposition. Proposition 1.6. Assume that V = ZFC+ κ = κ(λ) exists, P is a partial order such that P < κ, and Q is a partial order that doesn t add subsets to κ. If G is P Q-generic then for every θ < κ, V [G] = κ θ (λ) <ω Proof. Let A = κ,... V [G] be an arbitrary structure with a countable language. By [Kun80, Chapter VII, Lemma 1.3], G = G 1 G 2 for some G 1 P-generic and some G 2 Q-generic. Since Q does not add subsets to κ, we have that A V [G 1 ]. By Lemma 1.1 we get that κ θ (λ) <ω 2 in V [G 1 ] V [G] and from that we get a set H [κ \ θ] λ of indiscernibles for A with respect to parameters below θ, and H V [G],. Therefore V [G] = κ θ (λ) <ω qed To get the desired Chang conjecture we will construct a symmetric model that can also be used to create a model of ZF with sucessive alternating measurable and non-measurable cardinals (see [Dim11, Section 4 of Chapter 1] for ρ = 2). Lemma 1.7. (ZFC) Assume that κ 1 = κ(ω 1 ), and κ 2 = κ(κ + 1 ) exist. Then there is a symmetric extension of V in which ZF + ω 4 ω2 (ω 3 ) <ω 2 + ω 2 ω1 (ω 1 ) <ω Consequently, (ω 4, ω 2, ω 1 ) (ω 3, ω 1, ω) holds in V as well.

11 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE 11 Proof. Let κ 1 = (κ + 1 )V and define P := {p : ω 1 κ 1 ; p < ω 1 } {p : κ 1 κ 2 ; p < κ 1}. Let G 1 be the full permutation group of κ 1 and G 2 the full permutation group of κ We define an automorphism group G of P by letting a G iff for some a 1 G 1 and a 2 G 2, a((p 1, p 2 )) := ({(ξ 1, a 1 (β 1 )) ; (ξ 1, β 1 ) p 1 }, {(ξ 2, a 2 (β 2 )) ; (ξ 2, β 2 ) p 2 }). Let I be the symmetry generator that is induced by the ordinals in the product of intervals (ω 1, κ 1 ) (κ 1, κ 2 ), i.e., where I := {E α,β ; α (ω 1, κ 1 ) and β (κ 1, κ 2 )}, E α,β := {(p 1 (ω 1 α), p 2 (κ 1 β)) ; (p 1, p 2 ) P}. This I is a projectable symmetry generator with projections (p 1, p 2 ) E α,β = (p 1 (ω 1 α), p 2 (κ 1 β)). Take the symmetric model V (G) = V (G) F I. It s easy to see that the approximation lemma holds for this model. This construction can be illustrated as below. In V In V (G) κ(κ + 1 ) = κ 2 ω 4 ω2 (ω 3 ) <ω 2 κ + ω 1 3 κ(ω 1 ) = κ 1 ω 2 ω1 (ω 1 ) <ω 2 ω 1 ω With the standard arguments we can show that in V (G) we have that κ 1 = ω 2 and κ 2 = ω 4. We want to show that moreover κ 2 κ1 (κ 1) <ω 2 and κ 1 ω1 (ω 1 ) <ω For the first partition property let A = κ 2,... be an arbitrary structure in a countable language and let A HS be a name for A with support E α,β. By the approximation lemma we have that A V [G E α,β ]. Since E α,β < κ 2, by Lemma 1.1 we have that V [G E α,β ] = κ 2 κ1 (κ 1) <ω 2 therefore there is a set A [κ 2 \ κ 1 ] κ 1 of indiscernibles for A with respect to parameters below κ1, and A V [G E α,β ] V (G). For the second partition property let B = κ 1,... be and arbitrary structure in a countable language and let B HS be a name for B with support E γ,δ. We have that E γ,δ = {p : ω 1 γ ; p < ω 1 } {p : κ 1 δ ; p < κ 1}, {p : ω 1 γ ; p < ω 1 } < κ 1, and {p : κ 1 δ ; p < κ 1} does not add subsets to κ 1. Therefore by Proposition 1.6 we get that V [G E γ,δ ] = κ 1 ω1 (ω 1 ) <ω 2 so there is a set B [κ 1 \ ω 1 ] ω1 of indiscernibles for B with respect to parameters below ω 1, and B V [G E γ,δ ] V (G). So in V (G) we have that ω 4 ω2 (ω 3 ) <ω 2 and ω 2 ω1 (ω 1 ) <ω 2 thus by Lemma 0.9 we have that in V (G) the Chang conjecture (ω 4, ω 2, ω 1 ) (ω 3, ω 1, ω) holds. qed

12 12 IOANNA M. DIMITRIOU Note that, the gap in these cardinals is necessary for this method to work. Collapsing further would destroy their partition properties. Keeping this in mind it is easy to see how to modify this proof to get any desired Chang conjecture (κ n,..., κ 0 ) (λ n,..., λ 0 ) with the κ i and the λ i being any predefined successor cardinals, as long as we mind the gaps Coherent sequences of sets of good indiscernibles. We can do the above for the infinitary version as well, using a finite support product forcing of such collapses, for a coherent sequence of Erdős cardinals κ n ; n ω with respect to κ + n ; n < ω, and with κ 0 = ω 1. In that case we will end up with a model of ZF + AC ω + (ω 2n+1 ) n<ω (ω 2n ) n<ω. Lemma 1.8. Let κ n ; n < ω and λ n ; 0 < n < ω be increasing sequences of cardinals such that κ n ; n < ω is a coherent sequence of Erdős cardinals with respect to λ n ; n < ω. If P is a partial order of cardinality < κ 1 and G is P- generic then in V [G], κ n ; n < ω is a coherent sequence of cardinals with the property κ n+1 κn (λ n+1 ) <ω Proof. Let κ = n ω and let A = κ,... V [G] be an arbitrary structure in a countable language. Let {φ n ; n < ω} enumerate the formulas of the language of A so that each φ n has k(n) < n many free variables. Define f : [κ] <ω 2 by f(ξ 1,..., ξ n ) = 1 iff A = φ n (ξ 1,..., ξ k(n) ) and f(ξ 1,..., ξ n ) = 0 otherwise. Let f be a P-name for f. In V define a function g : [κ] <ω P(P) by g(x) = {p P ; p f(ˇx) = ˇ0}. Since P < κ 1 and κ 1 is inaccessible in V, P(P) < κ 1. So there is a λ n ; 0 < n < ω -coherent sequence of homogeneous sets for g with respect to κ n ; n ω. The standard arguments show that this is a λ n ; 0 < n < ω -coherent sequence of homogeneous sets for f with respect to κ n ; n ω, therefore a λ n ; 0 < n < ω - coherent sequence of indiscernibles for A with respect to κ n ; n ω. qed The model used for this following proof is again the model of [Dim11, Section 4 of Chapter 1], this time for ρ = ω. Lemma 1.9. (ZFC) Let κ n ; n ω be a coherent sequence of Erdős cardinals with respect to λ n ; 0 < n ω, where κ 0 = ω 1. Then there is a symmetric model V (G) in which ω 2n ; n ω is a coherent sequence of cardinals with the property ω 2n+2 ω2n (ω 2n+1 ) <ω Consequently, in V (G) (..., ω 2n,..., ω 4, ω 2, ω 1 ) (..., ω 2n 1,..., ω 3, ω 1, ω) holds as well, and ℵ ω is a Jónsson cardinal. Proof. Let κ = 0<n<ω κ n, for every 0 < n < ω let κ n = κ + n, and let κ 0 = ω 1. For every 0 < n < ω let P n := {p : κ n 1 κ n ; p < κ n 1}, and take the finite support product of these forcings P := fin 0<n<ω P n.

13 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE 13 For each 0 < n < ω let G n be the full permutation group of κ n and define an automorphism group G of P by a G iff for every n ω there exists a n G n such that a( p n ; n ω ) := {(ξ, a n (β)) ; (ξ, β) p n } ; n ω. For every finite sequence of ordinals e = α 1,..., α m such that for every i = 1,..., m there is a distinct 0 < n i < ω such that α i (κ n i 1, κ ni ), define E e := { p ni (κ n i 1, α i ) ; α i e ; p ni ; i = 1,..., m P}, and take the symmetry generator I := {E e ; e fin 0<n<ω (κ n 1, κ n )}. This is a projectable symmetry generator with projections p j ; 0 < j < ω E e = p ni (κ n i 1, α i ) ; α i e. Take the symmetric model V (G) = V (G) F I. The approximation lemma holds for V (G). As usual we can show that in V (G), for each 0 < n < ω we have that κ n = κ + n 1, i.e., for every 0 < n < ω, κ n = ω 2n and κ n = ω 2n+1. It remains to show that κ i ; i ω is a coherent sequence of cardinals with the property κ n+1 κn (λ n+1 ) <ω Let A = κ,... be an arbitrary structure in a countable language and let the function f : [κ] <ω 2 describe the truth in A, as in the proofs of Lemma 1.1 and Lemma 1.8. Let f HS be a name for f with support E e. Let e = {α 1,..., α m } and for each i = 1,..., m let n i be such that α (κ n i 1, κ ni ). By the approximation lemma, f V [G E e ], i.e., f is forced via P = m i=1 {p : κ n i 1 κ ni ; p < κ n i 1}. α 1 α 2 α 3 κ l Let l := max{n i ; α i e}. We re in a situation as in the image above, which is an example for m = 3. Since P < κ l, by Lemma 1.8 there is a λ n ; l n < ω - coherent sequence of indiscernibles for A with respect to κ n ; l 1 n ω, i.e., a sequence A n ; l n < ω such that for every l n < ω, A n κ n \ κ n 1 is of ordertype λ n, and if x, y [κ] <ω are such that x = {x 1,..., x m }, y = {y 1,..., y m }, x, y l n<ω A n, and for every l n < ω, x A n = y A n, then for every m + k-ary formula φ in the language of A, and every z 1,..., z k less than min l n<ω A n, A = φ(z 1,..., z k, x 1,..., x m ) A = φ(z 1,..., z k, y 1,..., y m ) Now we will get sets of indiscernibles from the remaining cardinals κ 1,..., κ l 1 step by step, making them coherent as we go along. Before we get the rest of the A n, note that by Proposition 1.6 we have that for every 0 < n < l, V [G E e ] = κ n κn 1 (λ n ) <ω

14 14 IOANNA M. DIMITRIOU Let s see how to get A l 1. For every l n < ω, let Ān be the first ω-many elements of A n. There are only countably many x [κ] <ω such that x l n<ω Ān. For every i, j ω, and every x [κ] <ω such that x = {x 1,..., x m } l n<ω Ān and m < i, j, let Consider the structure f i,x (v 1,..., v i m ) :=f i (v 1,..., v i m, x 1,..., x m ), and R j,x (v 1,..., v j m ) :=R j (v 1,..., v j m, x 1,..., x m ). A := A f i,x, R j,x i,j<ω,x [κ] <ω,x={x 1,...,x m} l n<ω Ān,m<i,j. Since κ l 1 κ l 2 (λ l 1 ) <ω 2, there is a set A l 1 [κ l 1 \ κ l 2 ] λ l 1 of indiscernibles for A with respect to parameters below κ l By the way we defined A, the sequence A n ; l 1 n < ω is a λ n ; l 1 n < ω -coherent sequence of indiscernibles for A with respect to κ n ; l 2 n < ω. Continuing in this manner we get a sequence A n ; 0 < n < ω that is a λ n ; 0 < n < ω -coherent sequence of indiscernibles for A with respect to κ n ; n < ω, and such that A n ; 0 < n < ω V [G E e ] V (G). Therefore we have that in V (G), ω 2n ; n ω is a coherent sequence of cardinals with the property ω 2n+2 ω2n (ω 2n+1 ) <ω By Corollary 0.15 we have that in V (G) (..., ω 2n,..., ω 4, ω 2, ω 1 ) (..., ω 2n 1,..., ω 3, ω 1, ω) holds. Consequently, ℵ ω is a Jónsson cardinal. Note that in this model the axiom of choice fails badly. In particular, by [Dim11, Lemma 1.37] AC ω2 (P(ω 1 )) is false. As mentioned after the proof of that lemma, one can get the infinitary Chang conjecture plus the axiom of dependent choice with the construction in the proof of [AK06, Theorem 5]. With that we get the following. Lemma Let V 0 = ZFC+ there exists a measurable cardinal κ. Let n < ω be fixed but arbitrary. There is a generic extension V of V 0, a forcing notion P, and a symmetric model N such that N = ZF + DC + (ω n ) 0<n<ω (ω n ) n<ω + ℵ ω is Jónsson 2. Getting good sets of indiscernibles from Chang conjectures for successors of regular cardinals in ZF In this section we will work with the Dodd-Jensen core model K DJ to get strength from the principles we are looking at. We will start from a model of ZF with a Chang conjecture, and we will get an Erdős cardinal in K DJ. To be able to use the known theorems about K DJ, which involve AC, we will build K DJ inside HOD. We will then use the Chang conjecture to get a certain elementary substructure K HOD. With a clever manoeuvre, found in [AK06, Proposition 8], which says (K DJ ) HOD = (K DJ ) HOD[K ] we can get this structure into (K DJ ) HOD and use the core model s structured nature to get a set of good indiscernibles. We assume basic knowledge of this core model, as presented in [DJK79], [DJ81], and [DK83], or in the short collection of the relevant results from these papers found in [Dim11, Section 2 of Chapter 3]. We will start by looking at four cardinal Chang conjectures. Theorem 2.1. Assume ZF and let η be a regular cardinal. If for some infinite cardinals θ, λ, and ρ such that η + > θ, λ > ρ and cfλ > ω the Chang conjecture (η +, θ) (λ, ρ) holds, then κ(λ) exists in the Dodd-Jensen core model (K DJ ) HOD, and (K DJ ) HOD = (η + ) V (λ) <ω qed

15 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE 15 Proof. Let κ = (η + ) V and in K DJ let g : [κ] <ω 2 be arbitrary and consider the structure Kκ DJ,, D Kκ DJ, g, where D is a class 4 such that K DJ = L[D]. This is included in our structure in order to use the results in [DJ81] and [DJK79]. We want to find a set of indiscernibles for this structure in K DJ. Using our Chang conjecture in V we get an elementary substructure K = K,, D K, g K DJ κ,... such that K = λ and K θ = ρ. Since K is wellorderable it can be seen as a set of ordinals. We attach K to HOD, getting HOD[K ]. By [AK06, Proposition 8], (K DJ ) HOD = (K DJ ) HOD[K ]. V HOD K DJ HOD[K ] κ = (η + ) V λ K DJ κ K We are now, and for the rest of this proof, working in HOD[K ]. Let K,, A be the Mostowski collapse of K, with π : K K elementary embedding. We distinguish two cases. being an Case 1. If K = K DJ λ for some λ. Then the map π : K DJ λ KDJ κ is elementary. κ π(λ) K λ π(α) K DJ κ K DJ π K DJ K = K DJ λ α = critπ 4 For details see [DJ81, Definition 6.3].

16 16 IOANNA M. DIMITRIOU Since λ ω 1, by [DK83, Lemma 2.9], there is a non trivial elementary embedding of K DJ to K DJ with critical point α. By [DK83, 1.5] this means that there is an inner model with a measurable cardinal β, such that if α < ω 1 then β ω 1 and if α ω 1 then β < α +. Because α = critπ and K = λ, α < λ +. Let s take a closer look at this inner model. Let U be a normal measure for β in the inner model M, define Ū := U L[U] and build L[Ū]. It is known that then L[Ū] = Ū is a normal ultrafilter over β (see [Kan03, Exercise 20.1]). We also have that L[Ū] = ZFC which by [Kan03, Lemma 20.5] means that L[Ū],, Ū is iterable. Recall that such a structure L[Ū],, Ū is called a β-model and that for a regular cardinal ν, C ν is the club filter over ν. According to [Kan03, Corollary 20.7], if there is a β-model, if ν is a regular cardinal above β +, and if C ν = C ν L[C ν ], then L[ C ν ] is a ν-model. Now, we have that if α < ω then β ω 1, so β λ. If α ω 1 then β < α + λ +, so again β λ. If β = λ then L[Ū] = λ is Ramsey. By [DK83, 1.6], P(λ) L[Ū] = P(λ) KDJ. So λ is Ramsey in K and we re done. So assume that β < λ. Then β + < κ. We need a regular cardinal ν > β + such that λ ν κ. If κ is regular, let ν = κ. If κ is singular then κ is a limit cardinal so there is such a regular cardinal ν (e.g., ν = λ ++ ). Then by [DK83, 1.6] we have that L[ C ν ] = ν is Ramsey. Because [DK83, 1.6] says that P(ν) L[ C ν ] = P(ν) K DJ, this ν is Ramsey in K DJ. But this implies that in K DJ, κ (λ) <ω Case 2. If K K DJ λ for any λ. By [DK83, Lemma 2.1] Kκ DJ = V = K DJ. Since K is elementary with Kκ DJ, K = V = K DJ. This is because being the lower part of a premouse is a property describable by a formula. Let x K. Since K = V = K DJ, there must be some M such that K = M is an iterable premouse and x lp(m). So Kκ DJ = M is an iterable premouse and by [DK83, Lemma 1.16], π(m) is an iterable premouse in HOD[K ]. Since π M π(m) is elementary and π(m) is an iterable premouse, by [DK83, Lemma 1.17], M is an iterable premouse in HOD[K ]. Thus x K DJ, so K K DJ. But then, since Kλ DJ K for any λ, and K has cardinality λ, there must be an iterable premouse M K and a z Kλ DJ \ K such that lp(m) (K λ \ K), z lp(m), and M Kλ DJ. Fix M. Claim 1. If δ > λ is a regular cardinal then for every iterable premouse N K, N δ M δ. Proof of Claim. Since M K λ and K = λ by [DK83, Lemma 1.13] we have that for every regular cardinal δ > λ and every iterable premouse N K, N δ and M δ are comparable. Assume for a contradiction that for some N K, M δ N δ. Then z lp(n δ ) and since z Kλ DJ, for some ξ < λ, z lp(n ξ). But since N ξ K, z N ξ K which is transitive so z K, contradiction. qed claim We want such a δ κ. As before, if κ is regular then take δ = κ, and if κ is singular then take δ = λ +. Look at M δ. By Claim 1 we have that K M δ. So g M δ. Let M i, π ij, γ i, U i i j<δ be the δ-iteration of M. By [DK83, Lemma 1.14] there is some x M and ρ <ω {γ i ; i < δ} such that g = π 0,δ (x)( ρ). Let C = {γ i ; i < λ}. By the same lemma there is a sequence k n ; n < ω ω 2 such that for every n < ω, g [C] n = {k n }.

17 SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE 17 κ π C K DJ κ K K DJ π K C K DJ M δ K DJ λ M By elementarity, π C is a homogeneous set for g in HOD[K ] and π C is a good set of indiscernibles for Kκ DJ,, D Kκ DJ, g of ordertype cfλ ω 1. By Jensen s indiscernibility lemma [DJK79, Lemma 1.3] there is a homogeneous set for g of ordertype λ in K DJ. qed Therefore we have the following. Theorem 2.2. The theory ZF + (κ, θ) (λ, ρ)+ cfλ > ω is equiconsistent with the theory ZFC+ κ(λ) exists. In the proof of Lemma 0.9 we see how to combine finitely many sets of indiscernibles to make them coherent. Using this we get the following. Lemma 2.3. Assume ZF and let κ n > > κ 0, λ n > > λ 0 be regular cardinals, such that the Chang conjecture (κ n,..., κ 0 ) (λ n,..., λ 0 ) holds, then for each i = 1,..., n, κ(λ i ) exists in the Dodd-Jensen core model (K DJ ) HOD and (K DJ ) HOD = i = 1,..., n(κ i (λ i ) <ω 2 ). Theorem 2.4. For every finite n, the theory ZF+ (κ n,..., κ 0 ) (λ n,..., λ 0 ) is equiconsistent with the theory ZFC+ κ(λ +(n 1) n ) exists., where λ 0 is the last cardinal appearing on the Chang conjecture The infinitary case. For the infinitary version, recall that if n ω κ n = n ω λ n and κ n > λ n for at least one n ω then (κ n ) n<ω (λ n ) n<ω implies that κ := n ω κ n is a singular Jónsson cardinal. In [AK06, Theorem 6] it is proved that if κ is a singular Jónsson cardinal in a model of ZF then κ is measurable in some inner model. As a corollary to that we get the following. Corollary 2.5. If κ n ; n ω and λ n ; n ω are increasing sequences of cardinals such that n ω κ n = n ω λ n and κ n > λ n for at least one n ω, then the infinitary Chang conjecture (κ n ) n<ω (λ n ) n<ω implies that there is an inner model in which κ = n ω κ n is measurable. Since we can force such a coherent sequence of Erdős cardinals by starting with a measurable cardinal (see [AK06, Theorem 3]) we have the following. Theorem 2.6. The theory ZF+ an infinitary Chang conjecture holds with the supremum of the left hand side cardinals being the same as the supremum of the right hand side cardinals is equiconsistent with the theory ZFC+ a measurable cardinal exists.

18 18 IOANNA M. DIMITRIOU We conjecture that if the supremum of the κ n is strictly bigger than the supremum of the λ n then the consistency strength of such an infinitary Chang conjecture in ZF is weaker. To prove lower bounds for the consistency strength of the existence of a set of good indiscernibles between a singular cardinal and its successor, more complex core models, for stronger large cardinal axioms, must be employed. Some results on this direction can be found in the authors PhD thesis [Dim11, Section 4 of Chapter 3], and a paper on the subject is under preparation. References [AK06] Arthur W. Apter and Peter Koepke. The consistency strength of ℵ ω and ℵ ω1 being Rowbottom cardinals without the axiom of choice. Archive for Mathematical Logic, 45: , [AK08] Arthur Apter and Peter Koepke. Making all cardinals almost Ramsey. Archive for Mathematical Logic, 47: , [Cox11] Sean D. Cox. Consistency strength of higher Chang s conjecture, without CH. Archive for Mathematical Logic, 50: , [Dim11] Ioanna M. Dimitriou. Symmetric Models, Singular Cardinal Patterns, and Indiscernibles. Phd thesis, Rheinische Friedrich-Wilhelms-Universität Bonn, Advisor: Peter Koepke. [DJ81] Anthony Dodd and Ronald B. Jensen. The core model. Annals of Mathematical Logic, 20:43 75, [DJK79] Hans D. Donder, Ronald B. Jensen, and Bernd Koppelberg. Some applications of the core model. In Ronald B. Jensen, editor, Set theory and model theory, volume 872 of Lecture Notes in Mathematics, pages Springer, [DK83] Hans D. Donder and Peter Koepke. On the consistency strength of accessible Jónsson cardinals and of the weak Chang conjecture. Annals of Pure and Applied Logic, 25: , [For10] Matthew Foreman. Chapter 13: Ideals and generic elementary embeddings. In Matthew Foreman and Akihiro Kanamori, editors, Handbook of set theory, pages Springer, [Git95] Moti Gitik. Some results on the nonstationary ideal. Israel Journal of Mathematics, 92:61 112, [Hod97] Wilfrid Hodges. A shorter model theory. Cambridge university press, [Jec03] Thomas J. Jech. Set theory. The third millenium edition, revised and expanded. Springer, [Kan03] Akihiro Kanamori. The higher infinite. Springer, 2nd edition, [Koe88] Peter Koepke. Some applications of short core models. Annals of Pure and Applied Logic, 37(2): , [Kun78] Kenneth Kunen. Saturated ideals. Journal of symbolic logic, 43:65 76, [Kun80] Kenneth Kunen. Set theory: an introduction to independence proofs. Elsevier, [Lev84] Jean Pierre Levinski. Instances of the conjecture of Chang. Israel journal of mathematics, 48(2 3): , [LMS90] Jean Pierre Levinski, Menachem Magidor, and Saharon Shelah. Chang s conjecture for ℵ ω. Israel journal of mathematics, 69(2): , [Sch97] Ralf-Dieter Schindler. On a Chang conjecture. Israel Journal of Mathematics, 99: , [Vau63] Robert L. Vaught. Models of complete theories. Bulletin of the American Mathematical Society, 69: , 1963.

x < y iff x < y, or x and y are incomparable and x χ(x,y) < y χ(x,y).

x < y iff x < y, or x and y are incomparable and x χ(x,y) < y χ(x,y). 12. Large cardinals The study, or use, of large cardinals is one of the most active areas of research in set theory currently. There are many provably different kinds of large cardinals whose descriptions

More information

Chang s Conjecture and weak square

Chang s Conjecture and weak square Chang s Conjecture and weak square Hiroshi Sakai Graduate School of System Informatics, Kobe University hsakai@people.kobe-u.ac.jp Abstract We investigate how weak square principles are denied by Chang

More information

Continuous tree-like scales

Continuous tree-like scales Carnegie Mellon University Research Showcase @ CMU Department of Mathematical Sciences Mellon College of Science 4-2010 Continuous tree-like scales James Cummings Carnegie Mellon University, jcumming@andrew.cmu.edu

More information

COFINAL MAXIMAL CHAINS IN THE TURING DEGREES

COFINAL MAXIMAL CHAINS IN THE TURING DEGREES COFINA MAXIMA CHAINS IN THE TURING DEGREES WEI WANG, IUZHEN WU, AND IANG YU Abstract. Assuming ZF C, we prove that CH holds if and only if there exists a cofinal maximal chain of order type ω 1 in the

More information

The Power Set Function

The Power Set Function The Power Set Function Moti Gitik School of Mathematical Sciences Tel Aviv University Tel Aviv, Israel e-mail: gitik@post.tau.ac.il Abstract We survey old and recent results on the problem of finding a

More information

Global Properties of the Turing Degrees and the Turing Jump

Global Properties of the Turing Degrees and the Turing Jump Global Properties of the Turing Degrees and the Turing Jump Theodore A. Slaman Department of Mathematics University of California, Berkeley Berkeley, CA 94720-3840, USA slaman@math.berkeley.edu Abstract

More information

MODELS OF SET THEORY

MODELS OF SET THEORY MODELS OF SET THEORY STEFAN GESCHKE Contents 1. First order logic and the axioms of set theory 2 1.1. Syntax 2 1.2. Semantics 2 1.3. Completeness, compactness and consistency 3 1.4. Foundations of mathematics

More information

SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

More information

Turing Degrees and Definability of the Jump. Theodore A. Slaman. University of California, Berkeley. CJuly, 2005

Turing Degrees and Definability of the Jump. Theodore A. Slaman. University of California, Berkeley. CJuly, 2005 Turing Degrees and Definability of the Jump Theodore A. Slaman University of California, Berkeley CJuly, 2005 Outline Lecture 1 Forcing in arithmetic Coding and decoding theorems Automorphisms of countable

More information

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES

EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE DEGREES EMBEDDING COUNTABLE PARTIAL ORDERINGS IN THE ENUMERATION DEGREES AND THE ω-enumeration DEGREES MARIYA I. SOSKOVA AND IVAN N. SOSKOV 1. Introduction One of the most basic measures of the complexity of a

More information

SET-THEORETIC CONSTRUCTIONS OF TWO-POINT SETS

SET-THEORETIC CONSTRUCTIONS OF TWO-POINT SETS SET-THEORETIC CONSTRUCTIONS OF TWO-POINT SETS BEN CHAD AND ROBIN KNIGHT AND ROLF SUABEDISSEN Abstract. A two-point set is a subset of the plane which meets every line in exactly two points. By working

More information

A NEW CONDENSATION PRINCIPLE

A NEW CONDENSATION PRINCIPLE A NEW CONDENSATION PRINCIPLE THORALF RÄSCH AND RALF SCHINDLER Abstract. We generalize (A), which was introduced in [Sch ], to larger cardinals. For a regular cardinal κ > ℵ 0 we denote by κ (A) the statement

More information

1 The closed unbounded filter... 3. 1.1 Closed unbounded sets... 3. 1.4 Stationary sets in generic extensions... 9

1 The closed unbounded filter... 3. 1.1 Closed unbounded sets... 3. 1.4 Stationary sets in generic extensions... 9 Contents I Stationary Sets 3 by Thomas Jech 1 The closed unbounded filter..................... 3 1.1 Closed unbounded sets................... 3 1.2 Splitting stationary sets................... 5 1.3 Generic

More information

This chapter is all about cardinality of sets. At first this looks like a

This chapter is all about cardinality of sets. At first this looks like a CHAPTER Cardinality of Sets This chapter is all about cardinality of sets At first this looks like a very simple concept To find the cardinality of a set, just count its elements If A = { a, b, c, d },

More information

Degrees that are not degrees of categoricity

Degrees that are not degrees of categoricity Degrees that are not degrees of categoricity Bernard A. Anderson Department of Mathematics and Physical Sciences Gordon State College banderson@gordonstate.edu www.gordonstate.edu/faculty/banderson Barbara

More information

Transfer of the Ramsey Property between Classes

Transfer of the Ramsey Property between Classes 1 / 20 Transfer of the Ramsey Property between Classes Lynn Scow Vassar College BLAST 2015 @ UNT 2 / 20 Classes We consider classes of finite structures such as K < = {(V,

More information

There is no degree invariant half-jump

There is no degree invariant half-jump There is no degree invariant half-jump Rod Downey Mathematics Department Victoria University of Wellington P O Box 600 Wellington New Zealand Richard A. Shore Mathematics Department Cornell University

More information

AN INTRODUCTION TO SET THEORY. Professor William A. R. Weiss

AN INTRODUCTION TO SET THEORY. Professor William A. R. Weiss AN INTRODUCTION TO SET THEORY Professor William A. R. Weiss October 2, 2008 2 Contents 0 Introduction 7 1 LOST 11 2 FOUND 19 3 The Axioms of Set Theory 23 4 The Natural Numbers 31 5 The Ordinal Numbers

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

Embeddability and Decidability in the Turing Degrees

Embeddability and Decidability in the Turing Degrees ASL Summer Meeting Logic Colloquium 06. Embeddability and Decidability in the Turing Degrees Antonio Montalbán. University of Chicago Nijmegen, Netherlands, 27 July- 2 Aug. of 2006 1 Jump upper semilattice

More information

An example of a computable

An example of a computable An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept

More information

DEGREES OF CATEGORICITY AND THE HYPERARITHMETIC HIERARCHY

DEGREES OF CATEGORICITY AND THE HYPERARITHMETIC HIERARCHY DEGREES OF CATEGORICITY AND THE HYPERARITHMETIC HIERARCHY BARBARA F. CSIMA, JOHANNA N. Y. FRANKLIN, AND RICHARD A. SHORE Abstract. We study arithmetic and hyperarithmetic degrees of categoricity. We extend

More information

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

More information

CHAPTER 7 GENERAL PROOF SYSTEMS

CHAPTER 7 GENERAL PROOF SYSTEMS CHAPTER 7 GENERAL PROOF SYSTEMS 1 Introduction Proof systems are built to prove statements. They can be thought as an inference machine with special statements, called provable statements, or sometimes

More information

Chapter ML:IV. IV. Statistical Learning. Probability Basics Bayes Classification Maximum a-posteriori Hypotheses

Chapter ML:IV. IV. Statistical Learning. Probability Basics Bayes Classification Maximum a-posteriori Hypotheses Chapter ML:IV IV. Statistical Learning Probability Basics Bayes Classification Maximum a-posteriori Hypotheses ML:IV-1 Statistical Learning STEIN 2005-2015 Area Overview Mathematics Statistics...... Stochastics

More information

arxiv:math/0510680v3 [math.gn] 31 Oct 2010

arxiv:math/0510680v3 [math.gn] 31 Oct 2010 arxiv:math/0510680v3 [math.gn] 31 Oct 2010 MENGER S COVERING PROPERTY AND GROUPWISE DENSITY BOAZ TSABAN AND LYUBOMYR ZDOMSKYY Abstract. We establish a surprising connection between Menger s classical covering

More information

INTRODUCTORY SET THEORY

INTRODUCTORY SET THEORY M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H-1088 Budapest, Múzeum krt. 6-8. CONTENTS 1. SETS Set, equal sets, subset,

More information

Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets.

Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets. Degrees of Truth: the formal logic of classical and quantum probabilities as well as fuzzy sets. Logic is the study of reasoning. A language of propositions is fundamental to this study as well as true

More information

First-Order Logics and Truth Degrees

First-Order Logics and Truth Degrees First-Order Logics and Truth Degrees George Metcalfe Mathematics Institute University of Bern LATD 2014, Vienna Summer of Logic, 15-19 July 2014 George Metcalfe (University of Bern) First-Order Logics

More information

An Innocent Investigation

An Innocent Investigation An Innocent Investigation D. Joyce, Clark University January 2006 The beginning. Have you ever wondered why every number is either even or odd? I don t mean to ask if you ever wondered whether every number

More information

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS

TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms

More information

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2: 4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets

More information

o-minimality and Uniformity in n 1 Graphs

o-minimality and Uniformity in n 1 Graphs o-minimality and Uniformity in n 1 Graphs Reid Dale July 10, 2013 Contents 1 Introduction 2 2 Languages and Structures 2 3 Definability and Tame Geometry 4 4 Applications to n 1 Graphs 6 5 Further Directions

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH

GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH GENTLY KILLING S SPACES TODD EISWORTH, PETER NYIKOS, AND SAHARON SHELAH Abstract. We produce a model of ZFC in which there are no locally compact first countable S spaces, and in which 2 ℵ 0 < 2 ℵ 1. A

More information

The Banach-Tarski Paradox

The Banach-Tarski Paradox University of Oslo MAT2 Project The Banach-Tarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the Banach-Tarski paradox states that for any ball in R, it is possible

More information

Biinterpretability up to double jump in the degrees

Biinterpretability up to double jump in the degrees Biinterpretability up to double jump in the degrees below 0 0 Richard A. Shore Department of Mathematics Cornell University Ithaca NY 14853 July 29, 2013 Abstract We prove that, for every z 0 0 with z

More information

(LMCS, p. 317) V.1. First Order Logic. This is the most powerful, most expressive logic that we will examine.

(LMCS, p. 317) V.1. First Order Logic. This is the most powerful, most expressive logic that we will examine. (LMCS, p. 317) V.1 First Order Logic This is the most powerful, most expressive logic that we will examine. Our version of first-order logic will use the following symbols: variables connectives (,,,,

More information

Ultraproducts and Applications I

Ultraproducts and Applications I Ultraproducts and Applications I Brent Cody Virginia Commonwealth University September 2, 2013 Outline Background of the Hyperreals Filters and Ultrafilters Construction of the Hyperreals The Transfer

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

Categoricity transfer in Simple Finitary Abstract Elementary Classes

Categoricity transfer in Simple Finitary Abstract Elementary Classes Categoricity transfer in Simple Finitary Abstract Elementary Classes Tapani Hyttinen and Meeri Kesälä August 15, 2008 Abstract We continue to study nitary abstract elementary classes, dened in [7]. We

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

A Beginner s Guide to Modern Set Theory

A Beginner s Guide to Modern Set Theory A Beginner s Guide to Modern Set Theory Martin Dowd Product of Hyperon Software PO Box 4161 Costa Mesa, CA 92628 www.hyperonsoft.com Copyright c 2010 by Martin Dowd 1. Introduction..... 1 2. Formal logic......

More information

ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS

ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical and Mathematical Sciences 2012 1 p. 43 48 ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS I nf or m at i cs L. A. HAYKAZYAN * Chair of Programming and Information

More information

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements.

This asserts two sets are equal iff they have the same elements, that is, a set is determined by its elements. 3. Axioms of Set theory Before presenting the axioms of set theory, we first make a few basic comments about the relevant first order logic. We will give a somewhat more detailed discussion later, but

More information

DEFINABLE TYPES IN PRESBURGER ARITHMETIC

DEFINABLE TYPES IN PRESBURGER ARITHMETIC DEFINABLE TYPES IN PRESBURGER ARITHMETIC GABRIEL CONANT Abstract. We consider the first order theory of (Z, +,

More information

Row Ideals and Fibers of Morphisms

Row Ideals and Fibers of Morphisms Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

More information

13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcs-ftl 2010/9/8 0:40 page 379 #385

13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcs-ftl 2010/9/8 0:40 page 379 #385 mcs-ftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite

More information

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3.

Reference: Introduction to Partial Differential Equations by G. Folland, 1995, Chap. 3. 5 Potential Theory Reference: Introduction to Partial Differential Equations by G. Folland, 995, Chap. 3. 5. Problems of Interest. In what follows, we consider Ω an open, bounded subset of R n with C 2

More information

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson

Mathematics for Computer Science/Software Engineering. Notes for the course MSM1F3 Dr. R. A. Wilson Mathematics for Computer Science/Software Engineering Notes for the course MSM1F3 Dr. R. A. Wilson October 1996 Chapter 1 Logic Lecture no. 1. We introduce the concept of a proposition, which is a statement

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

Cellular objects and Shelah s singular compactness theorem

Cellular objects and Shelah s singular compactness theorem Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz

More information

P (A) = lim P (A) = N(A)/N,

P (A) = lim P (A) = N(A)/N, 1.1 Probability, Relative Frequency and Classical Definition. Probability is the study of random or non-deterministic experiments. Suppose an experiment can be repeated any number of times, so that we

More information

Mathematics for Econometrics, Fourth Edition

Mathematics for Econometrics, Fourth Edition Mathematics for Econometrics, Fourth Edition Phoebus J. Dhrymes 1 July 2012 1 c Phoebus J. Dhrymes, 2012. Preliminary material; not to be cited or disseminated without the author s permission. 2 Contents

More information

Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables

Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables Yu-Ru Syau¹, En-Bing Lin²*, Lixing Jia³ ¹Department of Information Management, National Formosa University, Yunlin, 63201,

More information

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics

No: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results

More information

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights

More information

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein) Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

More information

On an anti-ramsey type result

On an anti-ramsey type result On an anti-ramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider anti-ramsey type results. For a given coloring of the k-element subsets of an n-element set X, where two k-element

More information

THE SETTLING TIME REDUCIBILITY ORDERING AND 0 2 SETS

THE SETTLING TIME REDUCIBILITY ORDERING AND 0 2 SETS THE SETTLING TIME REDUCIBILITY ORDERING AND 0 2 SETS BARBARA F. CSIMA Abstract. The Settling Time reducibility ordering gives an ordering on computably enumerable sets based on their enumerations. The

More information

SOLUTIONS TO ASSIGNMENT 1 MATH 576

SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts

More information

GROUPS ACTING ON A SET

GROUPS ACTING ON A SET GROUPS ACTING ON A SET MATH 435 SPRING 2012 NOTES FROM FEBRUARY 27TH, 2012 1. Left group actions Definition 1.1. Suppose that G is a group and S is a set. A left (group) action of G on S is a rule for

More information

We give a basic overview of the mathematical background required for this course.

We give a basic overview of the mathematical background required for this course. 1 Background We give a basic overview of the mathematical background required for this course. 1.1 Set Theory We introduce some concepts from naive set theory (as opposed to axiomatic set theory). The

More information

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the Higman-Sims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

More information

Chapter 7. Sealed-bid Auctions

Chapter 7. Sealed-bid Auctions Chapter 7 Sealed-bid Auctions An auction is a procedure used for selling and buying items by offering them up for bid. Auctions are often used to sell objects that have a variable price (for example oil)

More information

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3 FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges

More information

The Markov-Zariski topology of an infinite group

The Markov-Zariski topology of an infinite group Mimar Sinan Güzel Sanatlar Üniversitesi Istanbul January 23, 2014 joint work with Daniele Toller and Dmitri Shakhmatov 1. Markov s problem 1 and 2 2. The three topologies on an infinite group 3. Problem

More information

POWER SETS AND RELATIONS

POWER SETS AND RELATIONS POWER SETS AND RELATIONS L. MARIZZA A. BAILEY 1. The Power Set Now that we have defined sets as best we can, we can consider a sets of sets. If we were to assume nothing, except the existence of the empty

More information

Generating models of a matched formula with a polynomial delay

Generating models of a matched formula with a polynomial delay Generating models of a matched formula with a polynomial delay Petr Savicky Institute of Computer Science, Academy of Sciences of Czech Republic, Pod Vodárenskou Věží 2, 182 07 Praha 8, Czech Republic

More information

CS 3719 (Theory of Computation and Algorithms) Lecture 4

CS 3719 (Theory of Computation and Algorithms) Lecture 4 CS 3719 (Theory of Computation and Algorithms) Lecture 4 Antonina Kolokolova January 18, 2012 1 Undecidable languages 1.1 Church-Turing thesis Let s recap how it all started. In 1990, Hilbert stated a

More information

The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit

The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),

More information

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand

Notes V General Equilibrium: Positive Theory. 1 Walrasian Equilibrium and Excess Demand Notes V General Equilibrium: Positive Theory In this lecture we go on considering a general equilibrium model of a private ownership economy. In contrast to the Notes IV, we focus on positive issues such

More information

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

More information

Low upper bound of ideals, coding into rich Π 0 1 classes

Low upper bound of ideals, coding into rich Π 0 1 classes Low upper bound of ideals, coding into rich Π 0 1 classes Antonín Kučera the main part is a joint project with T. Slaman Charles University, Prague September 2007, Chicago The main result There is a low

More information

THE DEGREES OF BI-HYPERHYPERIMMUNE SETS

THE DEGREES OF BI-HYPERHYPERIMMUNE SETS THE DEGREES OF BI-HYPERHYPERIMMUNE SETS URI ANDREWS, PETER GERDES, AND JOSEPH S. MILLER Abstract. We study the degrees of bi-hyperhyperimmune (bi-hhi) sets. Our main result characterizes these degrees

More information

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction

ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING. 0. Introduction ON SEQUENTIAL CONTINUITY OF COMPOSITION MAPPING Abstract. In [1] there was proved a theorem concerning the continuity of the composition mapping, and there was announced a theorem on sequential continuity

More information

Duality of linear conic problems

Duality of linear conic problems Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least

More information

GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY

GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY GENERIC COMPUTABILITY, TURING DEGREES, AND ASYMPTOTIC DENSITY CARL G. JOCKUSCH, JR. AND PAUL E. SCHUPP Abstract. Generic decidability has been extensively studied in group theory, and we now study it in

More information

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th

More information

Mathematics for Computer Science

Mathematics for Computer Science Mathematics for Computer Science Lecture 2: Functions and equinumerous sets Areces, Blackburn and Figueira TALARIS team INRIA Nancy Grand Est Contact: patrick.blackburn@loria.fr Course website: http://www.loria.fr/~blackbur/courses/math

More information

x if x 0, x if x < 0.

x if x 0, x if x < 0. Chapter 3 Sequences In this chapter, we discuss sequences. We say what it means for a sequence to converge, and define the limit of a convergent sequence. We begin with some preliminary results about the

More information

THE ROOMMATES PROBLEM DISCUSSED

THE ROOMMATES PROBLEM DISCUSSED THE ROOMMATES PROBLEM DISCUSSED NATHAN SCHULZ Abstract. The stable roommates problem as originally posed by Gale and Shapley [1] in 1962 involves a single set of even cardinality 2n, each member of which

More information

MATHEMATICS IN RELATIVE SET THEORY Karel Hrbacek Department of Mathematics The City College of CUNY New York, NY 10031 July 31, 2009

MATHEMATICS IN RELATIVE SET THEORY Karel Hrbacek Department of Mathematics The City College of CUNY New York, NY 10031 July 31, 2009 MATHEMATICS IN RELATIVE SET THEORY Karel Hrbacek Department of Mathematics The City College of CUNY New York, NY 10031 July 31, 2009 1 2 Non-archimedean fields present a serious obstacle for attempts to

More information

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs CHAPTER 3 Methods of Proofs 1. Logical Arguments and Formal Proofs 1.1. Basic Terminology. An axiom is a statement that is given to be true. A rule of inference is a logical rule that is used to deduce

More information

4: SINGLE-PERIOD MARKET MODELS

4: SINGLE-PERIOD MARKET MODELS 4: SINGLE-PERIOD MARKET MODELS Ben Goldys and Marek Rutkowski School of Mathematics and Statistics University of Sydney Semester 2, 2015 B. Goldys and M. Rutkowski (USydney) Slides 4: Single-Period Market

More information

A class of on-line scheduling algorithms to minimize total completion time

A class of on-line scheduling algorithms to minimize total completion time A class of on-line scheduling algorithms to minimize total completion time X. Lu R.A. Sitters L. Stougie Abstract We consider the problem of scheduling jobs on-line on a single machine and on identical

More information

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

More information

Adaptive Online Gradient Descent

Adaptive Online Gradient Descent Adaptive Online Gradient Descent Peter L Bartlett Division of Computer Science Department of Statistics UC Berkeley Berkeley, CA 94709 bartlett@csberkeleyedu Elad Hazan IBM Almaden Research Center 650

More information

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS

INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem

More information

THE TURING DEGREES AND THEIR LACK OF LINEAR ORDER

THE TURING DEGREES AND THEIR LACK OF LINEAR ORDER THE TURING DEGREES AND THEIR LACK OF LINEAR ORDER JASPER DEANTONIO Abstract. This paper is a study of the Turing Degrees, which are levels of incomputability naturally arising from sets of natural numbers.

More information

Total Degrees and Nonsplitting Properties of Σ 0 2 Enumeration Degrees

Total Degrees and Nonsplitting Properties of Σ 0 2 Enumeration Degrees Total Degrees and Nonsplitting Properties of Σ 0 2 Enumeration Degrees M. M. Arslanov, S. B. Cooper, I. Sh. Kalimullin and M. I. Soskova Kazan State University, Russia University of Leeds, U.K. This paper

More information

1. (First passage/hitting times/gambler s ruin problem:) Suppose that X has a discrete state space and let i be a fixed state. Let

1. (First passage/hitting times/gambler s ruin problem:) Suppose that X has a discrete state space and let i be a fixed state. Let Copyright c 2009 by Karl Sigman 1 Stopping Times 1.1 Stopping Times: Definition Given a stochastic process X = {X n : n 0}, a random time τ is a discrete random variable on the same probability space as

More information

A SURVEY OF RESULTS ON THE D.C.E. AND n-c.e. DEGREES

A SURVEY OF RESULTS ON THE D.C.E. AND n-c.e. DEGREES A SURVEY OF RESULTS ON THE D.C.E. AND n-c.e. DEGREES STEFFEN LEMPP 1. Early history This paper gives a brief survey of work on the d.c.e. and n-c.e. degrees done over the past fifty years, with particular

More information

CONTRIBUTIONS TO ZERO SUM PROBLEMS

CONTRIBUTIONS TO ZERO SUM PROBLEMS CONTRIBUTIONS TO ZERO SUM PROBLEMS S. D. ADHIKARI, Y. G. CHEN, J. B. FRIEDLANDER, S. V. KONYAGIN AND F. PAPPALARDI Abstract. A prototype of zero sum theorems, the well known theorem of Erdős, Ginzburg

More information

Chapter 7: Products and quotients

Chapter 7: Products and quotients Chapter 7: Products and quotients Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 7: Products

More information

JOINING UP TO THE GENERALIZED HIGH DEGREES

JOINING UP TO THE GENERALIZED HIGH DEGREES PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 8, August 2010, Pages 2949 2960 S 0002-9939(10)10299-8 Article electronically published on March 29, 2010 JOINING UP TO THE GENERALIZED

More information

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper.

FIRST YEAR CALCULUS. Chapter 7 CONTINUITY. It is a parabola, and we can draw this parabola without lifting our pencil from the paper. FIRST YEAR CALCULUS WWLCHENW L c WWWL W L Chen, 1982, 2008. 2006. This chapter originates from material used by the author at Imperial College, University of London, between 1981 and 1990. It It is is

More information