Some weak fragments of HA and certain closure properties

DOI10.2178/JSL/1190150031MaRDI QIDQ4532602zbMATH OpenOpenAlexFDO

Authors Morteza Moniri, Mojtaba Moniri

Publication date 29 October 2002

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.8723

zbMATH Keywords

Kripke modelsopen inductionleast number principleweak fragments of Heyting arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62) Intuitionistic mathematics (03F55)

Recommendations

• Intuitionistic weak arithmetic
• Publication:4493072
• Weak arithmetics and Kripke models
• Independence results for weak systems of intuitionistic arithmetic
• Fragments of Heyting arithmetic

Cites work

• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• Classical and intuitionistic models of arithmetic
• Constructivism in mathematics. An introduction. Volume I
• Fermat's last theorem and Bezout's theorem in GCD domains
• Finite Kripke models of HA are locally PA
• Fragments of HA based on \(\Sigma_ 1\)-induction
• Intuitionistic open induction and least number principle and the Buss operator
• On the structure of kripke models of heyting arithmetic
• Primes and their residue rings in models of open induction

Cited in

(3)

• Weak arithmetics and Kripke models
• Limit computable integer parts
• Intuitionistic open induction and least number principle and the Buss operator

This page was built for publication: Some weak fragments of HA and certain closure properties

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