English

Forcing techniques for Cicho\'n's Maximum: Lecture notes for the mini-course at the University of Vienna

Logic 2026-04-01 v3

Abstract

Cicho\'n's diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010's, Goldstern, Kellner and Shelah constructed a forcing model of Cicho\'n's Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cicho\'n's Maximum model and much more.

Keywords

Cite

@article{arxiv.2402.11852,
  title  = {Forcing techniques for Cicho\'n's Maximum: Lecture notes for the mini-course at the University of Vienna},
  author = {Diego A. Mejía},
  journal= {arXiv preprint arXiv:2402.11852},
  year   = {2026}
}

Comments

Lecture notes corresponding to a mini-course of six sessions at the University of Vienna, from November 30th, 2023 to January 25th, 2024. More details have been added to the second version; typos corrected for the third (and final) version