Book contents
- Frontmatter
- Dedication
- Contents
- Preface
- Part I Let’s Be Independent
- Part II What is New in Set Theory
- 10 Introduction to Part Two
- 11 Classical Extensions
- 12 Iterated Forcing and Martin’s Axiom
- 13 Some More Large Cardinals
- 14 Limitations of Martin’s Axiom and Countable Supports
- 15 Proper Forcing and PFA
- 16 N2 and other Successors of Regulars
- 17 Singular Cardinal Hypothesis and Some PCF
- 18 Forcing at Singular Cardinals and Their Successors
- References
- Index
14 - Limitations of Martin’s Axiom and Countable Supports
from Part II - What is New in Set Theory
Published online by Cambridge University Press: 28 September 2020
- Frontmatter
- Dedication
- Contents
- Preface
- Part I Let’s Be Independent
- Part II What is New in Set Theory
- 10 Introduction to Part Two
- 11 Classical Extensions
- 12 Iterated Forcing and Martin’s Axiom
- 13 Some More Large Cardinals
- 14 Limitations of Martin’s Axiom and Countable Supports
- 15 Proper Forcing and PFA
- 16 N2 and other Successors of Regulars
- 17 Singular Cardinal Hypothesis and Some PCF
- 18 Forcing at Singular Cardinals and Their Successors
- References
- Index
Summary
A very well known early instance that shows a limitation of Martin’s Axiom is Richard Laver’s proof of the consistency of the Borel Conjecture [65]. Laver proved that this problem, which seems along the lines of those that have been solved using Martin’s Axiom, on cardinal invariants of the continuum, cannot be answered using Martin’s Axiom. A subset X of R is said to have strong measure zero if for every sequence (εn)n of positive real numbers, there is a sequence of intervals (In)n such that lg(In) < εn and X ⊆ ∪n<ω In. It is clear that all countable subsets of R have strong measure 0 and the Borel Conjecture from [8] states that the only strong measure zero sets are the countable ones.
- Type
- Chapter
- Information
- Fast Track to Forcing , pp. 85 - 89Publisher: Cambridge University PressPrint publication year: 2020