Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

DOI10.1016/j.aim.2021.108126OpenAlexW4200135237MaRDI QIDQ2074812

Erfan Khaniki

Publication date: 11 February 2022

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.aim.2021.108126

zbMATH Keywords

Heyting arithmeticrealizabilityKripke modelsPeano arithmeticlocal modelsPA-normal

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Model theory (03Cxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic validity in \(T\)-normal Kripke structures
• Self-reference and modal logic
• Finite Kripke models of HA are locally PA
• Constructivism in mathematics. An introduction. Volume I
• Classical and intuitionistic models of arithmetic
• \(\mathcal H\)-theories, fragments of HA and PA-normality
• Intuitionistic axiomatizations for bounded extension Kripke models.
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• On the structure of kripke models of heyting arithmetic
• Every Rooted Narrow Tree Kripke Model of HA is Locally PA
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• From forcing to satisfaction in Kripke models of intuitionistic predicate logic
• Forcing and satisfaction in Kripke models of intuitionistic arithmetic
• Localizing finite-depth Kripke models
• An Introduction to Basic Arithmetic
• Partially-Elementary Extension Kripke Models: A Characterization and Applications
• Basic predicate calculus