Alexander P. Kreuzer

Available identifiers

Publication	Date of Publication	Type
On the uniform computational content of the Baire category theorem	2018-12-21	Paper
On the uniform computational content of computability theory	2018-02-01	Paper
On principles between ∑1- and ∑2-induction, and monotone enumerations	2016-08-08	Paper
Measure theory and higher order arithmetic	2015-11-02	Paper
A lower bound on Gowers' FIN_k theorem	2015-10-07	Paper
ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS	2015-05-20	Paper
Bounded variation and the strength of Helly's selection theorem	2015-01-15	Paper
From Bolzano‐Weierstraß to Arzelà‐Ascoli	2014-06-06	Paper
Program extraction for 2-random reals	2013-09-09	Paper
Minimal idempotent ultrafilters and the Auslander-Ellis theorem	2013-05-28	Paper
On the Strength of Weak Compactness	2013-01-30	Paper
A logical analysis of the generalized Banach contractions principle	2012-12-17	Paper
Term extraction and Ramsey's theorem for pairs	2012-09-19	Paper
NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS	2012-09-06	Paper
https://portal.mardi4nfdi.de/entity/Q2898881	2012-07-12	Paper
Primitive recursion and the chain antichain principle	2012-07-11	Paper
The cohesive principle and the Bolzano-Weierstraß principle	2011-06-17	Paper
Ramsey's theorem for pairs and provably recursive functions	2010-09-02	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander P. Kreuzer