Theorien der Reellen Zahlen und Interpretierbarkeit
Book information
Description
Die Metamathematik der reellen Zahlen kann durch verschiedene formale Theorien der reellen Zahlen entwickelt werden. Ausgehend von der Theorie der reell abgeschlossenen Korper 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 begrunden ein eigenes Reduktionsprogramm."
Similar books
Topoi/Graphein: Mapping the Middle in Spatial Thought
2018 · PDF
The Facts of Causation
1998 · PDF
Peter of Spain: Summaries of Logic: Text, Translation, Introduction, and Notes
2014 · PDF
Introduction to Logical Theory
2011 · PDF
Introduction to Logical Theory
2011 · EPUB
Critical Thinking: Consider the Verdict
2011 · PDF
Supervenience: New Essays
1995 · PDF
Around the Tree: Semantic and Metaphysical Issues Concerning Branching and the Open Future
2012 · PDF