MoL-2021-07: de Graaf, David Joël (2021) "A partition calculus in set theory" by Erdös and Rado for readers from the twenty-first century. [Report]
![[thumbnail of MoL-2021-07.text.pdf]](https://eprints.illc.uva.nl/style/images/fileicons/text.png) |
Text
MoL-2021-07.text.pdf Download (635kB) |
Abstract
The seminal paper “A partition calculus in set theory” by Paul Erdös and Richard Rado is notoriously hard to read and contains many interesting results hidden behind outdated notation. This thesis therefore aims at a modernisation of the contents of the paper, in order to make the paper more accessible. This entails rewriting theorems and their proofs using modern mathematical notation. Of particular interest is a key result from the paper, the Positive Stepping Up Lemma, and we conjecture that one instance of the lemma, the partition relation ℶ^+_n → (ω +n+1)^r_m, cannot be improved.
We also adjust the proof of the Negative Stepping Up Lemma in order to prove the implication κ↛(ω^α)^r_m ⇒ 2^κ↛(ω^α)^{r+1}_ m , where κ is an infinite cardinal, α is an ordinal and r, m < ω. We deduce the negative partition relations ℶ^+_n ↛ (ω^2)^{n+3}_2 for all n < ω, providing a bound to the conjecture.
| Item Type: | Report |
|---|---|
| Report Nr: | MoL-2021-07 |
| Series Name: | Master of Logic Thesis (MoL) Series |
| Year: | 2021 |
| Subjects: | Logic Mathematics |
| Depositing User: | Dr Marco Vervoort |
| Date Deposited: | 05 Aug 2021 13:03 |
| Last Modified: | 05 Aug 2021 13:34 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1797 |
Actions (login required)
 |
View Item |
