Elementary interpretations of negationless arithmetic

DOI10.4064/FM-82-1-25-38zbMATH Open0307.02022OpenAlexW851772785MaRDI QIDQ4063124FDOQ4063124

Authors:

Publication date: 1974

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/214678

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55)

Cited In (1)

• Polynomially bounded recursive realizability

This page was built for publication: Elementary interpretations of negationless arithmetic

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