Ways of Proof Theory (eBook)
498 Seiten
Walter de Gruyter GmbH & Co.KG (Verlag)
978-3-11-032490-7 (ISBN)
On the occasion of the retirement of Wolfram Pohlers the Institut für Mathematische Logik und Grundlagenforschung of the University of Münster organized a colloquium and a workshop which took place July 17 - 19, 2008. This event brought together proof theorists from many parts of the world who have been acting as teachers, students and collaborators of Wolfram Pohlers and who have been shaping the field of proof theory over the years. The present volume collects papers by the speakers of the colloquium and workshop; and they produce a documentation of the state of the art of contemporary proof theory.
Preface 6
Contents 7
Wolfram Pohlers—Life and Work 9
The Proof Theory of Classical and Constructive Inductive Definitions. A Forty Year Saga, 1968 – 2008 15
A New Approach to Predicative Set Theory 39
Characterising Definable Search Problems inBounded Arithmetic via Proof Notations 73
On Topological Models of GLP 143
Program Extraction via Typed Realisability for Induction and Coinduction 165
Another Reduction of Classical ID. to Constructive IDi. 191
Elementary Constructive Operational Set Theory 207
Functional Interpretations of Classical Systems 249
Towards a Formal Theory of Computability 265
S11Choice in a Theory of Sets and Classes 291
An Extended Predicative Definition of the Mahlo Universe 323
ITTMs with Feedback 349
Logspace without Bounds 363
Investigations of Subsystems of Second Order Arithmetic and Set Theory in Strength between .11-CA and .12-CA + BI: Part I 371
Weak Theories of Operations and Types 449
Computing Bounds from Arithmetical Proofs 477
| Erscheint lt. Verlag | 2.5.2010 |
|---|---|
| Reihe/Serie | ISSN | Ontos Mathematical Logic |
| Zusatzinfo | Zahlr. Abb. |
| Verlagsort | Berlin/Boston |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik | |
| Technik | |
| Schlagworte | Mathematik • Mathematische Logik • Proof theory |
| ISBN-10 | 3-11-032490-3 / 3110324903 |
| ISBN-13 | 978-3-11-032490-7 / 9783110324907 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 2,2 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
PDF (Adobe DRM)Kopierschutz: Adobe-DRM
Adobe-DRM ist ein Kopierschutz, der das eBook vor Mißbrauch schützen soll. Dabei wird das eBook bereits beim Download auf Ihre persönliche Adobe-ID autorisiert. Lesen können Sie das eBook dann nur auf den Geräten, welche ebenfalls auf Ihre Adobe-ID registriert sind.
Details zum Adobe-DRM
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen eine
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen eine
Geräteliste und zusätzliche Hinweise
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
