Co-analytic mad families and definable wellorders (Q377480): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / author | |||
Property / author: Vera Fischer / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Sy-David Friedman / rank | |||
Normal rank | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Miroslav Repický / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E17 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03E35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6223057 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projective well-orders | |||
Property / zbMATH Keywords: projective well-orders / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
projective mad families | |||
Property / zbMATH Keywords: projective mad families / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
large continuum | |||
Property / zbMATH Keywords: large continuum / rank | |||
Normal rank |
Revision as of 11:55, 29 June 2023
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