Diener, Hannes

Preferred name
Diener, Hannes

Settings

Now showing 1 - 1 of 1
  • Some of the metrics are blocked by your 
    consent settings
    PublicationAccess status: Open Access ,
    Constructive reverse mathematics : Habilitationsschrift
    (2018)
    Diener, Hannes
    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.
    Source Type:Habilitation
      7  25