Interpretations of Heyting's arithmetic—An analysis by means of a language with set symbols

DOI10.1016/0003-4843(80)90018-2zbMath0453.03062OpenAlexW2077102338MaRDI QIDQ3900060

Martin Stein

Publication date: 1980

Published in: Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0003-4843(80)90018-2

zbMATH Keywords

existence theoremsHeyting arithmetic

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Related Items (1)

Logical problems of functional interpretations

This page was built for publication: Interpretations of Heyting's arithmetic—An analysis by means of a language with set symbols