Theorien der reellen Zahlen und interpretierbarkeit / Daniel Alscher.

Format:

Book

Author/Creator:

Alscher, Daniel , 1986- author.

Series:

Logos

Logos : Studien zur Logik, Sprachphilosophie und Metaphysik, 2198-2201 ; Band 25

Language:

German

Subjects (All):

Number theory.

Numbers, Real.

Formally real fields.

Mathematical analysis.

Physical Description:

1 online resource (274 p.)

Edition:

1st ed.

Place of Publication:

Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2016.

Language Note:

German

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.

In contrast to the importance of real numbers for mathematical sciences a metamathematical approach to real numbers has never been developed systematically, a gap this book undertakes to fill. The investigated formal theories of real numbers are based on the theory of real closed fields, due to Tarski known as a complete theory. Theory extensions are considered by adding different set-theoretical or arithmetical concepts, like a pairing function, a predicate for natural numbers or second-order logic. To capture the special features of the metamathematics of real numbers the intertheoretical relation of interpretability is presented and examined, particularly slight variations on the common definition that allow a more accurate classification of the theories of real numbers. Thus the main theorems proven in this book are positive and negative propositions about the interpretability of and in theories of real numbers, constituting a hierarchy among them and comparing them with other canonical mathematical theories. Philosophically the results determine the resources that are employed in these theories and establish a reducibility approach to real numbers inspired by Hilbert's philosophy of mathematics.

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

Notes:

Description based upon print version of record.

Includes bibliographical references and index.

Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Jul 2020)

Description based on print version record.

ISBN:

9783110458619

3110458616

9783110459197

3110459191

OCLC:

935640078