Please use this identifier to cite or link to this item: https://nbn-resolving.org/urn:nbn:de:hbz:467-13064
Files in This Item:
File Description SizeFormat
Habilitationsschrift_Hannes_Diener.pdf1,31 MBAdobe PDFThumbnail
View/Open
Dokument Type: Habilitation
Title: Constructive reverse mathematics : Habilitationsschrift
Konstruktive reverse Mathematik
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
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

Show full item record

Page view(s)

92
checked on Oct 31, 2020

Download(s)

1,026
checked on Oct 31, 2020

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.