Zur Startseite gehen
0,00 €*
Cover: 9789811564581 | Ordinal Analysis with an Introduction to Proof Theory | Toshiyasu Arai
Dekorationsartikel gehören nicht zum Leistungsumfang.
Ordinal Analysis with an Introduction to Proof Theory
Buch von Toshiyasu Arai
Sprache: Englisch

82,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 2-3 Wochen

Kategorien:
Beschreibung
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.
Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal analysis, a research topic in proof theory that is concerned with the ordinal theoretic content of formal theories. However, the book also addresses ordinal analysis and basic materials in proof theory of first-order or omega logic, presenting some new results and new proofs of known ones.
Primarily intended for graduate students and researchers in mathematics, especially in mathematical logic, the book also includes numerous exercises and answers for selected exercises, designed to help readers grasp and apply the main results and techniques discussed.
Über den Autor
Toshiyasu Arai received a PhD from Tsukuba University. His thesis was on an extension of G. Takeuti's consistency proofs.
He got positions in Nagoya University, Hiroshima University, Kobe University, Chiba University, and University of Tokyo. His research interest is in proof theory. He received the MSJ Autumn Prize from the Mathematical Society of Japan in 2004 for the research on the Hilbert's second problem.
Zusammenfassung

Covers ordinal analysis at an advanced level, and proof theory at an elementary level

Approaches ordinal analysis in a contemporary fashion

Includes a wealth of exercises and answers, making it suitable for student use

Inhaltsverzeichnis
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
Details
Erscheinungsjahr: 2020
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Seiten: 332
Reihe: Logic in Asia: Studia Logica Library
Inhalt: xvi
313 S.
20 s/w Illustr.
313 p. 20 illus.
ISBN-13: 9789811564581
ISBN-10: 9811564582
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Arai, Toshiyasu
Auflage: 1st ed. 2020
Hersteller: Springer Singapore
Springer Nature Singapore
Logic in Asia: Studia Logica Library
Maße: 241 x 160 x 24 mm
Von/Mit: Toshiyasu Arai
Erscheinungsdatum: 12.08.2020
Gewicht: 0,664 kg
preigu-id: 118437155
Über den Autor
Toshiyasu Arai received a PhD from Tsukuba University. His thesis was on an extension of G. Takeuti's consistency proofs.
He got positions in Nagoya University, Hiroshima University, Kobe University, Chiba University, and University of Tokyo. His research interest is in proof theory. He received the MSJ Autumn Prize from the Mathematical Society of Japan in 2004 for the research on the Hilbert's second problem.
Zusammenfassung

Covers ordinal analysis at an advanced level, and proof theory at an elementary level

Approaches ordinal analysis in a contemporary fashion

Includes a wealth of exercises and answers, making it suitable for student use

Inhaltsverzeichnis
Introduction.- Calculi for classical logic.- Cut-elimination in depth.- Epsilon numbers.- Iterations.- Collapsings.
Details
Erscheinungsjahr: 2020
Fachbereich: Allgemeines
Genre: Philosophie
Jahrhundert: Antike
Rubrik: Geisteswissenschaften
Thema: Lexika
Medium: Buch
Seiten: 332
Reihe: Logic in Asia: Studia Logica Library
Inhalt: xvi
313 S.
20 s/w Illustr.
313 p. 20 illus.
ISBN-13: 9789811564581
ISBN-10: 9811564582
Sprache: Englisch
Ausstattung / Beilage: HC runder Rücken kaschiert
Einband: Gebunden
Autor: Arai, Toshiyasu
Auflage: 1st ed. 2020
Hersteller: Springer Singapore
Springer Nature Singapore
Logic in Asia: Studia Logica Library
Maße: 241 x 160 x 24 mm
Von/Mit: Toshiyasu Arai
Erscheinungsdatum: 12.08.2020
Gewicht: 0,664 kg
preigu-id: 118437155
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780521311786 | Aristotle and Logical Theory | Jonathan Lear (u. a.) | Taschenbuch
Aristotle and Logical Theory
EAN: 9780521311786
Sprache: Englisch
Von/Mit: Jonathan Lear (u. a.)

52,95 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783836679275 | Shader mit GLSL | Eine Einführung in die OpenGL Shading Language
Shader mit GLSL: Eine Einführung in die OpenGL Shading Language
EAN: 9783836679275
Sprache: Deutsch
Von/Mit: Heiko Ihde

48,00 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9780521877527 | Computability and Logic | George S. Boolos (u. a.) | Buch | Englisch
Computability and Logic
EAN: 9780521877527
Sprache: Englisch
Von/Mit: George S. Boolos (u. a.)

128,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783540735090 | Laplacian Eigenvectors of Graphs | Türker Biyikoglu (u. a.) | Buch
Laplacian Eigenvectors of Graphs
Perron-Frobenius and Faber-Krahn Type Theorems
EAN: 9783540735090
Sprache: Englisch
Von/Mit: Türker Biyikoglu (u. a.)

41,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781107527539 | The History of Mathematical Proof in Ancient Traditions | Chemla
The History of Mathematical Proof in Ancient Traditions
EAN: 9781107527539
Sprache: Englisch
Von/Mit: Karine Chemla

66,10 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9781118428214 | Resampling Methods and R 2e | Good | Taschenbuch | Paperback | 224 S.
Resampling Methods and R 2e
EAN: 9781118428214
Von/Mit: Phillip I Good

65,90 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783528030308 | Vektor- und Tensorrechnung für die Physik | Gerhard Gerlich | Buch | V
Vektor- und Tensorrechnung für die Physik
EAN: 9783528030308
Von/Mit: Gerhard Gerlich

59,99 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9789811080807 | Digital Signal Processing | Theory and Practice | Swamy (u. a.) | Buch
Digital Signal Processing
Theory and Practice
EAN: 9789811080807
Sprache: Englisch
Von/Mit: M. N. S. Swamy (u. a.)

83,60 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9781634623414 | Controlling the Chaos | Robert Fox | Taschenbuch | Paperback | 2018
Controlling the Chaos
A Functional Framework for Enterprise Architecture and Governance
EAN: 9781634623414
Sprache: Englisch
Von/Mit: Robert Fox

72,90 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9789813297951 | Quantum Finance | Intelligent Forecast and Trading Systems | Lee
Quantum Finance
Intelligent Forecast and Trading Systems
EAN: 9789813297951
Sprache: Englisch
Von/Mit: Raymond S. T. Lee

82,95 €*

Lieferzeit 2-3 Wochen

Taschenbuch
Cover: 9783668999367 | Was ist Cloud Computing? Eine Bewertung der Vor- und Nachteile...
Was ist Cloud Computing? Eine Bewertung der Vor- und Nachteile anhand der Microsoft-Plattform "Azure"
EAN: 9783668999367
Von/Mit: Johann Schulz

17,95 €*

Lieferzeit 4-7 Werktage

Buch
Cover: 9783030321604 | Healthcare and Artificial Intelligence | Bernard Nordlinger (u. a.)
Healthcare and Artificial Intelligence
EAN: 9783030321604
Sprache: Englisch
Von/Mit: Bernard Nordlinger (u. a.)

41,40 €*

Lieferzeit 1-2 Wochen

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...