Co-analytic mad families and definable wellorders (Q377480): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-013-0345-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1990234199 / rank | |||
Normal rank |
Revision as of 02:04, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Co-analytic mad families and definable wellorders |
scientific article |
Statements
Co-analytic mad families and definable wellorders (English)
0 references
6 November 2013
0 references
It is consistent that \(\mathfrak b=\mathfrak c=\aleph_3\), there exists a~\(\Pi^1_2\)~\(\omega\)-mad family, and there exists a~\(\Delta^1_3\)-definable well-order of the reals [\textit{V. Fischer} et al., Ann. Pure Appl. Logic 162, No. 11, 853--862 (2011; Zbl 1267.03049)]. For any uncountable regular cardinal~\(\kappa\), it is consistent that \(\mathfrak b=\mathfrak c=\kappa\) and there exists a~\(\Pi^1_1\)~mad family [\textit{J. Brendle} and \textit{Y. Khomskii}, J. Symb. Log. 78, No. 4, 1164--1180 (2013; Zbl 1375.03057)]. The paper under review is concerned with the question to what extent these two consistency results can be merged together. The main theorem of the paper shows the consistency of \(\mathfrak b=\mathfrak c=\aleph_3\), the existence of a~\(\Pi^1_1\)~mad family, and the existence of a~\(\Delta^1_3\)-definable well-order of the reals.
0 references
projective well-orders
0 references
projective mad families
0 references
large continuum
0 references