Set theory and algebraic topology

Another proof of the Jayne-Rogers theorem

Borel Matchings and equidecompositions

Determinacy in Infinite Matroids

Pairwise Sums in the Reals

An Introduction to infinite matroids

Context-Dependent Deterministic Parallel Feedback Turing Computability

Long and short recursive constructions---cardinal invariants and parametrized diamonds

Computing beyond Constructibility: The Recognizability Strength of Ordinal Time Machines

Well-quasi-orderings for progam analysis and computational complextiy

Singularizing Cardinals and Square-like principles

On relating strong type theories and set theories

Inaccessible cardinals and accessible categories

The Pinning Down Number and Cardinal Arithmetic

A revision theory for type-free probability

Weihrauch degrees of determinacy

Infinite Matroids and Pushdown Automata on Infinite Words

Partition Relation Perspectives

Approximate Ramsey properties of Matrices

The unreasonable effectiveness of Nonstandard Analysis