Kreuzer - PDFSEARCH.IO - Document Search Engine

Kreuzer
Results: 134

#	Item
41	Non-principal ultrafilters, program extraction and higher order reverse mathematics Alexander P. Kreuzer ENS Lyon Chocola, November 2012 Add to Reading List Source URL: www.math.nus.edu.sg Language: English
42	Non-principal ultrafilters, program extraction and higher order reverse mathematics Alexander P. Kreuzer ENS Lyon Université Paris Diderot — Preuves, Programmes et Systèmes Add to Reading List Source URL: www.math.nus.edu.sg Language: English
43	The Bolzano-Weierstraß principle and the cohesive principle Alexander P. Kreuzer Technische Universität Darmstadt, Germany Computing with Infinite Data, Dagstuhl, October 2011 Add to Reading List Source URL: www.math.nus.edu.sg Language: English
44	3023 PRAXIS-CHARTERTRAINING-FÜR FORTGESCHRITTENE- Add to Reading List Source URL: ssl.kreuzer-abteilung.org Language: German - Date: 2016-01-19 08:42:31
45	RAMSEY’S THEOREM FOR PAIRS AND PROVABLY RECURSIVE FUNCTIONS ALEXANDER KREUZER AND ULRICH KOHLENBACH Abstract. This paper addresses the strength of Ramsey’s theorem for pairs (RT22 ) over a weak base theory from the p Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-07-12 17:28:13
46	3002, Sicherheitstraining Geschäftsstelle: TelefonFax Add to Reading List Source URL: ssl.kreuzer-abteilung.org Language: German - Date: 2016-02-11 07:55:32
47	3003, Radarpatent Geschäftsstelle: TelefonFax E-Mail Add to Reading List Source URL: ssl.kreuzer-abteilung.org Language: German - Date: 2016-01-11 08:12:03
48	ON THE STRENGTH OF WEAK COMPACTNESS ALEXANDER P. KREUZER Abstract. We study the logical and computational strength of weak compactness in the separable Hilbert space `2 . Let weak-BW be the statement the every bounded se Add to Reading List Source URL: www.math.nus.edu.sg Language: English
49	3009, Knoten-Spleißen-Takeln Geschäftsstelle: TelefonFax Add to Reading List Source URL: www.kreuzer-abteilung.org Language: German - Date: 2016-01-12 08:43:15
50	3007, UKW-Sprechfunk-Funkbetriebszeugnis-Kombi (UBI/SRC) Geschäftsstelle: TelefonFax Add to Reading List Source URL: ssl.kreuzer-abteilung.org Language: German - Date: 2016-02-11 07:55:30

UPDATE