De Gruyter (2016)
Abstract |
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.
|
Keywords | No keywords specified (fix it) |
Categories |
No categories specified (categorize this paper) |
Buy this book | $122.39 new Amazon page |
ISBN(s) | 9783110459197 311045856X 3110459191 |
DOI | 10.1515/9783110459197 |
Options |
![]() ![]() ![]() |
Download options

References found in this work BETA
No references found.
Citations of this work BETA
A System of Axioms for Minkowski Spacetime.Lorenzo Cocco & Joshua Babic - 2020 - Journal of Philosophical Logic:1-37.
Similar books and articles
7. Zweitstufige Theorien der reellen Zahlen.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 156-191.
4. Interpretierbarkeit zwischen Theorien von Körpern.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 98-106.
3. Negative Resultate über Interpretierbarkeit in RCF.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 80-97.
1. Interpretierbarkeit.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 15-62.
6. Eine erststufige Theorie reeller und natürlicher Zahlen.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 133-155.
Anhang.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 225-258.
Schluss.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 192-224.
Literatur.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 259-264.
Frontmatter.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter.
Sachregister.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 265-266.
Einleitung.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 1-14.
5. Arithmetisierung der Geometrie.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 107-132.
2. Die Theorie der reell abgeschlossenen Körper RCF.Daniel Alscher - 2016 - In Theorien der Reellen Zahlen Und Interpretierbarkeit. De Gruyter. pp. 63-79.
Analytics
Added to PP index
2016-01-22
Total views
0
Recent downloads (6 months)
0
2016-01-22
Total views
0
Recent downloads (6 months)
0
How can I increase my downloads?
Downloads
Sorry, there are not enough data points to plot this chart.
Sorry, there are not enough data points to plot this chart.