4 found
Order:
  1.  39
    Reverse mathematics and a Ramsey-type König's Lemma.Stephen Flood - 2012 - Journal of Symbolic Logic 77 (4):1272-1280.
    In this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  14
    Ordinals and graph decompositions.Stephen Flood - 2017 - Annals of Pure and Applied Logic 168 (4):824-839.
  3.  11
    Separating principles below WKL0.Stephen Flood & Henry Towsner - 2016 - Mathematical Logic Quarterly 62 (6):507-529.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4.  10
    The computational strength of matchings in countable graphs.Stephen Flood, Matthew Jura, Oscar Levin & Tyler Markkanen - 2022 - Annals of Pure and Applied Logic 173 (8):103133.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark