The following pages link to Alexander P. Kreuzer (Q365681):
Displaying 29 items.
- Program extraction for 2-random reals (Q365682) (← links)
- On the strength of the finite intersection principle (Q375889) (← links)
- Aligning the weak König lemma, the uniform continuity theorem, and Brouwer's fan theorem (Q424539) (← links)
- A simple proof and some difficult examples for Hindman's theorem (Q424579) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- \(\varPi^1_1\)-conservation of combinatorial principles weaker than Ramsey's theorem for pairs (Q436224) (← links)
- (Q636380) (redirect page) (← links)
- The determinacy strength of \(\Pi_2^1\)-comprehension (Q636381) (← links)
- A nonstandard counterpart of WWKL (Q645739) (← links)
- Hilbert versus Hindman (Q661295) (← links)
- Ramsey's theorem for pairs and provably recursive functions (Q987936) (← links)
- (Q1315382) (redirect page) (← links)
- A remark on Grassmann spaces and half-spin geometries (Q1315383) (← links)
- On the uniform computational content of the Baire category theorem (Q1633900) (← links)
- On the uniform computational content of computability theory (Q1694010) (← links)
- Basis preserving maps of linear spaces (Q1893259) (← links)
- Reclassifying the antithesis of Specker's theorem (Q1938392) (← links)
- (Q2898881) (← links)
- NON-PRINCIPAL ULTRAFILTERS, PROGRAM EXTRACTION AND HIGHER-ORDER REVERSE MATHEMATICS (Q2909619) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Bounded variation and the strength of Helly's selection theorem (Q2938769) (← links)
- The cohesive principle and the Bolzano-Weierstraß principle (Q3008059) (← links)
- A logical analysis of the generalized Banach contractions principle (Q3145986) (← links)
- On principles between ∑1- and ∑2-induction, and monotone enumerations (Q3186059) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- On the Strength of Weak Compactness (Q4904465) (← links)
- ON IDEMPOTENT ULTRAFILTERS IN HIGHER-ORDER REVERSE MATHEMATICS (Q5251363) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)
- A Bayesian non-linear state space copula model for air pollution in Beijing (Q6643946) (← links)
