Alexander P. Kreuzer

Available identifiers

Publication	Date of Publication	Type
A Bayesian non-linear state space copula model for air pollution in Beijing	2024-11-27	Paper
On the uniform computational content of the Baire category theorem	2018-12-21	Paper
On the uniform computational content of computability theory	2018-02-01	Paper
On principles between \(\Sigma_1\)- and \(\Sigma_2\)-induction, and monotone enumerations	2016-08-08	Paper
Measure theory and higher order arithmetic	2015-11-02	Paper
A lower bound on Gowers' FIN_k theorem	2015-10-07	Paper
ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS	2015-05-20	Paper
Bounded variation and the strength of Helly's selection theorem	2015-01-15	Paper
From Bolzano‐Weierstraß to Arzelà‐Ascoli	2014-06-06	Paper
Program extraction for 2-random reals	2013-09-09	Paper
Minimal idempotent ultrafilters and the Auslander-Ellis theorem	2013-05-28	Paper
On the strength of weak compactness	2013-01-30	Paper
A logical analysis of the generalized Banach contractions principle	2012-12-17	Paper
Term extraction and Ramsey's theorem for pairs	2012-09-19	Paper
Non-principal ultrafilters, program extraction and higher-order reverse mathematics	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	2012-07-11	Paper
The cohesive principle and the Bolzano-Weierstraß principle	2011-06-17	Paper
Ramsey's theorem for pairs and provably recursive functions	2010-09-02	Paper

This page was built for person: Alexander P. Kreuzer