Note on extensions of Heyting's arithmetic by adding the ``creative subject

DOI10.1007/s001530050120zbMath0931.03072OpenAlexW1970538682MaRDI QIDQ1306822

Victor N. Krivtsov

Publication date: 5 October 1999

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050120

zbMATH Keywords

Heyting arithmeticcreative subject

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)

Related Items (1)

The creating subject, the Brouwer-Kripke schema, and infinite proofs

This page was built for publication: Note on extensions of Heyting's arithmetic by adding the ``creative subject