Abstract
A simple candidate for a Glivenko master theorem applies not only to conventional extensions, such as Kuroda’s to predicate logic, but always when an axiom, say stability, is added to a basic provability relation.
Based on joint work with Giulio Fellin, and with Sara Negri and Giulio Fellin.
Talk Details
Speaker: Peter Schuster (University of Verona, Italy)
Event: Types and Topology Workshop in Honour of Martin Escardo’s 60th Birthday
Date: Thursday 18 December 2025
Time: 13:55
Key Topics
- Glivenko theorem
- Double negation translation
- Kuroda’s extension
- Predicate logic
- Stability axioms
- Provability relations
- Constructive logic
- Classical logic
Collaborators
- Giulio Fellin
- Sara Negri
Related Work
- Glivenko’s original double negation translation
- Kuroda’s extension to predicate logic
- Constructive mathematics foundations