Theorien der reellen Zahlen und Interpretierbarkeit
Seiten
| Ausstattung: Hardcover & eBook
2016
De Gruyter
978-3-11-045920-3 (ISBN)
De Gruyter
978-3-11-045920-3 (ISBN)
- Titel leider nicht mehr lieferbar
- Artikel merken
The metamathematics of real numbers can be developed by analysing different formal theories of real numbers. Based on the theory of real closed fields several extensions are investigated proof-theoretically and compared with each other and with other canonical mathematical theories via the relation of interpretability. The results determine the resources employed in those theories and establish a reducibility approach to real numbers. 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.
Daniel Alscher, Berlin.
| Reihe/Serie | Logos ; 25 |
|---|---|
| Zusatzinfo | Enthält eine Printausgabe und ein eBook |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 155 x 230 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Philosophie der Neuzeit |
| Schlagworte | Algebra • Hilbert, David • Interpretation • Körper • solids |
| ISBN-10 | 3-11-045920-5 / 3110459205 |
| ISBN-13 | 978-3-11-045920-3 / 9783110459203 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
