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.
Compra nuovo
Visualizza questo articolo
EUR 66,05
EUR 10,29 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 5 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)
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
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
Foto dell'editore
Subsystems of Second Order Arithmetic: Second Edition (Perspectives in Logic)
Editore:
Cambridge University Press 2010-02-18, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Nuovo
Paperback
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: New. Codice articolo 6666-IUK-9780521150149
Quantità: 10 disponibili
Immagini fornite dal venditore
Subsystems of Second Order Arithmetic
Editore:
Cambridge University Press, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. 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
Editore:
Cambridge University Press CUP, 2010
ISBN 10: 0521150140
ISBN 13: 9780521150149
Nuovo
Brossura
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 464 2. Codice articolo 263066553
Quantità: 4 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. Codice articolo x-0521150140
Quantità: 2 disponibili