> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs Weitere Titel: Proof-mining und Kombinatorik : Programmextraktion für den Satz von Ramsey für Paare Beteiligte: Kreuzer, Alexander P. [Verfasser]; Kohlenbach, Ulrich [Akademischer Betreuer]; Avigad, Jeremy [Akademischer Betreuer]; Martin, Ziegler [Akademischer Betreuer] Erschienen: Darmstadt: Universitäts- und Landesbibliothek Darmstadt, 2012 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: proof-mining ; proof-theory ; Ramsey's theorem for pairs ; ultrafilters ; Bolzano-Weierstrass ; weak compactness ; cohesive principle ; chain antichain principle ; functional interpretation ; bar recursion ; Hochschulschrift Entstehung: Hochschulschrift: Dissertation, Darmstadt, Technische Universität Darmstadt, 2012 Anmerkungen: Zugangsstatus: Freier Zugang