Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) |
scientific article |
Statements
Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (English)
0 references
11 February 2022
0 references
Heyting arithmetic
0 references
Peano arithmetic
0 references
Kripke models
0 references
local models
0 references
PA-normal
0 references
realizability
0 references
