Regressive partitions and Borel diagonalization. (English) Zbl 0704.03031
Results of H. Friedman on the equivalence of some propositions on Borel diagonalization with the existence of some models with higher Mahlo cardinals are extended and refined by using regressive partition relations, and properties of Erdős cardinals.
Reviewer: Péter Komjáth (Budapest)
Keywords:
Borel diagonalization; higher Mahlo cardinals; regressive partition relations; Erdős cardinalsReferences:
| [1] | DOI: 10.1016/0001-8708(86)90004-6 · Zbl 0613.03028 · doi:10.1016/0001-8708(86)90004-6 |
| [2] | DOI: 10.1016/0001-8708(81)90021-9 · Zbl 0483.03030 · doi:10.1016/0001-8708(81)90021-9 |
| [3] | Logic, foundations of mathematics and computability theory pp 87– (1977) |
| [4] | Harvey Friedman ’s research on the foundations of mathematics pp 11– (1985) |
| [5] | DOI: 10.1090/S0002-9947-1987-0869404-5 · doi:10.1090/S0002-9947-1987-0869404-5 |
| [6] | DOI: 10.1016/0003-4843(71)90010-6 · Zbl 0215.32404 · doi:10.1016/0003-4843(71)90010-6 |
| [7] | DOI: 10.1090/S0002-9947-1974-0337617-8 · doi:10.1090/S0002-9947-1974-0337617-8 |
| [8] | DOI: 10.1016/0168-0072(87)90074-1 · Zbl 0627.03041 · doi:10.1016/0168-0072(87)90074-1 |
| [9] | Fundamenta Mathematicae 69 pp 93– (1970) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
