Buch, Deutsch, 266 Seiten, Format (B × H): 160 mm x 236 mm, Gewicht: 570 g
Reihe: ISSN
Buch, Deutsch, 266 Seiten, Format (B × H): 160 mm x 236 mm, Gewicht: 570 g
Reihe: ISSN
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.
Zielgruppe
Wissenschaftler/innen, Bibliotheken, Institute, Mathematiker/inne / Scholars, libraries, academic institutions, mathematicians