×

Kreuzer, Alexander P.

Author ID: kreuzer.alexander-p Recent zbMATH articles by "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

Publications by Year

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

Citations by Year