The following pages link to (Q4111536):
Displaying 50 items.
- Reverse mathematics, well-quasi-orders, and Noetherian spaces (Q283113) (← links)
- Inductive inference and reverse mathematics (Q324252) (← links)
- Menger's theorem in \(\Pi^1_1 \mathrm {-CA}_0\) (Q412061) (← links)
- Set existence axioms for general (not necessarily countable) stability theory (Q580327) (← links)
- A measure-theoretic proof of Turing incomparability (Q638476) (← 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)
- Unary Borel functions and second-order arithmetic (Q795831) (← links)
- Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games) (Q805613) (← links)
- Weak comparability of well orderings and reverse mathematics (Q918549) (← links)
- Fixed point theory in weak second-order arithmetic (Q922541) (← links)
- Countable algebra and set existence axioms (Q1063593) (← links)
- The Galvin-Prikry theorem and set existence axioms (Q1117221) (← links)
- Reverse mathematics and homeomorphic embeddings (Q1182482) (← links)
- Riesz representation theorem, Borel measures and subsystems of second- order arithmetic (Q1208086) (← links)
- Computability structure of the Sobolev spaces and its applications (Q1292420) (← links)
- Bar induction and \(\omega\) model reflection (Q1302306) (← links)
- Reverse mathematics and ordinal exponentiation (Q1315456) (← links)
- Computability-theoretic and proof-theoretic aspects of partial and linear orderings (Q1425651) (← links)
- The computability, definability, and proof theory of Artinian rings (Q1628418) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors (Q1644984) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779) (← links)
- On the strength of Ramsey's theorem (Q1913632) (← links)
- A study of singular points and supports of measures in reverse mathematics (Q1919546) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Ekeland's variational principle in weak and strong systems of arithmetic (Q2003985) (← links)
- Reverse formalism 16 (Q2054114) (← links)
- Patterns of resemblance and Bachmann-Howard fixed points (Q2064043) (← links)
- Reverse mathematics of the uncountability of \(\mathbb{R}\) (Q2104277) (← links)
- Splittings and robustness for the Heine-Borel theorem (Q2117802) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- Connected components of graphs and reverse mathematics (Q2277258) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- Reflections on reflections in explicit mathematics (Q2566068) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- The reverse mathematics of the Tietze extension theorem (Q2827383) (← links)
- Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem (Q2841359) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- Iterative Forcing and Hyperimmunity in Reverse Mathematics (Q3195708) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- From Mathesis Universalis to Provability, Computability, and Constructivity (Q3305633) (← links)
- Fraïssé’s conjecture in Π11-comprehension (Q4596662) (← links)
- On the logical strengths of partial solutions to mathematical problems (Q4642696) (← links)
- How Incomputable is the Separable Hahn-Banach Theorem? (Q4918007) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- (Q5015363) (← links)
