Buch, Deutsch, Band 25, 266 Seiten, Format (B × H): 160 mm x 236 mm, Gewicht: 570 g
Reihe: Logos
Buch, Deutsch, Band 25, 266 Seiten, Format (B × H): 160 mm x 236 mm, Gewicht: 570 g
Reihe: Logos
ISBN: 978-3-11-045856-5
Verlag: De Gruyter
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.




