Dualiteitstheorie voor verificatieformalismen

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

Analyse van Impredicatieve Bewijsbaarheidslogica's

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

De bewijs en modeltheorie van intuïtionistische temporele logica

Recursie op ptykes

Reflectiespectra: predicaat wiskunde en verder

De Ordinaal-analyse van Determinisme-theorieën

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

Nietstandaardanalyse en de theorie van de veralgemeende functies

Logische limietwetten voor ordinalen

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

Analytische combinatoriek van het oneindige: een Tauberse aanpak

Microlokale analyse in algebras van veralgemeende functies

De complexiteit van wiskundige problemen

Analytische afschattingen van klassegetallen en relatieve klassegetallen

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

Filosofische grensverlegging in Reverse Mathematics

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

De ordinale en bewijstheoretische sterkte van goede partiële ordeningen

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

Fase overgangen in Logic en Combinatoriek

Fasenovergangen in logica en combinatoriek

Asympotisch gedrag van telfuncties en fasenovergangen bij onafhankelijkheidsresultaten.

Recursie, reflectie, en tweede orde rekenkunde

Niet-standaard analyse in speciale modellen