Pages that link to "Item:Q3159415"
From MaRDI portal
The following pages link to Uniform versions of some axioms of second order arithmetic (Q3159415):
Displaying 30 items.
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Refining the taming of the reverse mathematics zoo (Q1633897) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q2117802) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- Non-principal ultrafilters, program extraction and higher-order reverse mathematics (Q2909619) (← links)
- Effective Choice and Boundedness Principles in Computable Analysis (Q3083466) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- TRANSFINITE RECURSION IN HIGHER REVERSE MATHEMATICS (Q3450810) (← links)
- (Q4555783) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- (Q5015363) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- Banach’s theorem in higher-order reverse mathematics (Q6062174) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6614040) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)
- A note on continuous functions on metric spaces (Q6670881) (← links)
- Connecting real and hyperarithmetical analysis (Q6670899) (← links)
