マス・フォア・インダストリ研究所

セミナー



リスト 全て(掲示受付分)(1430) 今日・明日のセミナー(0)

From proof theory to universal algebra and back: a toy example of lattices.


開催時期 2018-04-17 12:00~2018-04-17 13:00

場所 九州大学 伊都キャンパス ウエスト1号館 小講義室 W1-C-503

受講対象  

講師 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.