Alexander P. Kreuzer

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 4

Top Topics

Theoretical Basis

Selection Strategy

Automatically Extracting

Top Venues

Theory Comput. Syst.

Arch. Math. Log.

Publications

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