GERMAN

Theorien der Reellen Zahlen und Interpretierbarkeit

Book information

Publisher
de Gruyter
Year
2016
ISBN
311045856X, 9783110458565
Language
german
Format
PDF
Filesize
23 MB (23706675 bytes)
Series
Logos
Pages
266\274
Time added
2017-01-01 05:48:57

Description

Die Metamathematik der reellen Zahlen kann durch verschiedene formale Theorien der reellen Zahlen entwickelt werden. Ausgehend von der Theorie der reell abgeschlossenen Korper 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 begrunden ein eigenes Reduktionsprogramm."

Similar books