MoL-2021-07: "A partition calculus in set theory" by Erdös and Rado for readers from the twenty-first century

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] 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 View Item