Logic seminar

Arithmetic under negated induction

Tin Lok Wong

National University of Singapore

Monday, 13. December 2021 - 13:00 to 14:30

https://cesnet.zoom.us/j/472648284 - contact thapen@math.cas.cz before the meeting to join

Arithmetic generally does not admit any non-trivial quantifier elimination. I will talk about one exception, where the negation of an induction axiom is included in the theory. Here the Weak Koenig Lemma from reverse mathematics arises as a model completion.

This work is joint with Marta Fiori-Carones (Novosibirsk), Leszek Aleksander Kolodziejczyk (Warsaw) and Keita Yokoyama (Sendai).

This work is joint with Marta Fiori-Carones (Novosibirsk), Leszek Aleksander Kolodziejczyk (Warsaw) and Keita Yokoyama (Sendai).