Articoli correlati a Subsystems of Second Order Arithmetic
Sinossi
Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreCambridge University Press
- Data di pubblicazione2009
- ISBN 10 052188439X
- ISBN 13 9780521884396
- RilegaturaCopertina rigida
- LinguaInglese
- Numero edizione2
- Numero di pagine464
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 55,00
EUR 32,00 per la spedizione da Spagna a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Subsystems of Second Order Arithmetic
Foto dell'editore
Subsystems of Second Order Arithmetic 2nd Edition Hardback (Perspectives in Logic)
Da: Libreria Hispano Americana, Barcelona, BARCE, Spagna
Valutazione del venditore 3 su 5 stelle
Encuadernación de tapa dura. Condizione: Nuevo. Condizione sovraccoperta: Nuevo. 2ª Edición. Codice articolo ABE-1734341907085
Quantità: 1 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: 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. Codice articolo 8364867
Quantità: 4 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Editore:
Cambridge University Press, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
Antico o usato
Rilegato
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Hardcover. Condizione: Like New. Like New. book. Codice articolo ERICA757052188439X5
Quantità: 1 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9780521884396
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Subsystems of Second Order Arithmetic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Gebunden. Condizione: 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. Codice articolo 446952175
Quantità: Più di 20 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780521884396_new
Quantità: Più di 20 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Brand New. 2nd edition. 460 pages. 9.10x6.30x1.20 inches. In Stock. This item is printed on demand. Codice articolo __052188439X
Quantità: 1 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2416190020264
Quantità: Più di 20 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic (Hardcover)
Editore:
Cambridge University Press, Cambridge, 2009
ISBN 10: 052188439X
ISBN 13: 9780521884396
Nuovo
Rilegato
Da: CitiRetail, Stevenage, Regno Unito
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: 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. Codice articolo 9780521884396
Quantità: 1 disponibili
Immagini fornite dal venditore
Subsystems of Second Order Arithmetic
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volumes examines these appropriate axioms for mathematics to prove particular theorems in core areas. Codice articolo 9780521884396
Quantità: 1 disponibili