Some error occured while loading the Quick View. Please close the Quick View and try reloading the page.
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.
Price: $196.99
Pages: 274
Publisher: De Gruyter
Imprint: De Gruyter
Publication Date:
15 January 2016
ISBN: 9783110458565
Format: Hardcover
BISACs:
MAT002000 MATHEMATICS / Algebra / General, MAT018000 MATHEMATICS / Logic, PHI016000 PHILOSOPHY / History & Surveys / Modern
Daniel Alscher, Berlin.