Past PhDs

Dissertation:

Reflection Principles and Ordinal Analysis

2020-05
Dissertation:

Duality for boolean algebra expansions and its applications

2020-12
Dissertation:

Algorithmic Improvisation

2019-08
Dissertation:

Computable Continuous Structure Theory

2019-05
Dissertation:

What Can You Say? Measuring the Expressive Power of Languages

 

2018-08
Dissertation:

Independence, Amalgamation, and Trees

 

2018-05
Dissertation:

The Complexity of Countable Structures

2017-05
Dissertation:

Towards a model theory of almost complex manifolds

2017-05
Dissertation:

Fun with Fields

2016-08
Dissertation:

Infinitary Limits of Finite Structures

2016-08
2015-05
Dissertation:

Martin-Löf Randomness and Brownian Motion

2014-05
Dissertation:

Randomizing Reals and the First-Order Consequences of Randoms

2014-05
Dissertation:

Independence Relations in Theories with the Tree Property

2014-05
Dissertation:

Strong Well-foundedness and the Genericity of Countable Sets

2014-12
Dissertation:

Computability in Ordinal Ranks and Symbolic Dynamics

2014-05
Dissertation:

The Carlson-Simpson Lemma in Reverse Mathematics

2013-05
Dissertation:

Weak Lowness Notions for Kolmogorov Complexity

2013-05
Dissertation:

Generic Reduction, and Work with Partial Computations and Partial Oracles

2013-05
Dissertation:

Recursion Theory and Countable Borel Equivalence Relations

2012-05
Dissertation:

Contributions to DescriptiveInner Model Theory

2012-12
Dissertation:

Solution Spaces for Linear Equations in Valued D-Fields

2011-05
Dissertation:

Uniform Theory of Multiplicative Valued Difference Fields

2011-05
Dissertation:

Amalgamation Construction and Recursive Model Theory

2010-05
Dissertation:

Geometric Model Theory in Efficient Computability

2010-12
Dissertation:

Characterization Theorems by Generalized Indiscernibles

2010-12
Dissertation:

On the Infinity Laplacian and Hrushovski's Fusion

2010-05
Dissertation:

Stable aleph-naught categorical Algebraic Structures

2009-05
Dissertation:

The Solovay Sequence in Derived Models Associated to Mice

2008-12
Dissertation:

The Relative Structure of Henselian Valued Fields

2008-12
Dissertation:

Types in o-minimal theories

2008-12
Dissertation:

Relative Properties of Reals

2007-05
Dissertation:

Minimal Sets in ACFA

2007-05
Dissertation:

Measures in Mice

2007-12
Dissertation:

Prewellorderings vs. Wellfounded Relations

2006-12
Dissertation:

The Arithmetic of Drinfeld Modules

2005-05
Dissertation:

A Critical Assessment of Putnam's Model-Theoretic Argument

2005-12
Dissertation:

Thorn Forking in Simple Theories

2004-12
Dissertation:

General Topology Under the Axiom of Determinacy: the Beauty of Topology Without Choice

2004-12
Dissertation:

Linearizing Countably Infinite Partial Orders

2004-05
Dissertation:

Full Groups, Classification, and Equivalence Relations

2004-05
Dissertation:

Simply Definable Well-Orderings of the Reals

2003-05
Dissertation:

Naturalism and Darwin's Doubt

2003-05
Dissertation:

The Quantum Fourier Transform and Extensions of the Abelian Hidden Subgroup Problem

2002-05
Dissertation:

Lattice initial segments of the Turing degrees

2002-05
Dissertation:

Thorn-forking in Rosy Theories

2002-12