Subsystems of second order arithmetic
Auteur :
Simpson, Stephen G.
Éditeur :
Cambridge University Press
ISBN :
9780521150149
Date de publication :
18 févr. 2010
Dimensions :
23,4 x 15,6 x 2,4 cm
Poids :
650 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Grande Bretagne
What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.