Switch to: References

Add citations

You must login to add citations.
  1. Borel combinatorics fail in HYP.Henry Towsner, Rose Weisshaar & Linda Westrick - 2022 - Journal of Mathematical Logic 23 (2).
    We characterize the completely determined Borel subsets of HYP as exactly the [Formula: see text] subsets of HYP. As a result, HYP believes there is a Borel well-ordering of the reals, that the Borel Dual Ramsey Theorem fails, and that every Borel d-regular bipartite graph has a Borel perfect matching, among other examples. Therefore, the Borel Dual Ramsey Theorem and several theorems of descriptive combinatorics are not theories of hyperarithmetic analysis. In the case of the Borel Dual Ramsey Theorem, this (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Carlson-Simpson's lemma and applications in reverse mathematics.Paul-Elliot Angles D'Auriac, Lu Liu, Bastien Mignoty & Ludovic Patey - 2023 - Annals of Pure and Applied Logic 174 (9):103287.
    Download  
     
    Export citation  
     
    Bookmark  
  • Open questions in reverse mathematics.Antonio Montalbán - 2011 - Bulletin of Symbolic Logic 17 (3):431-454.
    We present a list of open questions in reverse mathematics, including some relevant background information for each question. We also mention some of the areas of reverse mathematics that are starting to be developed and where interesting open question may be found.
    Download  
     
    Export citation  
     
    Bookmark   31 citations