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…