Finite Kripke models of HA are locally PA
type: Item
instance of: scholarly article
title: Finite Kripke models of HA are locally PA
zbMATH Open document ID: 0632.03048
author: B. George
published in: Notre Dame Journal of Formal Logic
publication date: 1986-01-01T00:00:00Z
review text: In a Kripke model for Heyting arithmetic the nodes carry classical models of (subsystems of) Peano arithmetic. It is not known which theories hold for these local models in general. In the present paper it is established that in finite Kripke models the local models are models of full Peano arithmetic. The method used in the paper is a model theoretic version of the Friedman translation [\textit{H. Friedman}, Lect. Notes Math. 669, 21-27 (1978; Zbl 0396.03045)].
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 4027462
zbMATH Keywords: Heyting arithmetic
zbMATH Keywords: Peano arithmetic
zbMATH Keywords: local models
zbMATH Keywords: finite Kripke models
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1093636765
OpenAlex ID: W2032357775
DOI: 10.1305/NDJFL/1093636765
description: scientific article; zbMATH DE number 4027462