Custom cover image
Custom cover image

Theorien der reellen Zahlen und Interpretierbarkeit / Daniel Alscher

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: German Series: De Gruyter eBook-Paket Philosophie | Logos ; Band/Volume 25Publisher: Berlin ; Boston : De Gruyter, [2016]Copyright date: ©2016Description: 1 Online-RessourceISBN:
  • 3110459191
  • 9783110459197
  • 9783110458619
  • 3110458616
Subject(s): Genre/Form: Additional physical formats: 9783110458619. | 9783110459203. | 9783110458565. | Erscheint auch als: Theorien der reellen Zahlen und Interpretierbarkeit. Druck-Ausgabe Berlin : De Gruyter, 2016. VIII, 266 Seiten | Erscheint auch als: 9783110458565 Druck-AusgabeDDC classification:
  • 512.786
MSC: MSC: *03-02 | 03B30 | 03C40 | 03C62 | 03A05RVK: RVK: CC 2600 | SK 130Local classification: Lokale Notation: math 2.30LOC classification:
  • QA241
DOI: DOI: 10.1515/9783110459197Online resources:
Contents:
Frontmatter -- -- Vorwort -- -- Inhalt -- -- Einleitung -- -- 1. Interpretierbarkeit -- -- 2. Die Theorie der reell abgeschlossenen Körper RCF -- -- 3. Negative Resultate über Interpretierbarkeit in RCF -- -- 4. Interpretierbarkeit zwischen Theorien von Körpern -- -- 5. Arithmetisierung der Geometrie -- -- 6. Eine erststufige Theorie reeller und natürlicher Zahlen -- -- 7. Zweitstufige Theorien der reellen Zahlen -- -- Schluss -- -- Anhang -- -- Literatur -- -- Sachregister
Summary: Die Metamathematik der reellen Zahlen kann durch verschiedene formale Theorien der reellen Zahlen entwickelt werden. Ausgehend von der Theorie der reell abgeschlossenen Körper werden Erweiterungen beweistheoretisch untersucht und mit anderen typischen mathematischen Theorien mittels der Relation der Interpretierbarkeit verglichen. Die Ergebnisse bestimmen die logischen Ressourcen jener Theorien und begründen ein eigenes Reduktionsprogramm.PPN: PPN: 860384055Package identifier: Produktsigel: EBA-BACKALL | EBA-CL-MTPY | EBA-CL-PLTLJSIS | EBA-DGALL | EBA-EBKALL | EBA-SSHALL | EBA-STMALL | GBV-23-DGG-HSU | GBV-deGruyter-alles | ZDB-23-DGG | ZDB-23-DPH | BSZ-23-EBA-C1UB | EBA-EXCL | EBA-STMALL2 | EBA-SSHALL2 | EBA-EBKALL2 | ZDB-23-23 | ZDB-23-63
No physical items for this record

Restricted Access; Controlled Vocabulary for Access Rights: online access with authorization star

http://purl.org/coar/access_right/c_16ec.

In German

KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT