Past Ph.D.s

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
Dissertation:

Description Set Theory, Equivalence Relations, and Classification Problems in Analysis

2001-05
Dissertation:

Causal Inference via Covariance Adjustment: Investigation on Model Uncertainty in Observational Studies

2001-12
Dissertation:

On the Theory of the Delta^0_2 Degrees

2001-05
Dissertation:

Finitely axiomatizable omega-categorical theories.

2001-12
Dissertation:

Hilbert's Program: Historical and Philosophical Perspectives

2001-05
Dissertation:

Goedel's Ontological Argument

2000-05
Dissertation:

Definability in p-adic Power Series Rings

2000-12
Dissertation:

Toward AD_R from the Continuum Hypothesis and an omega_1 -dense ideal

2000-05
Dissertation:

Stationary Reflection and the Determinacy of Inductive Games

2000-08
Dissertation:

Formal Semantics and The Algebraic View of Meaning

1998-05
Dissertation:

Remarks on Graph Functions

1998-05
Dissertation:

From Consistency to Incompleteness: A Philosophical Investigation of Hilbert's Programme and Gödel's Incompleteness Theorem

1997-05