GERMAN

Theorien Der Reellen Zahlen Und Interpretierbarkeit

By Daniel Alscher

Book information

Publisher
de Gruyter
Year
2016
ISBN
311045856X, 9783110458565
Language
german
Format
PDF
Filesize
1 MB (1552256 bytes)
Series
Logos 25
Pages
274\274
Topic
Mathematics Logic
Scanned
no
Time added
2016-08-21 12:21:08
Logic & Language;Philosophy;Politics & Social ScieUsed & Rental Textbooks;Specialty Boutique

Description

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.

Similar books