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

Speaker(s)

Konrad Zdanowski

Affiliation

UKSW

Language of the talk

English

Date

March 21, 2025, 12:15 p.m.

Room

room 5450

Title in Polish

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

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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

---

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

---