Pages that link to "Item:Q3708798"
From MaRDI portal
The following pages link to Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations? (Q3708798):
Displaying 33 items.
- Set existence axioms for general (not necessarily countable) stability theory (Q580327) (← links)
- The Dirac delta function in two settings of reverse mathematics (Q661294) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic (Q884957) (← links)
- Weak comparability of well orderings and reverse mathematics (Q918549) (← links)
- Fixed point theory in weak second-order arithmetic (Q922541) (← links)
- Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction (Q1082338) (← links)
- How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Reverse mathematics and homeomorphic embeddings (Q1182482) (← links)
- Riesz representation theorem, Borel measures and subsystems of second- order arithmetic (Q1208086) (← links)
- On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness (Q1295420) (← links)
- Embeddings of countable closed sets and reverse mathematics (Q1313599) (← links)
- Reverse mathematics and ordinal exponentiation (Q1315456) (← links)
- A note on ordinal numbers and rings of formal power series (Q1337497) (← links)
- Dispensing with the continuum (Q1368388) (← links)
- Infinite versions of some problems from finite complexity theory (Q1374209) (← links)
- Which set existence axioms are needed to prove the separable Hahn-Banach theorem? (Q1820779) (← links)
- Connected components of graphs and reverse mathematics (Q2277258) (← links)
- Periodic points and subsystems of second-order arithmetic (Q2367412) (← links)
- Measure theory and weak König's lemma (Q2639061) (← links)
- ERNA and Friedman's Reverse Mathematics (Q3011124) (← links)
- The Baire category theorem in weak subsystems of second-order arithmetic (Q3138013) (← links)
- Minimal prime ideals and arithmetic comprehension (Q3360849) (← links)
- Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 (Q3478380) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q3677726) (← links)
- Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598) (← links)
- Stability theory and set existence axioms (Q3752377) (← links)
- Ordinal numbers and the Hilbert basis theorem (Q3809796) (← links)
- Ordered Groups: A Case Study in Reverse Mathematics (Q4254643) (← links)
- Hilbert's program and the omega-rule (Q4292612) (← links)
- A non-standard construction of Haar measure and weak König's lemma (Q4953213) (← links)
- From Bolzano‐Weierstraß to Arzelà‐Ascoli (Q5419209) (← links)
