Florian Pelupessy

Identifiers

No identifiers captured yet.

Papers (9)

1. The strength of SCT soundness math.LO · 2017 · author #2
2. On $\alpha$-largeness and the Paris-Harrington principle in $\mathrm{RCA}_0$ and $\mathrm{RCA}_0^{\displaystyle{*}}$ math.LO · 2016 · author #1
3. Reverse mathematics of the finite downwards closed subsets of $\mathbb{N}^k$ ordered by inclusion and adjacent Ramsey for fixed dimension math.LO · 2016 · author #1
4. Reverse mathematics of the relativised fast growing hierarchy math.LO · 2016 · author #1
5. Phase transition results for three Ramsey-like theorems math.LO · 2016 · author #1
6. Monomial ideals and independence of $\mathrm{I}\Sigma_2$ math.LO · 2016 · author #1
7. Adjacent Ramsey theory and Higman's lemma math.LO · 2016 · author #1
8. Dickson's lemma and weak Ramsey theory math.LO · 2015 · author #2
9. On "finitary" Ramsey's theorem math.LO · 2015 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Emanuele Frittaion 1 shared papers
• Keita Yokoyama 1 shared papers
• Silvia Steila 1 shared papers
• Yasuhiko Omata 1 shared papers