Intuitionistic weak arithmetic

DOI10.1007/S00153-003-0189-8MaRDI QIDQ1423636zbMATH OpenOpenAlexFDO

Authors Morteza Moniri

Publication date 7 March 2004

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-003-0189-8

zbMATH Keywords

Kripke modelsweak fragments of Heyting arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Recommendations

• Weak arithmetics
• Intuitionistic elementary arithmetic
• Weak arithmetical interpretations for the logic of proofs
• On intuitionistic elementary arithmetic
• Weak arithmetic
• scientific article; zbMATH DE number 5862877
• scientific article; zbMATH DE number 2236625
• An arithmetic interpretation of intuitionistic verification
• Intuitionistic Refinement Calculus
• Weak arithmetics and Kripke models

Cited in

(7)

• The intuitionistic Robinson arithmetic(s)
• scientific article; zbMATH DE number 2152688 (Why is no real title available?)
• Fragments of Heyting arithmetic
• Some weak fragments of HA and certain closure properties
• Weak arithmetics and Kripke models
• scientific article; zbMATH DE number 5364051 (Why is no real title available?)
• The strength of replacement in weak arithmetic

This page was built for publication: Intuitionistic weak arithmetic

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