Edit Profile (opens in new tab) Kreuzer, Alexander P. Co-Author Distance Author ID: kreuzer.alexander-p Published as: Kreuzer, Alexander P.; Kreuzer, Alexander Homepage: http://aleph.one/matkaps/ External Links: MGP Documents Indexed: 29 Publications since 2009, including 1 Book and 2 Additional arXiv Preprints Reviewing Activity: 21 Reviews Co-Authors: 4 Co-Authors with 5 Joint Publications 132 Co-Co-Authors all top 5 Co-Authors 19 single-authored 2 Brattka, Vasco 2 Czado, Claudia 2 Hendtlass, Matthew Ralph John 2 Kohlenbach, Ulrich Wilhelm 1 Bauer, Joachim 1 Blunck, Andrea 1 Valle, Luciana Dalla 1 Yokoyama, Keita all top 5 Serials 8 Mitteilungen der Mathematischen Gesellschaft in Hamburg 3 Notre Dame Journal of Formal Logic 2 The Journal of Symbolic Logic 2 Mathematical Logic Quarterly (MLQ) 2 Journal of Mathematical Logic 1 Proceedings of the American Mathematical Society 1 Computational Statistics and Data Analysis 1 Archive for Mathematical Logic 1 Theory of Computing Systems 1 Logical Methods in Computer Science 1 Journal of Logic and Analysis 1 Journal of Computational and Graphical Statistics 1 Computability 1 London Mathematical Society. Newsletter all top 5 Fields 17 Mathematical logic and foundations (03-XX) 8 History and biography (01-XX) 5 Combinatorics (05-XX) 2 Statistics (62-XX) 1 General and overarching topics; collections (00-XX) 1 Operator theory (47-XX) 1 General topology (54-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 80 times in 58 Documents Cited by ▼ Year ▼ On the uniform computational content of computability theory. Zbl 1420.03110 Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 19 2017 Primitive recursion and the chain antichain principle. Zbl 1253.03090 Kreuzer, Alexander P. 11 2012 On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations. Zbl 1436.03303 Kreuzer, Alexander P.; Yokoyama, Keita 7 2016 Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059 Kreuzer, Alexander; Kohlenbach, Ulrich 7 2009 The cohesive principle and the Bolzano-Weierstrass principle. Zbl 1243.03016 Kreuzer, Alexander P. 6 2011 Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112 Kohlenbach, Ulrich; Kreuzer, Alexander P. 6 2012 Bounded variation and the strength of Helly’s selection theorem. Zbl 1322.03012 Kreuzer, Alexander P. 5 2014 On the uniform computational content of the Baire category theorem. Zbl 1455.03080 Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 5 2018 Non-principal ultrafilters, program extraction and higher-order reverse mathematics. Zbl 1269.03021 Kreuzer, Alexander P. 5 2012 Measure theory and higher order arithmetic. Zbl 1386.03016 Kreuzer, Alexander P. 4 2015 On idempotent ultrafilters in higher-order reverse mathematics. Zbl 1358.03021 Kreuzer, Alexander P. 3 2015 Efficient Bayesian inference for nonlinear state space models with univariate autoregressive state equation. Zbl 07499294 Kreuzer, Alexander; Czado, Claudia 2 2020 On the strength of weak compactness. Zbl 1270.03128 Kreuzer, Alexander P. 2 2012 Efficient Bayesian inference for nonlinear state space models with univariate autoregressive state equation. Zbl 07499294 Kreuzer, Alexander; Czado, Claudia 2 2020 On the uniform computational content of the Baire category theorem. Zbl 1455.03080 Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 5 2018 On the uniform computational content of computability theory. Zbl 1420.03110 Brattka, Vasco; Hendtlass, Matthew; Kreuzer, Alexander P. 19 2017 On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations. Zbl 1436.03303 Kreuzer, Alexander P.; Yokoyama, Keita 7 2016 Measure theory and higher order arithmetic. Zbl 1386.03016 Kreuzer, Alexander P. 4 2015 On idempotent ultrafilters in higher-order reverse mathematics. Zbl 1358.03021 Kreuzer, Alexander P. 3 2015 Bounded variation and the strength of Helly’s selection theorem. Zbl 1322.03012 Kreuzer, Alexander P. 5 2014 Primitive recursion and the chain antichain principle. Zbl 1253.03090 Kreuzer, Alexander P. 11 2012 Term extraction and Ramsey’s theorem for pairs. Zbl 1254.03112 Kohlenbach, Ulrich; Kreuzer, Alexander P. 6 2012 Non-principal ultrafilters, program extraction and higher-order reverse mathematics. Zbl 1269.03021 Kreuzer, Alexander P. 5 2012 On the strength of weak compactness. Zbl 1270.03128 Kreuzer, Alexander P. 2 2012 The cohesive principle and the Bolzano-Weierstrass principle. Zbl 1243.03016 Kreuzer, Alexander P. 6 2011 Ramsey’s theorem for pairs and provably recursive functions. Zbl 1221.03059 Kreuzer, Alexander; Kohlenbach, Ulrich 7 2009 all cited Publications top 5 cited Publications all top 5 Cited by 63 Authors 12 Brattka, Vasco 8 Kreuzer, Alexander P. 7 Patey, Ludovic 7 Sanders, Sam 5 Gherardi, Guido 4 Pauly, Arno M. 3 Kohlenbach, Ulrich Wilhelm 3 Shafer, Paul 3 Steila, Silvia 2 Berardi, Stefano 2 Cholak, Peter A. 2 Hendtlass, Matthew Ralph John 2 Hirst, Jeffry Lynn 2 Normann, Dag 2 Oliva, Paulo 2 Pelupessy, Florian 2 Rathjen, Michael 2 Soldà, Giovanni 2 Yokoyama, Keita 1 Bienvenu, Laurent 1 Borrego-Díaz, Joaquín 1 Buss, Samuel R. 1 Chong, Chi Tat 1 Davis, Caleb S. 1 Dorais, François Gilbert 1 Downey, Rodney Graham 1 Dzhafarov, Damir D. 1 Fiori-Carones, Marta 1 Freund, Anton 1 Frigon, Marlène 1 Günzel, Daniel 1 Hirschfeldt, Denis Roman 1 Hölzl, Rupert 1 Hoyrup, Mathieu 1 Iemhoff, Rosalie 1 Igusa, Gregory 1 Jockusch, Carl G. jun. 1 Kołodziejczyk, Leszek Aleksander 1 Kuyper, Rutger 1 Lerman, Manuel 1 Leroux, Stéphane 1 Li, Wei 1 Marcone, Alberto 1 Melnikov, Alexander G. 1 Mileti, Joseph R. 1 Miller, Joseph S. 1 Montalbán, Antonio 1 Ng, KengMeng 1 Nies, André Otfrid 1 Omata, Yasuhiko 1 Pardo, Jake 1 Rakotoniaina, Tahina 1 Ransom, Tim 1 Shore, Richard Arnold 1 Solomon, Reed 1 Soskova, Mariya Ivanova 1 Teh, Wen Chean 1 Tojo, F. Adrián F. 1 Towsner, Henry 1 Turetsky, Dan 1 Valenti, Manlio 1 Wang, Wei 1 Weiermann, Andreas all top 5 Cited in 17 Serials 9 The Journal of Symbolic Logic 7 Annals of Pure and Applied Logic 4 Advances in Mathematics 4 Archive for Mathematical Logic 4 Logical Methods in Computer Science 3 Notre Dame Journal of Formal Logic 3 Transactions of the American Mathematical Society 3 Mathematical Logic Quarterly (MLQ) 3 Journal of Mathematical Logic 3 Computability 1 Israel Journal of Mathematics 1 Proceedings of the American Mathematical Society 1 MSCS. Mathematical Structures in Computer Science 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 Oberwolfach Reports 1 Boundary Value Problems all top 5 Cited in 11 Fields 54 Mathematical logic and foundations (03-XX) 21 Combinatorics (05-XX) 7 Computer science (68-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 2 Real functions (26-XX) 1 General and overarching topics; collections (00-XX) 1 Topological groups, Lie groups (22-XX) 1 Measure and integration (28-XX) 1 Ordinary differential equations (34-XX) 1 Sequences, series, summability (40-XX) 1 Functional analysis (46-XX) Citations by Year