Khaniki, Erfan Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\). (English) Zbl 07472316 Adv. Math. 397, Article ID 108126, 22 p. (2022). MSC: 03Fxx 03Cxx 03Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Reyes, Gonzalo E. Théorie des modeles et faisceaux. (French) Zbl 0409.03040 Adv. Math. 30, 156-170 (1978). MSC: 03G30 18B25 03C25 03F55 03B20 18G05 55R25 × Cite Format Result Cite Review PDF Full Text: DOI