Theorien Der Reellen Zahlen Und Interpretierbarkeit
Daniel AlscherThe 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.
Thể loại:
Năm:
2016
Nhà xuát bản:
de Gruyter
Ngôn ngữ:
german
Trang:
274
ISBN 10:
311045856X
ISBN 13:
9783110458565
Loạt:
Logos 25
File:
PDF, 1.48 MB
IPFS:
,
german, 2016