On intuitionistic elementary arithmetic

MaRDI QIDQ3362546zbMATH OpenFDO

Authors V. Ya. Bochernikov

Publication date 1992

zbMATH Keywords

characteristic functions of bounded quantifiersderivabilityinduction restricted to formulas with bounded quantifiersintuitionistic arithmeticKripke models

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• An Independence Result for Intuitionistic Bounded Arithmetic
• Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND
• Polynomial induction and length minimization in intuitionistic bounded arithmetic
• Weak arithmetics and Kripke models
• On the Hierarchy of Intuitionistic Bounded Arithmetic

Cited in

(8)

• Intuitionistic weak arithmetic
• Another pedagogy for pure-integer Gomory
• scientific article; zbMATH DE number 5364051 (Why is no real title available?)
• Minimal readability of intuitionistic arithmetic and elementary analysis
• Model theory of bounded arithmetic with applications to independence results
• Some elementary results in intuitionistic model theory
• scientific article; zbMATH DE number 964558 (Why is no real title available?)
• On different intuitionistic calculi and embeddings from Int to S4

This page was built for publication: On intuitionistic elementary arithmetic

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