Analyse van Impredicatieve bewijsbaarheidslogica's

Doctoraatsproject Florian Nicolás Pelupessy

Doctoraatsproject Jeroen Van der Meeren

Doctoraatsproject Joep Horbach

Intuitionistische temporale logica

Proof-theoretical Aspects of Well Quasi-orders and Phase Transitions in Arithmetical Provability

Doctoraatsproject Konstantinos Papafilippou

Doctoraatsproject Oriola Gjetaj

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

Toepassingen van modale logica op problemen van ordinaal-analyse

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 bewijs en modeltheorie van intuïtionistische temporele logica

De complexiteit van wiskundige problemen

De Ordinaal-analyse van Determinisme-theorieën

De ordinale en bewijstheoretische sterkte van goede partiële ordeningen

Dualiteitstheorie voor verificatieformalismen

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

Fasenovergangen in logica en combinatoriek

Faseovergangen in de logica

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.

Kalibratie van de logische kracht van welquasiordes en beterquasiordes

Niet-standaard analyse in speciale modellen

Recursie, reflectie, en tweede orde rekenkunde