Alexander P. Kreuzer

According to our database, Alexander P. Kreuzer authored at least 20 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Bayesian multivariate nonlinear state space copula models.

Alexander Kreuzer, Luciana Dalla Valle, Claudia Czado

Comput. Stat. Data Anal., December, 2023

2019

WaLDORf: Wasteless Language-model Distillation On Reading-comprehension.

James Yi Tian, Alexander P. Kreuzer, Pai-Hung Chen, Hans-Martin Will

CoRR, 2019

2018

On the Uniform Computational Content of the Baire Category Theorem.

Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer

Notre Dame J. Formal Log., 2018

2017

On the Uniform Computational Content of Computability Theory.

Vasco Brattka, Matthew Hendtlass, Alexander P. Kreuzer

Theory Comput. Syst., 2017

2016

On principles between ∑1- and ∑2-induction, and monotone enumerations.

Alexander P. Kreuzer, Keita Yokoyama

J. Math. Log., 2016

2015

On Idempotent Ultrafilters in Higher-order Reverse Mathematics.

Alexander P. Kreuzer

J. Symb. Log., 2015

2014

From Bolzano-Weierstraß to Arzelà-Ascoli.

Alexander P. Kreuzer

Math. Log. Q., 2014

Bounded variation and the strength of Helly's selection theorem.

Alexander P. Kreuzer

Log. Methods Comput. Sci., 2014

2013

Program extraction for 2-random reals.

Alexander P. Kreuzer

Arch. Math. Log., 2013

2012

Primitive Recursion and the Chain Antichain Principle.

Alexander Kreuzer

Notre Dame J. Formal Log., 2012

Term extraction and Ramsey's theorem for pairs.

Ulrich Kohlenbach, Alexander Kreuzer

J. Symb. Log., 2012

Non-Principal Ultrafilters, Program Extraction and Higher-order Reverse Mathematics.

Alexander P. Kreuzer

J. Math. Log., 2012

A logical analysis of the generalized Banach contractions principle.

Alexander P. Kreuzer

J. Log. Anal., 2012

On the Strength of Weak Compactness.

Alexander P. Kreuzer

Comput., 2012

2011

The cohesive principle and the Bolzano-Weierstraß principle.

Alexander Kreuzer

Math. Log. Q., 2011

2009

Ramsey's Theorem for Pairs and Provably Recursive Functions.

Ulrich Kohlenbach, Alexander Kreuzer

Notre Dame J. Formal Log., 2009

2008

Spaces with congruence.

Alexander Kreuzer, Kay Sörensen

Discret. Math., 2008

2002

Linear spaces with projective lines.

Alexander Kreuzer

Discret. Math., 2002

1995

Projective Embedding of [0, m] - Spaces.

Alexander Kreuzer

J. Comb. Theory, Ser. A, 1995

1993

Semiaffine Spaces.

Alexander Kreuzer

J. Comb. Theory, Ser. A, 1993