On the Uniform Computational Content of Computability Theory von Brattka, Vasco, Hendtlass, Matthew, Kreuzer, Alexander P.

Volltext

Primitive Recursion and the Chain Antichain Principle von Kreuzer, Alexander P.

Volltext

Measure theory and higher order arithmetic von KREUZER, ALEXANDER P.

Volltext

Bounded variation and the strength of Helly's selection theorem von Kreuzer, Alexander P.

Volltext

From Bolzano-Weierstraß to Arzelà-Ascoli von Kreuzer, Alexander P.

Volltext

Program extraction for 2-random reals von Kreuzer, Alexander P.

Volltext

The cohesive principle and the Bolzano-Weierstraß principle von Kreuzer, Alexander P.

Volltext

Term extraction and Ramsey's theorem for pairs von Kreuzer, Alexander P., Kohlenbach, Ulrich

Volltext

ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS von KREUZER, ALEXANDER P.

Volltext

On the Uniform Computational Content of the Baire Category Theorem von Brattka, Vasco, Hendtlass, Matthew, Kreuzer, Alexander P.

Volltext

A logical analysis of the generalized Banach contractions principle von Kreuzer, Alexander

Volltext

A lower bound on Gowers' FIN_k theorem von Kreuzer, Alexander P

Volltext bestellen

Bounded variation and the strength of Helly's selection theorem von Kreuzer, Alexander P

Volltext

On the Uniform Computational Content of Computability Theory von Brattka, Vasco, Hendtlass, Matthew, Kreuzer, Alexander P

Volltext

Measure theory and higher order arithmetic von Kreuzer, Alexander P

Volltext bestellen

Minimal idempotent ultrafilters and the Auslander-Ellis theorem von Kreuzer, Alexander P

Volltext bestellen

On idempotent ultrafilters in higher-order reverse mathematics von Kreuzer, Alexander P

Volltext

On the Uniform Computational Content of the Baire Category Theorem von Brattka, Vasco, Hendtlass, Matthew, Kreuzer, Alexander P

Volltext

WaLDORf: Wasteless Language-model Distillation On Reading-comprehension von Tian, James Yi, Kreuzer, Alexander P, Chen, Pai-Hung, Will, Hans-Martin

Volltext bestellen

From Bolzano-Weierstra{\ss} to Arzel\`a-Ascoli von Kreuzer, Alexander P

Volltext bestellen