Past PhDs
|
Dissertation:
Logical Interrogations of Theory and Evidence
2022-05 |
Dissertation:
Sublogarithmic-Transexponential Series
2022-05 |
Dissertation:
Results on Martin's Conjecture
2021-08 |
|
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 |
