I am a postdoc at UC Berkeley, where I work on computability theory and descriptive set theory. Here is my CV.

**Office:** 987 Evans Hall

**Email:** pglutz “at” berkeley.edu

**BA:** Mathematics, UC Berkeley, 2012-2016

**PhD:** Mathematics, UC Berkeley, 2016-2021

Here is a list of research questions which I think are interesting.

**Incompleteness and jump hierarchies**

with James Walsh [arXiv] [journal]**Formalizing Galois theory**

with Thomas Browning [arXiv] [journal] [slides]**Conway and Doyle can divide by three, but I can’t**

[arXiv] [journal] [slides]**Martin’s conjecture for regressive functions on the hyperarithmetic degrees**

[arXiv] [journal]**Part 1 of Martin’s conjecture for order preserving and measure preserving functions**

with Benny Siskind [arXiv] [journal] [slides]**A note on a conjecture of Sacks**

with Kojiro Higuchi [arXiv] [slides]**The Solecki dichotomy and the Posner-Robinson theorem are almost equivalent**

[arXiv] [slides]**Coding information into all infinite subsets of a dense set**

with Matthew Harrison-Trainor and Lu Liu [arXiv] [slides 1] [slides 2]**A theory satisfying a strong version of Tennenbaum’s theorem**

with James Walsh [arXiv] [slides]

**Local Martin’s conjecture, revisited**

with Vittorio Bard**Counterexamples concerning the Hausdorff dimension of continuous images**

with Joe Miller [slides]

**Results on Martin’s conjecture**

PhD thesis, UC Berkeley 2021 [pdf]

*Comment:*Liang Yu has found a counterexample to Conjecture 5.36 (a.k.a. question 9.10)

**Martin’s conjecture**

[Survey of some recent work on Martin’s conjecture]**Part 1 of Martin’s conjecture**

[Overview] [Measure preserving functions] [Ultrafilters on the Turing degrees] [Order preserving implies measure preserving]**Part 2 of Martin’s conjecture**

[Martin’s conjecture above the hyperjump]**Borel graphability**

[Borel graphable equivalence relations]

Here are some expository documents I’ve written. I hope to add more soon.

**Introduction to Steel forcing**

[notes]

**Current teaching:** I am not teaching this semester.

**Past teaching:** Here is a list of courses I’ve taught in the past.

**Teaching materials:** For two of the courses I taught at UCLA, I compiled handwritten notes:

- Notes for Math 182: Introduction to Algorithms
- Notes for Math 114S: Introduction to Set Theory

**Course websites:** Here are websites I made for some of the courses I have taught.

**Spring 2022:**Math 285D, Introduction to Weihrauch Reducibility**Spring 2021:**Math 54, Linear Algebra and Differential Equations**Spring 2018:**Math 10B, Math for Biology Majors**Summer 2017:**Math 54, Linear Algebra and Differential Equations**Spring 2017:**Math 10B, Math for Biology Majors**Fall 2016:**Math 54, Linear Algebra and Differential Equations

**Formalizing math in Lean**

During Summer 2020, Thomas Browning, Rahul Dalal and I organized a seminar on the Lean proof assistant. The website for the seminar is here. As an outgrowth of this seminar, Thomas Browning, Jordan Brown and I formalized parts of Galois theory in Lean. I am still interested in formalization, but no longer actively involved.**The Qual**

Once upon a time I took a qualifying exam and wrote up (most of) a transcript. I’m mostly proud of the picture I made to accompany it (and not so proud of the silly things I said during my qual).