Reid Dale

I am a fourth-year PhD student in Berkeley's Logic Group. I think about model theory with Thomas Scanlon and the methodology of science with Wes Holliday. Before I came to Berkeley, I studied math as an undergraduate at the University of Washington through the Robinson Center.

Philosophical Writings

• I'm currently writing about the status of scientific definitions using the machinery of modal logic, as well as the complexity of scientific propositions and its relation to the Arithmetic Hierarchy.

Mathematical Writings

• I wrote a tutorial on differential algebra from the model-theoretic perspective.
• Anand Pillay's construction of definable cohomology needs fewer assumptions to carry out than the original paper suggests.
• I have some notes on Hrushovski and Kazhdan's proof of the uniformity of local integrals.
• I also have some notes on Rumely's proof of the essential undecidability of the theory of global fields.
• My undergraduate senior thesis, Model Theoretic Methods in Discrete Inverse Problems, was written under the supervision of Jim Morrow.