4 found
Order:
  1.  12
    Dickson’s Lemma and Weak Ramsey Theory.Yasuhiko Omata & Florian Pelupessy - 2019 - Archive for Mathematical Logic 58 (3-4):413-425.
    We explore the connections between Dickson’s lemma and weak Ramsey theory. We show that a weak version of the Paris–Harrington principle for pairs in c colors and miniaturized Dickson’s lemma for c-tuples are equivalent over \. Furthermore, we look at a cascade of consequences for several variants of weak Ramsey’s theorem.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  8
    Reverse Mathematics of the Finite Downwards Closed Subsets of Nk Ordered by Inclusion and Adjacent Ramsey for Fixed Dimension.Florian Pelupessy - 2018 - Mathematical Logic Quarterly 64 (3):178-182.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  13
    Monomial Ideals and Independence of IΣ2.Florian Pelupessy - 2017 - Mathematical Logic Quarterly 63 (1-2):59-65.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  14
    Phase Transition Results for Three Ramsey-Like Theorems.Florian Pelupessy - 2016 - Notre Dame Journal of Formal Logic 57 (2):195-207.
    We classify a sharp phase transition threshold for Friedman’s finite adjacent Ramsey theorem. We extend the method for showing this result to two previous classifications involving Ramsey theorem variants: the Paris–Harrington theorem and the Kanamori–McAloon theorem. We also provide tools to remove ad hoc arguments from the proofs of phase transition results as much as currently possible.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark