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.
Theorien der reellen Zahlen und Interpretierbarkeit is onder andere te koop bij: Bol. Esy raadt altijd aan om meerdere aanbieders te bekijken om geen last minute deals mis te lopen.