Henry Towsner

Ein Überblick über Quantoreneliminierungstechniken in der Modelltbeorie.

2025-10-19T08:38:21+00:00 ― 7 min Lesedauer

Ein Blick auf die Komplexitäten der Zweiter-Ordnung-Arithmetik und ihre Auswirkungen.

2025-08-09T11:36:52+00:00 ― 6 min Lesedauer