Tin Lok (Lawrence) Wong (National University of Singapore)
- Date
- Wednesday 27 January 2021
- Category
- Models and Sets Seminar
Arithmetic under negated induction
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, Leszek Aleksander Kolodziejczyk and Keita Yokoyama.