Classical arithmetic is part of intuitionistic arithmetic
From MaRDI portal
Publication:2707481
zbMATH Open0970.03013MaRDI QIDQ2707481
Publication date: 21 October 2001
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)
Related Items (2)
Classical and intuitionistic models of arithmetic ⋮ The priority of arithmetical truth over arithmetical provability
This page was built for publication: Classical arithmetic is part of intuitionistic arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2707481)
