Book contents
- Frontmatter
- Contents
- PREFACE
- ITERATED FORCING
- THE YORKSHIREMAN'S GUIDE TO PROPER FORCING
- THE SINGULAR CARDINALS PROBLEM; INDEPENDENCE RESULTS
- TREES, NORMS AND SCALES
- ON THE REGULARITY OF ULTRAFILTERS
- MORASSES IN COMBINATORIAL SET THEORY
- A SHORT COURSE ON GAP-ONE MORASSES WITH A REVIEW OF THE FINE STRUCTURE OF L
- LIST OF PARTICIPANTS
ON THE REGULARITY OF ULTRAFILTERS
Published online by Cambridge University Press: 04 August 2010
- Frontmatter
- Contents
- PREFACE
- ITERATED FORCING
- THE YORKSHIREMAN'S GUIDE TO PROPER FORCING
- THE SINGULAR CARDINALS PROBLEM; INDEPENDENCE RESULTS
- TREES, NORMS AND SCALES
- ON THE REGULARITY OF ULTRAFILTERS
- MORASSES IN COMBINATORIAL SET THEORY
- A SHORT COURSE ON GAP-ONE MORASSES WITH A REVIEW OF THE FINE STRUCTURE OF L
- LIST OF PARTICIPANTS
Summary
It was shown in that in Gődel's construetible universe L, every uniform ultrafilter over ω1 is regular. This involved a new combinatorial principle stronger that Kurepa's hypothesis. Chang and Jensen have generalized this principle to higher cardinals and extended the regularity result of to all ωn, (n∈ω). Benda and Ketonen have generalized and simplified the result of by making use of a weaker combinatorial principle. In the present note we show how to generalize the Chang-Jensen result along similar lines. Kunen asked in a discussion whether this can be done.
We start by formulating the transversal hypothesis in a customary form:
TH(λ, ν) : There is a family F ⊆ λν such that |F| = λ+ and for all f, g ∈ F, if f ≠ g, then f(γ) ≠ g(γ) for all sufficiently large γ ∈ λ.
The following consistency results are well known.
Theorem 1, (Solovay). In L, TH(κ+, κ) holds for all infinite cardinals κ.
In the opposite direction we only give a special case of Silver's Theorem.
Theorem 2. If ZFC + there is a Ramsey cardinal is consistent, then ZFC + ¬TH(ω1, ω) is consistent.
For regular λ it follows trivially from TH(λ, ν) that λ ≤ ν+. An obvious attempt at generalizing the Benda–Ketonen approach to, say ω2, leads to considering statements like TH(ω2, ω).
- Type
- Chapter
- Information
- Surveys in Set Theory , pp. 162 - 166Publisher: Cambridge University PressPrint publication year: 1983
- 1
- Cited by