The following pages link to (Q3699664):
Displaying 39 items.
- On the strength of the finite intersection principle (Q375889) (← links)
- Metric structures and probabilistic computation (Q541224) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Fragments of arithmetic (Q762484) (← links)
- Mass problems associated with effectively closed sets (Q765664) (← links)
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- Generalizing classical and effective model theory in theories of operations and classes (Q810008) (← links)
- Fixed point theory in weak second-order arithmetic (Q922541) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction (Q1082338) (← links)
- The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
- Computer programs and mathematical proofs (Q1181864) (← links)
- On the strength of König's duality theorem for infinite bipartite graphs (Q1193566) (← links)
- Refining the taming of the reverse mathematics zoo (Q1633897) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q2117802) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Cone avoidance and randomness preservation (Q2344623) (← links)
- Small \(\Pi^{0}_{1}\) classes (Q2491076) (← links)
- \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups (Q2732274) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- Reverse mathematics and Isbell's zig-zag theorem (Q2922498) (← links)
- Uniform versions of some axioms of second order arithmetic (Q3159415) (← links)
- REVERSE MATHEMATICS OF MF SPACES (Q3444857) (← links)
- (Q4249731) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- HOW STRONG ARE SINGLE FIXED POINTS OF NORMAL FUNCTIONS? (Q5148106) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- Δ<sub>3</sub><sup>O</sup>-determinacy, comprehension and induction (Q5294020) (← links)
- Partial impredicativity in reverse mathematics (Q5300073) (← links)
- Reverse Mathematics and Π<sup>1</sup><sub>2</sub> Comprehension (Q5472644) (← links)
- (Q5711887) (← links)
- (Q5711891) (← links)
- Two applications of analytic functors (Q5958294) (← links)
- Chi-Tat Chong’s Work on Reverse Mathematics (Q6135559) (← links)
