- Message from the Dean
- History
- Education and Research
- Staff Introduction
- Seminars & Events
- Distinctive Programs
- Access
- Job Openings
- Publications
- Related Links
- Contacts
Seminars
From proof theory to universal algebra and back: a toy example of lattices.
- Hold Date
- 2018-04-17 12:00〜2018-04-17 13:00
- Place
- Lecture Room S W1-C-503, West Zone 1, Ito campus, Kyushu University
- Object person
- Speaker
- Tomasz Kowalski (Department of Mathematics and Statistics, La Trobe University)
Abstract:
Proof theory is rarely thought of algebraically. Thinking of universal algebra proof theoretically is even rarer. Using the theory of lattices as an example, I will show:
(1) How to prove algebraically a quintessentially proof theoretic result, known as the cut elimination theorem.
(2) How to prove proof theoretically, two important properties of free lattices, known as the Whitman condition and semidistributivity.