BOOK-CHAPTER
The Arithmetics as Theories of two Orders
Year: 1984 North-Holland mathematics studies Pages: 287-311 Publisher: Elsevier BV
Keywords:
Peano axioms Mathematics Second-order arithmetic Arithmetic Humanities Discrete mathematics Philosophy
Metrics
7
Cited By
1.90
FWCI (Field Weighted Citation Impact)
20
Refs
0.82
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Computability, Logic, AI Algorithms
Physical Sciences → Computer Science → Computational Theory and Mathematics
Advanced Topology and Set Theory
Physical Sciences → Mathematics → Geometry and Topology
Mathematical and Theoretical Analysis
Physical Sciences → Mathematics → Mathematical Physics
Related Documents
JOURNAL ARTICLE
Theories of arithmetics in finite models
Michał KrynickiKonrad Zdanowski
Journal: Journal of Symbolic Logic Year: 2005 Vol: 70 (1)Pages: 1-28