5 citations · 24 across the 9 of their papers we have counts for
11 papers
Partition genericity and pigeonhole basis theorems
Benoit Monin, Ludovic Patey
There exist two notions of typicality in computability theory, namely, genericity and randomness. In this article, we introduce a new notion of genericity, called partition generic…
Milliken's tree theorem and its applications: a computability-theoretic perspective
Paul-Elliot Anglès d'Auriac, Peter A. Cholak, Damir D. Dzhafarov +2
Milliken's tree theorem is a deep result in combinatorics that generalizes a vast number of other results in the subject, most notably Ramsey's theorem and its many variants and co…
Bad oracles in higher computability and randomness
Laurent Bienvenu, Noam Greenberg, Benoit Monin
Many constructions in computability theory rely on "time tricks". In the higher setting, relativising to some oracles shows the necessity of these. We construct an oracle~ and a…
SRT22 does not imply RT22 in omega-models
Benoit Monin, Ludovic Patey
We complete a 40-year old program on the computability-theoretic analysis of Ramsey's theorem, starting with Jockusch in 1972, and improving a result of Chong, Slaman and Yang in 2…
The weakness of the pigeonhole principle under hyperarithmetical reductions
Benoit Monin, Ludovic Patey
The infinite pigeonhole principle for 2-partitions () asserts the existence, for every set , of an infinite subset of or of its complement. In this paper, w…
Pigeons do not jump high
Benoit Monin, Ludovic Patey
The infinite pigeonhole principle for 2-partitions asserts the existence, for every set , of an infinite subset of or of its complement. In this paper, we develop a new noti…