Theorien der reellen Zahlen und Interpretierbarkeit
Av Daniel Alscher, 2016.Del av serien Logos.
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.
Språk: Tysk
Theorien der reellen Zahlen und Interpretierbarkeit
Av Daniel Alscher, 2016.Del av serien Logos.
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.
Språk: Tysk
Ved å fullføre kjøpet aksepterer du kjøpsvilkårene.
