Articles liés à Subsystems of Second Order Arithmetic
Synopsis
Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as 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. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurCambridge University Press
- Date d'édition2009
- ISBN 10 052188439X
- ISBN 13 9780521884396
- ReliureRelié
- Langueanglais
- Numéro d'édition2
- Nombre de pages464
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 55
EUR 32 expédition depuis Espagne vers France
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour Subsystems of Second Order Arithmetic
Image d'archives
Subsystems of Second Order Arithmetic 2nd Edition Hardback (Perspectives in Logic)
Edité par
Cambridge University Press, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : Libreria Hispano Americana, Barcelona, BARCE, Espagne
Évaluation du vendeur 3 sur 5 étoiles
Encuadernación de tapa dura. Etat : Nuevo. Etat de la jaquette : Nuevo. 2ª Edición. N° de réf. du vendeur ABE-1734341907085
Quantité disponible : 1 disponible(s)
Image d'archives
Subsystems of Second Order Arithmetic
Edité par
Cambridge University Press, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 464 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 8364867
Quantité disponible : 4 disponible(s)
Image d'archives
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Edité par
Cambridge University Press, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780521884396_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Edité par
Cambridge University Press, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9780521884396
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Subsystems of Second Order Arithmetic
Edité par
Cambridge University Press, 2010
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, t. N° de réf. du vendeur 446952175
Quantité disponible : Plus de 20 disponibles
Image d'archives
Subsystems of Second Order Arithmetic
Edité par
Cambridge Univ Pr, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 2nd edition. 460 pages. 9.10x6.30x1.20 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __052188439X
Quantité disponible : 1 disponible(s)
Image d'archives
Subsystems of Second Order Arithmetic (Hardcover)
Edité par
Cambridge University Press, Cambridge, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as 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. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic. 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. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9780521884396
Quantité disponible : 1 disponible(s)
Image d'archives
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Edité par
Cambridge University Press, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2416190020264
Quantité disponible : Plus de 20 disponibles
Image d'archives
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Edité par
Cambridge University Press, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Ancien ou d'occasion
Couverture rigide
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA757052188439X5
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Subsystems of Second Order Arithmetic
Edité par
Cambridge University Press, 2009
ISBN 10 : 052188439X
ISBN 13 : 9780521884396
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volumes examines these appropriate axioms for mathematics to prove particular theorems in core areas. N° de réf. du vendeur 9780521884396
Quantité disponible : 1 disponible(s)