Kripke Models Built from Models of Arithmetic

DOI10.1007/978-3-662-46906-4_10MaRDI QIDQ3455186zbMATH OpenOpenAlexFDO

Authors Paula Henk

Publication date 3 December 2015

Published in Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-46906-4_10

zbMATH Keywords

internal modelsmodal logicmodels of Peano arithmeticprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Models of arithmetic and set theory (03C62) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Recommendations

• scientific article; zbMATH DE number 2152688
• Publication:4493072
• On the structure of kripke models of heyting arithmetic
• Weak arithmetics and Kripke models
• Constructing κ-like Models of Arithmetic
• The theory of \(\kappa\)-like models of arithmetic
• Arithmetical interpretations and Kripke frames of predicate modal logic of provability
• scientific article; zbMATH DE number 2236639
• Publication:4487300
• Decidable Kripke models of intuitionistic theories

Cites work

• A simple maximality principle
• An inside view of EXP; or, The closed fragment of the provability logic of IΔ₀ + Ω₁ with a prepositional constant for EXP
• Arithmetization of metamathematics in a general setting
• Harvey Friedman's research on the foundations of mathematics
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 1955470 (Why is no real title available?)
• scientific article; zbMATH DE number 3070439 (Why is no real title available?)
• Provability interpretations of modal logic
• The modal logic of forcing

Cited in

(2)

• Some results on Kripke models over an arbitrary fixed frame
• On modal logics of model-theoretic relations

This page was built for publication: Kripke Models Built from Models of Arithmetic

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