Intuitionistic weak arithmetic

DOI10.1007/S00153-003-0189-8zbMath1041.03043OpenAlexW2010197402MaRDI QIDQ1423636

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)

This page was built for publication: Intuitionistic weak arithmetic