4 found
Order:
  1.  18
    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.  15
    Monomial ideals and independence of.Florian Pelupessy - 2017 - Mathematical Logic Quarterly 63 (1-2):59-65.
    We show that a miniaturised version of Maclagan's theorem on monomial ideals is equivalent to and classify a phase transition threshold for this theorem. This work highlights the combinatorial nature of Maclagan's theorem.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3.  17
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  15
    Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension.Florian Pelupessy - 2018 - Mathematical Logic Quarterly 64 (3):178-182.
    We show that the well partial orderedness of the finite downwards closed subsets of, ordered by inclusion, is equivalent to the well foundedness of the ordinal. Since we use Friedman's adjacent Ramsey theorem for fixed dimensions in the upper bound, we also give a treatment of the reverse mathematical status of that theorem.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark