4.1Mahlo071310

4.1Mahlo071310 - 1 CHAPTER 4 PROOF OF PRINCIPAL EXOTIC CASE...

This preview shows pages 1–3. Sign up to view the full content.

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: 1 CHAPTER 4. PROOF OF PRINCIPAL EXOTIC CASE 4.1. Strongly Mahlo Cardinals of Finite Order. 4.2. Proof using Strongly Mahlo Cardinals. 4.3. Some Existential Sentences. 4.4. Proof using 1-consistency. 4.1. Strongly Mahlo Cardinals of Finite Order. The large cardinal properties used in this book are the strongly Mahlo cardinals of order n, where n ∈ ω . These are defined inductively as follows. DEFINITION 4.1.1. The strongly 0-Mahlo cardinals are the strongly inaccessible cardinals (uncountable regular strong limit cardinals). The strongly n+1-Mahlo cardinals are the infinite cardinals all of whose closed unbounded subsets contain a strongly n- Mahlo cardinal. It is easy to prove by induction on n that for all n < m < ω , every strongly m-Mahlo cardinal is a strongly n-Mahlo cardinal. There is a closely related notion: n-Mahlo cardinal. DEFINITION 4.1.2. The 0–Mahlo cardinals are the weakly inaccessible cardinals (uncountable regular limit cardinals). The n+1-Mahlo cardinals are the infinite cardinals all of whose closed unbounded subsets contain an n-Mahlo cardinal. Again, for all n < m < ω , every m-Mahlo cardinal is an n- Mahlo cardinal. NOTE: Sometimes (strongly) n-Mahlo cardinals are called (strongly) Mahlo cardinals of order ≤ n. Also, sometimes what we call n-Mahlo cardinals are called weakly n-Mahlo cardinals. 2 The well known relationship between n-Mahlo cardinals and strongly n-Mahlo cardinals is given as follows. THEOREM 4.1.1. The following is provable in ZFC. Let n < ω . A cardinal is strongly n-Mahlo if and only if it is n-Mahlo and strongly inaccessible. Under the GCH, a cardinal is strongly n-Mahlo if and only if it is n-Mahlo. Proof: For the first claim, note that it is obvious for n = 0. Assume that every strongly inaccessible n-Mahlo cardinal is strongly n-Mahlo. Let κ be a strongly inaccessible n+1- Mahlo cardinal. Let A ⊆ κ be closed and unbounded. Since κ is strongly inaccessible, the set B ⊆ κ consisting of the strong limit cardinals in A is closed and unbounded. Let λ ∈ B be an n-Mahlo cardinal. As previously remarked, λ is an inaccessible cardinal. Since λ is a strong limit cardinal, λ is a strongly inaccessible cardinal. By the induction hypothesis, λ is a strongly n-Mahlo cardinal. We have thus shown that every closed unbounded A ⊆ κ contains a strongly n-Mahlo element. Hence κ is strongly n+1-Mahlo. For the final claim, assume the GCH. By an obvious induction, every strongly n-Mahlo cardinal is an n-Mahlo cardinal. For the converse, let κ be an n-Mahlo cardinal. As previously remarked, κ is a weakly inaccessible cardinal. Hence κ is a strongly inaccessible cardinal (by GCH). By the first claim, κ is a strongly n-Mahlo cardinal. QED We now develop the essential combinatorics of strongly Mahlo cardinals of finite order used in this Chapter....
View Full Document

This note was uploaded on 08/05/2011 for the course MATH 366 taught by Professor Joshua during the Fall '08 term at Ohio State.

Page1 / 9

4.1Mahlo071310 - 1 CHAPTER 4 PROOF OF PRINCIPAL EXOTIC CASE...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document
Ask a homework question - tutors are online