Analyse van de sterkte van de stelling van Hindman in alternatieve formuleringen.

Analyse van Impredicatieve Bewijsbaarheidslogica's

Analytische afschattingen van klassegetallen en relatieve klassegetallen

Analytische combinatoriek van het oneindige: een Tauberse aanpak

Asympotisch gedrag van telfuncties en fasenovergangen bij onafhankelijkheidsresultaten.

De complexiteit van wiskundige problemen

De Ordinaal-analyse van Determinisme-theorieën

De ordinale en bewijstheoretische sterkte van goede partiële ordeningen

Een bepaling van de sterkte van Fraisse's vermoeden over ordeningtypen

Fasenovergangen in logica en combinatoriek

Fase overgangen in Logic en Combinatoriek

Filosofische grensverlegging in Reverse Mathematics

Goede partiële ordeningen in bewijstheorie en maximale ordeningstypes, ad

Kardinale compactheid en gegeneraliseerde boomeigenschappen in combinatorische verzamelingenleer, met toepassingen.

Logische limietwetten voor ordinalen

Microlokale analyse in algebras van veralgemeende functies

Naar hogere principes van de goede ordening voor de rekenkunde van de derde ordening

Nietstandaardanalyse en de theorie van de veralgemeende functies

Recursie op ptykes

Reflectiespectra: predicaat wiskunde en verder

Reverse Mathematics en nietstandaard analyse: het actuele oneindige in de grondslagen van de wiskunde

Tauberse methoden in de theorie van de veralgemeende functies, en toepassingen.

Niet-standaard analyse in speciale modellen

Recursie, reflectie, en tweede orde rekenkunde