Citation link:
https://nbn-resolving.org/urn:nbn:de:hbz:467-13064
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Habilitationsschrift_Hannes_Diener.pdf | 1.31 MB | Adobe PDF | View/Open |
Dokument Type: | Habilitation | metadata.dc.title: | Constructive reverse mathematics : Habilitationsschrift | Authors: | Diener, Hannes | Institute: | Fakultät IV - Naturwissenschaftlich-Technische Fakultät | Free keywords: | Intuitionism, Constructive Analysis | Dewey Decimal Classification: | 510 Mathematik | GHBS-Clases: | TBU TCK |
Issue Date: | 2018 | Publish Date: | 2018 | Abstract: | We give a comprehensive treatment of the area known as constructive reverse mathematics, which aims to classify, over intuitionistic logic, various theorems in intuitionistic, constructive recursive, and classical mathematics. Our work provides an overview of many known results, but also many new results, and new proofs of known results. We cover omniscience principles, Markov’s principle, Brouwer’s fan theorem(s), recursive principles, Ishihara’s boundedness principle BD-N, as well as minor principles, and separation techniques. Diese Arbeit beschäftigt sich mit dem Gebiet der „konstruktiven reversen Mathematik“ („constructive reverse mathematics“), dessen Ziel es ist verschiedene Aussagen aus der intuitionistischen, der rekursiven und der klassischen Mathematik über intuitionistischer Logik zu klassifizieren. Es wird ein Überblick über bekannte Ergebnisse, aber auch viele neue Resultate und neue Beweise gegeben. Unter anderem werden „Allwissenheits“-Prinzipien, Markov’s Prinzip, die Brouwer’schen Fächersätze, Aussagen aus der rekursiven Mathematik und Ishiharas Beschränktheitsprinzip BD-N behandelt. |
URN: | urn:nbn:de:hbz:467-13064 | URI: | https://dspace.ub.uni-siegen.de/handle/ubsi/1306 | License: | https://dspace.ub.uni-siegen.de/static/license.txt |
Appears in Collections: | Hochschulschriften |
This item is protected by original copyright |
Page view(s)
876
checked on Dec 25, 2024
Download(s)
1,480
checked on Dec 25, 2024
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.