English

Simple Cardinal Characteristics of the Continuum

Logic 2009-09-25 v1

Abstract

We classify many cardinal characteristics of the continuum according to the complexity, in the sense of descriptive set theory, of their definitions. The simplest characteristics (boldface Sigma^0_2 and, under suitable restrictions, Pi^0_2) are shown to have pleasant properties, related to Baire category. We construct models of set theory where (unrestricted) boldface Pi^0_2-characteristics behave quite chaotically and no new characteristics appear at higher complexity levels. We also discuss some characteristics associated with partition theorems and we present, in an appendix, a simplified proof of Shelah's theorem that the dominating number is less than or equal to the independence number.

Keywords

Cite

@article{arxiv.math/9405202,
  title  = {Simple Cardinal Characteristics of the Continuum},
  author = {Andreas Blass},
  journal= {arXiv preprint arXiv:math/9405202},
  year   = {2009}
}

Comments

The published version contains some typographical errors and was printed on a machine that failed to distinguish boldface and lightface capital Greek letters

R2 v1 2026-07-22T17:54:50.744Z