Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Ludovic Patey
Map detail
Ludovic Patey13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipLudovic PateyALudovic PateyResearcherDegrees bounding principles and universal instances in reverse mathematicsWDegrees bounding princi...preprint / 2014Ramsey-type graph coloring and diagonal non-computabilityWRamsey-type graph color...preprint / 2014The complexity of satisfaction problems in reverse mathematicsWThe complexity of satis...preprint / 2015Somewhere over the rainbow Ramsey theorem for pairsWSomewhere over the rain...preprint / 2015Iterative forcing and hyperimmunity in reverse mathematicsWIterative forcing and h...preprint / 2015The strength of the tree theorem for pairs in reverse mathematicsWThe strength of the tre...preprint / 2015Controlling iterated jumps of solutions to combinatorial problemsWControlling iterated ju...preprint / 2016The weakness of being cohesive, thin or free in reverse mathematicsWThe weakness of being c...preprint / 2016The reverse mathematics of Ramsey-type theoremsWThe reverse mathematics...preprint / 2016The reverse mathematics of non-decreasing subsequencesWThe reverse mathematics...preprint / 2016Dominating the Erdos-Moser theorem in reverse mathematicsWDominating the Erdos-Mo...preprint / 2016Partial orders and immunity in reverse mathematicsWPartial orders and immu...preprint / 2016
Person12 links

Ludovic Patey

Researcher