Articoli correlati a Subsystems of Second Order Arithmetic: Second Edition:...
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.
Descrizione del libro
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.
Contenuti
List of tables; Preface; Acknowledgements; 1. Introduction; Part I. Development of Mathematics within Subsystems of Z2: 2. Recursive comprehension; 3. Arithmetical comprehension; 4. Weak König's lemma; 5. Arithmetical transfinite recursion; 6. π11 comprehension; Part II. Models of Subsystems of Z2: 7. β-models; 8. ω-models; 9. Non-ω-models; Part III. Appendix: 10. Additional results; Bibliography; Index.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreCambridge University Press
- Data di pubblicazione2010
- ISBN 10 0521150140
- ISBN 13 9780521150149
- RilegaturaCopertina flessibile
- LinguaInglese
- Numero edizione2
- Numero di pagine464
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 65,88
EUR 10,51 per la spedizione da Regno Unito a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Subsystems of Second Order Arithmetic: Second Edition:...
Immagini fornite dal venditore
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Editore:
Cambridge University Press, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Antico o usato
Brossura
Da: -OnTimeBooks-, Phoenix, AZ, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: acceptable. Reading copy. May have signs of wear and previous use scuffs, library copy, highlighting, writing, and underlining . Dust jacket may be missing. 100% GUARANTEE! Shipped with delivery confirmation, if youâre not satisfied with purchase.Ships USPS Media Mail. Codice articolo OTV.0521150140.A
Quantità: 1 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic (Perspectives in Logic)
Editore:
Cambridge University Press, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Antico o usato
Paperback
Da: Amazing Books Pittsburgh, Pittsburgh, PA, U.S.A.
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: As New. clean, sturdy, unmarked copy. -- mj. Codice articolo Sq25670
Quantità: 1 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 464 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 5862758
Quantità: 3 disponibili
Immagini fornite dal venditore
Subsystems of Second Order Arithmetic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
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 446928042
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 ria9780521150149_new
Quantità: Più di 20 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic: Perspectives in Logic
Editore:
Cambridge University Press, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 464 pages. 9.21x6.14x1.05 inches. In Stock. This item is printed on demand. Codice articolo __0521150140
Quantità: 1 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic
Editore:
Cambridge University Press, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 689. Codice articolo C9780521150149
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Subsystems of Second Order Arithmetic : Perspectives in Logic
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 8314033-n
Quantità: Più di 20 disponibili
Foto dell'editore
Subsystems of Second Order Arithmetic
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 464. Codice articolo 183066547
Quantità: 3 disponibili
Immagini fornite dal venditore
Subsystems of Second Order Arithmetic : Perspectives in Logic
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 8314033-n
Quantità: Più di 20 disponibili