Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) (Q2074812)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) |
scientific article; zbMATH DE number 7472316
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\) |
scientific article; zbMATH DE number 7472316 |
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
0.92355955
0 references
0.87593734
0 references
0 references
0.8123621
0 references
0.7994822
0 references
0.79844666
0 references
0.79770136
0 references
