Alexander P. Kreuzer

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A Bayesian non-linear state space copula model for air pollution in Beijing Journal of the Royal Statistical Society. Series C. Applied Statistics	2024-11-27	Paper
On the uniform computational content of the Baire category theorem Notre Dame Journal of Formal Logic	2018-12-21	Paper
On the uniform computational content of the Baire category theorem Notre Dame Journal of Formal Logic	2018-12-21	Paper
On the uniform computational content of computability theory Theory of Computing Systems	2018-02-01	Paper
On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations Journal of Mathematical Logic	2016-08-08	Paper
Measure theory and higher order arithmetic Proceedings of the American Mathematical Society	2015-11-02	Paper
A lower bound on Gowers' FIN_k theorem	2015-10-07	Paper
ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS Journal of Symbolic Logic	2015-05-20	Paper
Bounded variation and the strength of Helly's selection theorem Logical Methods in Computer Science	2015-01-15	Paper
From Bolzano‐Weierstraß to Arzelà‐Ascoli Mathematical Logic Quarterly	2014-06-06	Paper
Program extraction for 2-random reals Archive for Mathematical Logic	2013-09-09	Paper
Minimal idempotent ultrafilters and the Auslander-Ellis theorem	2013-05-28	Paper
On the strength of weak compactness Computability	2013-01-30	Paper
A logical analysis of the generalized Banach contractions principle Journal of Logic and Analysis	2012-12-17	Paper
Term extraction and Ramsey's theorem for pairs The Journal of Symbolic Logic	2012-09-19	Paper
Term extraction and Ramsey's theorem for pairs The Journal of Symbolic Logic	2012-09-19	Paper
Non-principal ultrafilters, program extraction and higher-order reverse mathematics Journal of Mathematical Logic	2012-09-06	Paper
Proof mining and combinatorics. Program extraction for Ramsey's theorem for pairs	2012-07-12	Paper
Primitive recursion and the chain antichain principle Notre Dame Journal of Formal Logic	2012-07-11	Paper
The cohesive principle and the Bolzano-Weierstraß principle Mathematical Logic Quarterly	2011-06-17	Paper
Ramsey's theorem for pairs and provably recursive functions Notre Dame Journal of Formal Logic	2010-09-02	Paper

Research outcomes over time

This page was built for person: Alexander P. Kreuzer