Analysis of Impredicative Provability Logics

Analytic combinatorics of the transfinite: A Tauberian approach

Analytic estimates of class numbers and relative class numbers

Asympotisch behavior of count functions and phase transitions for independence results.

Cardinal compactness and generalized tree properties in combinatorial set theory, with applications

Duality theory for verification formalisms

Gauging the strength of Fraisse's order-type conjecture

Investigations into the strength Hindman's theorem and its alternative formulations.

Local micro analysis in algebras of generalized functions

Logical limit laws for ordinals

Nonstandard analysis and generalized function theory

Ordinal Analysis of Systems of Determinacy

Phase Transistions in Logic and Combinatorics (PTLC)

Phase transitions in logic

Phase transitions in logic and combinatorics

Philosophical Frontiers in Reverse Mathematics.

Proof and Model Theory of Intuitionistic Temporal Logic

Recursion on ptykes

Reflection Spectra: Predicative Mathematics and Beyond

Reverse Mathematics and Nonstandard Analysis: the actual infinite in the foundations of Mathematics

Tauberian methods in generalized function theory and applications

The complexities of mathematical problems

The ordinal and proof-theoretic strength of well-partial orderings

Towards higher-order well-ordering principles for third order arithmetic

Well partial ordenings in proof theory and maximal order types

Measuring the logical strength of well quasi-orders and better quasi-orders

Nonstandard analysis in special models

Recursion, reflection, and second-order arithmetic