Not all Kripke models of HA are locally PA

DOI10.1016/J.AIM.2021.108126MaRDI QIDQ2074812zbMATH OpenOpenAlexFDO

Authors 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 arithmeticKripke modelslocal modelsPA-normalPeano arithmeticrealizability

Mathematics Subject Classification ID

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

Recommendations

• Finite Kripke models of HA are locally PA
• Every Rooted Narrow Tree Kripke Model of HA is Locally PA
• Localizing finite-depth Kripke models
• Notes on models of (partial) Kripke-Feferman truth
• scientific article; zbMATH DE number 2152688
• Kripke models for subtheories of \textsf{CZF}
• Some results on Kripke models over an arbitrary fixed frame
• Local is best: efficient reductions to modal logic \textsf{K}
• scientific article; zbMATH DE number 67030
• Notions of locality and their logical characterizations over finite models

Cites work

• \(\mathcal H\)-theories, fragments of HA and PA-normality
• An Introduction to Basic Arithmetic
• Basic predicate calculus
• Classical and intuitionistic models of arithmetic
• Constructivism in mathematics. An introduction. Volume I
• Every Rooted Narrow Tree Kripke Model of HA is Locally PA
• Finite Kripke models of HA are locally PA
• Forcing and satisfaction in Kripke models of intuitionistic arithmetic
• From forcing to satisfaction in Kripke models of intuitionistic predicate logic
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• scientific article; zbMATH DE number 3230240 (Why is no real title available?)
• scientific article; zbMATH DE number 3320380 (Why is no real title available?)
• Intuitionistic axiomatizations for bounded extension Kripke models.
• Intuitionistic validity in \(T\)-normal Kripke structures
• Localizing finite-depth 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
• Partially-Elementary Extension Kripke Models: A Characterization and Applications
• Self-reference and modal logic
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction

This page was built for publication: Not all Kripke models of \(\mathsf{HA}\) are locally \(\mathsf{PA}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2074812)