Peter M. Gerdes

collaborators

2 papers

math.LO2025

Comparing Notions of Dense Computability on $I ¨ ^{I ¨} $ and $2^{I ¨} $

Peter M. Gerdes

A relatively new topic in computability theory is the study of notions of computation that are robust against mistakes on some kind of small set. However, despite the recent popula…

math.LO2025

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond

Leo A. Harrington, Peter M. Gerdes

This paper finally fully elaborates the tree pulldown method used by one of us (Harrington) to settle McLaughlin's conjecture. This method enables the construction of a computable…

Comparing Notions of Dense Computability on I¨I¨ and 2I¨

The Tree Pulldown Method: McLaughlin's Conjecture and Beyond

Comparing Notions of Dense Computability on $I ¨ ^{I ¨} $ and $2^{I ¨} $