SETS OF GOOD INDISCERNIBLES AND CHANG CONJECTURES WITHOUT CHOICE


 Jasper Carpenter
 1 years ago
 Views:
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 DoddJensen 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 nary 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 DFGNWO 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őslike 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őslike cardinal with respect to θ, α, or just an Erdőslike cardinal, if there are such θ, α. We used this notation and called these cardinals Erdőslike, due to the strong connection between Erdős and Erdőslike 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őslike 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őslike with respect to θ, λ, there is a set I [κ \ θ] λ of good indiscernibles for A. Let ρ λ θ be arbitrary and let Hull(I ρ) be the ASkolem 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őslike), 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őslike 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 ASkolem 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őslike 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őslike 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őslike 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őslike 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őslike 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őslike 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őslike 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őslike cardinals are mutually existent. First we will show that an Erdős cardinal is Erdőslike 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 Pname 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 Qgeneric 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 Pgeneric and some G 2 Qgeneric. 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 nonmeasurable 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 Pname 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 + kary 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 DoddJensen 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 DoddJensen 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 DoddJensen 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 FriedrichWilhelmsUniversitä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] RalfDieter 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).
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 informationChang s Conjecture and weak square
Chang s Conjecture and weak square Hiroshi Sakai Graduate School of System Informatics, Kobe University hsakai@people.kobeu.ac.jp Abstract We investigate how weak square principles are denied by Chang
More informationContinuous treelike scales
Carnegie Mellon University Research Showcase @ CMU Department of Mathematical Sciences Mellon College of Science 42010 Continuous treelike scales James Cummings Carnegie Mellon University, jcumming@andrew.cmu.edu
More informationCOFINAL 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 informationThe Power Set Function
The Power Set Function Moti Gitik School of Mathematical Sciences Tel Aviv University Tel Aviv, Israel email: gitik@post.tau.ac.il Abstract We survey old and recent results on the problem of finding a
More informationGlobal 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 947203840, USA slaman@math.berkeley.edu Abstract
More informationMODELS 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 informationSMALL 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 informationTuring 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 informationEMBEDDING 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 informationSETTHEORETIC CONSTRUCTIONS OF TWOPOINT SETS
SETTHEORETIC CONSTRUCTIONS OF TWOPOINT SETS BEN CHAD AND ROBIN KNIGHT AND ROLF SUABEDISSEN Abstract. A twopoint set is a subset of the plane which meets every line in exactly two points. By working
More informationA 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 information1 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 informationThis 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 informationDegrees 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 informationTransfer 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 informationThere is no degree invariant halfjump
There is no degree invariant halfjump Rod Downey Mathematics Department Victoria University of Wellington P O Box 600 Wellington New Zealand Richard A. Shore Mathematics Department Cornell University
More informationAN 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 information1 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 informationEmbeddability 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 informationAn 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 informationDEGREES 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 informationWHAT 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 informationCHAPTER 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 informationChapter ML:IV. IV. Statistical Learning. Probability Basics Bayes Classification Maximum aposteriori Hypotheses
Chapter ML:IV IV. Statistical Learning Probability Basics Bayes Classification Maximum aposteriori Hypotheses ML:IV1 Statistical Learning STEIN 20052015 Area Overview Mathematics Statistics...... Stochastics
More informationarxiv: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 informationINTRODUCTORY SET THEORY
M.Sc. program in mathematics INTRODUCTORY SET THEORY Katalin Károlyi Department of Applied Analysis, Eötvös Loránd University H1088 Budapest, Múzeum krt. 68. CONTENTS 1. SETS Set, equal sets, subset,
More informationDegrees 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 informationFirstOrder Logics and Truth Degrees
FirstOrder Logics and Truth Degrees George Metcalfe Mathematics Institute University of Bern LATD 2014, Vienna Summer of Logic, 1519 July 2014 George Metcalfe (University of Bern) FirstOrder Logics
More informationAn 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 informationTOPOLOGY: 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 information4. CLASSES OF RINGS 4.1. Classes of Rings class operator Aclosed 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 informationominimality and Uniformity in n 1 Graphs
ominimality 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 information11 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 informationGENTLY 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 informationThe BanachTarski Paradox
University of Oslo MAT2 Project The BanachTarski Paradox Author: Fredrik Meyer Supervisor: Nadia S. Larsen Abstract In its weak form, the BanachTarski paradox states that for any ball in R, it is possible
More informationBiinterpretability 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. Our version of firstorder logic will use the following symbols: variables connectives (,,,,
More informationUltraproducts 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 informationIdeal 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 informationCategoricity 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 informationMA651 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 informationA 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 informationON FUNCTIONAL SYMBOLFREE LOGIC PROGRAMS
PROCEEDINGS OF THE YEREVAN STATE UNIVERSITY Physical and Mathematical Sciences 2012 1 p. 43 48 ON FUNCTIONAL SYMBOLFREE LOGIC PROGRAMS I nf or m at i cs L. A. HAYKAZYAN * Chair of Programming and Information
More informationThis 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 informationDEFINABLE TYPES IN PRESBURGER ARITHMETIC
DEFINABLE TYPES IN PRESBURGER ARITHMETIC GABRIEL CONANT Abstract. We consider the first order theory of (Z, +,
More informationRow 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 information13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcsftl 2010/9/8 0:40 page 379 #385
mcsftl 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 informationReference: 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 informationMathematics 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 informationI. 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 informationBasic 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 informationCellular 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 informationP (A) = lim P (A) = N(A)/N,
1.1 Probability, Relative Frequency and Classical Definition. Probability is the study of random or nondeterministic experiments. Suppose an experiment can be repeated any number of times, so that we
More informationMathematics 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 informationDiscernibility Thresholds and Approximate Dependency in Analysis of Decision Tables
Discernibility Thresholds and Approximate Dependency in Analysis of Decision Tables YuRu Syau¹, EnBing Lin²*, Lixing Jia³ ¹Department of Information Management, National Formosa University, Yunlin, 63201,
More informationNo: 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 informationUndergraduate 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 informationF. 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 informationOn an antiramsey type result
On an antiramsey type result Noga Alon, Hanno Lefmann and Vojtĕch Rödl Abstract We consider antiramsey type results. For a given coloring of the kelement subsets of an nelement set X, where two kelement
More informationTHE 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 informationSOLUTIONS 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 informationGROUPS 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 informationWe 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 informationCOMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH. 1. Introduction
COMBINATORIAL PROPERTIES OF THE HIGMANSIMS GRAPH ZACHARY ABEL 1. Introduction In this survey we discuss properties of the HigmanSims graph, which has 100 vertices, 1100 edges, and is 22 regular. In fact
More informationChapter 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 informationChapter 7. Sealedbid Auctions
Chapter 7 Sealedbid 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 informationFIBRATION 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 informationThe MarkovZariski 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 informationPOWER 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 informationGenerating 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 informationCS 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 ChurchTuring thesis Let s recap how it all started. In 1990, Hilbert stated a
More informationThe 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 informationNotes 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 informationCURVES 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 informationLow 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 informationTHE DEGREES OF BIHYPERHYPERIMMUNE SETS
THE DEGREES OF BIHYPERHYPERIMMUNE SETS URI ANDREWS, PETER GERDES, AND JOSEPH S. MILLER Abstract. We study the degrees of bihyperhyperimmune (bihhi) sets. Our main result characterizes these degrees
More informationON 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 informationDuality 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 informationGENERIC 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 informationSOME 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 rth
More informationMathematics 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 informationx 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 informationTHE 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 informationMATHEMATICS 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 Nonarchimedean fields present a serious obstacle for attempts to
More informationCHAPTER 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 information4: SINGLEPERIOD MARKET MODELS
4: SINGLEPERIOD 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: SinglePeriod Market
More informationA class of online scheduling algorithms to minimize total completion time
A class of online scheduling algorithms to minimize total completion time X. Lu R.A. Sitters L. Stougie Abstract We consider the problem of scheduling jobs online on a single machine and on identical
More informationDiscrete 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 informationAdaptive 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 informationINDISTINGUISHABILITY 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 informationTHE 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 informationTotal 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 information1. (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 informationA SURVEY OF RESULTS ON THE D.C.E. AND nc.e. DEGREES
A SURVEY OF RESULTS ON THE D.C.E. AND nc.e. DEGREES STEFFEN LEMPP 1. Early history This paper gives a brief survey of work on the d.c.e. and nc.e. degrees done over the past fifty years, with particular
More informationCONTRIBUTIONS 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 informationChapter 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 informationJOINING UP TO THE GENERALIZED HIGH DEGREES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 138, Number 8, August 2010, Pages 2949 2960 S 00029939(10)102998 Article electronically published on March 29, 2010 JOINING UP TO THE GENERALIZED
More informationFIRST 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