Subsystems of second order arithmetic. Perspectives in Logic; 1.

Simpson, Stephen George:

ISBN 10: 052188439X / ISBN 13: 9780521884396

Verlag: Cambridge, Cambridge University Press; Association for Symbolic Logic, 2010

Beschreibung

XVI, 444 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03623 9780521884396 Sprache: Englisch Gewicht in Gramm: 550.

Bestandsnummer des Verkäufers 2513324

Bibliografische Details

• Titel: Subsystems of second order arithmetic. Perspectives in Logic; 1.
• Verlag: Cambridge, Cambridge University Press; Association for Symbolic Logic
• Erscheinungsjahr: 2010
• Sprache: Englisch
• ISBN-10: 052188439X
• ISBN-13: 9780521884396
• Einband: Hardcover
• Auflage: 2nd edition, digitally printed version.
• Gewicht: 550 Gramm
• Verkäuferkataloge:
  • AA Varia

Über diesen Titel

Inhaltsangabe

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.

Über die Autorin bzw. den Autor

Stephen G. Simpson is a mathematician and professor at Pennsylvania State University. The winner of the Grove Award for Interdisciplinary Research Initiation, Simpson specializes in research involving mathematical logic, foundations of mathematics, and combinatorics.