Alexander P. Kreuzer

14 papers Journal 14
YearRankTypeTitle / Venue / Authors
2019 J jnl
WaLDORf: Wasteless Language-model Distillation On Reading-comprehension.
CoRR
James Yi Tian, Alexander P. Kreuzer, Pai-Hung Chen, Hans-Martin Will
2018 J jnl
On the Uniform Computational Content of the Baire Category Theorem.
Notre Dame J. Formal Log.
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2017 J jnl
On the Uniform Computational Content of Computability Theory.
Theory Comput. Syst.
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2016 J jnl
On principles between ∑1- and ∑2-induction, and monotone enumerations.
J. Math. Log.
Alexander P. Kreuzer, Keita Yokoyama
2015 J jnl
On Idempotent Ultrafilters in Higher-order Reverse Mathematics.
J. Symb. Log.
Alexander P. Kreuzer
2015 J jnl
On the Uniform Computational Content of Computability Theory.
CoRR
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2015 J jnl
On the Uniform Computational Content of the Baire Category Theorem.
CoRR
Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer
2014 J jnl
Bounded variation and the strength of Helly's selection theorem.
Log. Methods Comput. Sci.
Alexander P. Kreuzer
2014 J jnl
From Bolzano-Weierstraß to Arzelà-Ascoli.
Math. Log. Q.
Alexander P. Kreuzer
2013 J jnl
Bounded variation and the strength of Helly's selection theorem.
CoRR
Alexander P. Kreuzer
2013 J jnl
Program extraction for 2-random reals.
Arch. Math. Log.
Alexander P. Kreuzer
2012 J jnl
A logical analysis of the generalized Banach contractions principle.
J. Log. Anal.
Alexander P. Kreuzer
2012 J jnl
Non-Principal Ultrafilters, Program Extraction and Higher-order Reverse Mathematics.
J. Math. Log.
Alexander P. Kreuzer
2012 J jnl
On the Strength of Weak Compactness.
Comput.
Alexander P. Kreuzer