Some weak fragments of HA and certain closure properties

DOI10.2178/JSL/1190150031zbMATH Open1009.03028OpenAlexW2043137360MaRDI QIDQ4532602FDOQ4532602

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

Recommendations

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

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)

Cites Work

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

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)