Not all Kripke models of HA are locally PA, part I

Prelegent(ci)

Konrad Zdanowski

Afiliacja

UKSW

Język referatu

angielski

Termin

21 marca 2025 12:15

Pokój

p. 5450

Tytuł w języku polskim

Nie wszystkie modele arytmetyki Heytinga spełniają lokalnie artytmetykę Peano, część I

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

Zreferuję wyniki pracy Erfan Khanikiego, Not All Kripke models of HA are locally PA, z roku 2022.
Autor rozwiązuje w niej negatywnie długo otwarty problem, czy każdy model arytmetyki
Heytinga ma, jako światy w modelu Kripkego, modele dla artytmetyki Peano.

Odnośnik do pracy:
https://www.sciencedirect.com/<wbr></wbr>science/article/abs/pii/<wbr></wbr>S000187082100565X

---

I will present the results of Erfan Khaniki's work, Not All Kripke Models of HA Are Locally PA, from 2022. In this paper, the author provides a negative solution to a long-standing open problem: whether every model of Heyting arithmetic has, as worlds in its Kripke model, models of Peano arithmetic.

Reference to the paper:
https://www.sciencedirect.com/science/article/abs/pii/S000187082100565X

---