Lutz, Patrick

1. A theory satisfying a strong version of Tennenbaum's theorem
   2023/09/20 by Patrick Lutz, James Walsh, Lutz, Patrick +1 · 1 citation
   Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Advanced Topology and Set Theory #Mathematical and Theoretical Analysis
2. Bounding the dimension of exceptional sets for orthogonal projections
   2024/11/07 by Cholak, Peter, Csornyei, Marianna, Lutz, Neil +3 · 2 citations
   #Classical Analysis and ODEs (math.CA) #FOS: Mathematics