Subsystems of Second Order Arithmetic

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

58,00 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

Through a series of case studies, this volume examines these axioms to prove particular theorems in core mathematical areas.

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	2010
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521150149
ISBN-10:	0521150140
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Simpson, Stephen G.
Auflage:	2. Auflage
Hersteller:	Cambridge University Press
Maße:	234 x 156 x 25 mm
Von/Mit:	Stephen G. Simpson
Erscheinungsdatum:	08.01.2010
Gewicht:	0,699 kg

Artikel-ID: 101334696

Inhaltsverzeichnis

Details

Erscheinungsjahr:	2010
Fachbereich:	Grundlagen
Genre:	Mathematik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
ISBN-13:	9780521150149
ISBN-10:	0521150140
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Simpson, Stephen G.
Auflage:	2. Auflage
Hersteller:	Cambridge University Press
Maße:	234 x 156 x 25 mm
Von/Mit:	Stephen G. Simpson
Erscheinungsdatum:	08.01.2010
Gewicht:	0,699 kg