Autorenfreundlich Bücher kaufen?!
Beschreibung
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.
Details
| Verlag | De Gruyter |
| Ersterscheinung | 15. Januar 2016 |
| Maße | 23 cm x 15.5 cm |
| Gewicht | 534 Gramm |
| Format | Hardcover |
| ISBN-13 | 9783110458565 |
| Auflage | 1. Auflage |
| Seiten | 266 |
Schlagwörter
Herstellerinformationen
Bekannt durch
