Sometime between September 21st and 24th, I will give a talk at the Colloquium Logicum 2026 in Würzburg.

Abstract: The abstract will apear shortly.