Weak arithmetics and Kripke models

DOI10.1002/1521-3870(200201)48:1%3C157::AID-MALQ157%3E3.0.CO;2-3MaRDI QIDQ2776821zbMATH OpenOpenAlexFDO

Authors Morteza Moniri

Publication date 14 July 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/1521-3870(200201)48:1%3C157::aid-malq157%3E3.0.co;2-3

zbMATH Keywords

forcingHeyting arithmeticintuitionistic induction schemeintuitionistic least number principleKripke modelssatisfaction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Nonstandard models of arithmetic (03H15)

Review text

The paper contains two main results. The first shows that the intuitionistic least number principle for \(\Pi_1\) formulas is equivalent to the intuitionistic induction scheme for \(\Pi_1\) formulas. The other result is a characterization of those linear Kripke structures which decide all \(\Delta_0\)-formulas, and in which forcing and satisfaction for \(\Pi_n\) formulas coincide. As a corollary, it is shown that a linear Kripke model which satisfies the Principle of Excluded Middle for formulas in prenex normal form, satisfies the Principle of Excluded Middle for all formulas.

Recommendations

• Intuitionistic weak arithmetic
• Independence results for weak systems of intuitionistic arithmetic
• Publication:4487300
• Forcing and satisfaction in Kripke models of intuitionistic arithmetic
• scientific article; zbMATH DE number 3957081

Cites work

• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Some weak fragments of HA and certain closure properties

Cited in

(10)

• Intuitionistic weak arithmetic
• Logics of intuitionistic Kripke-Platek set theory
• Some intuitionistic equivalents of classical principles for degree 2 formulas
• Linear arithmetic desecsed
• The Friedman-Sheard programme in intuitionistic logic
• On intuitionistic elementary arithmetic
• Kripke Models Built from Models of Arithmetic
• Some weak fragments of HA and certain closure properties
• Independence results for weak systems of intuitionistic arithmetic
• Intuitionistic open induction and least number principle and the Buss operator

This page was built for publication: Weak arithmetics and Kripke models

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