Back to Search Start Over

Classical Arithmetic is Part of Intuitionistic Arithmetic

Authors :
Michael Potter
Source :
Grazer Philosophische Studien. 55:127-141
Publication Year :
1998
Publisher :
Philosophy Documentation Center, 1998.

Subjects

Subjects :
Hilbert's second problem
Philosophy
True arithmetic
Second-order arithmetic
Robinson arithmetic
Primitive recursive arithmetic
Arithmetic
Non-standard model of arithmetic
Arithmetic dynamics
Heyting arithmetic
Mathematics

Details

ISSN :
01659227
Volume :
55
Database :
OpenAIRE
Journal :
Grazer Philosophische Studien
Accession number :
edsair.doi.dedup.....56d1f1d5fb67d88961359ecdddced112
Full Text :
https://doi.org/10.5840/gps19985517
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details