Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

DOI10.2307/2274131zbMath0584.03039OpenAlexW2106260240WikidataQ114589046 ScholiaQ114589046MaRDI QIDQ3708798

Stephen G. Simpson

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274131

zbMATH Keywords

initial value problemmaximal solutionsOsgood's theoremweak König lemmaarithmetic comprehension axiomAscoli's lemmaBolzano/Weierstrass theoremCauchy/Peano existence theoremrecursive comprehension axiom

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Constructive and recursive analysis (03F60) Applications of set theory (03E75)

Related Items (33)

Ordered Groups: A Case Study in Reverse Mathematics ⋮ Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction ⋮ How recent work in mathematical logic relates to the foundations of mathematics ⋮ Periodic points and subsystems of second-order arithmetic ⋮ A note on ordinal numbers and rings of formal power series ⋮ Measure theory and weak König's lemma ⋮ Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees ⋮ Dispensing with the continuum ⋮ Hilbert's program and the omega-rule ⋮ Infinite versions of some problems from finite complexity theory ⋮ Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989 ⋮ Stability theory and set existence axioms ⋮ The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic ⋮ Weak comparability of well orderings and reverse mathematics ⋮ Fixed point theory in weak second-order arithmetic ⋮ The Dirac delta function in two settings of reverse mathematics ⋮ Ordinal numbers and the Hilbert basis theorem ⋮ What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory ⋮ Reverse mathematics and homeomorphic embeddings ⋮ ERNA and Friedman's Reverse Mathematics ⋮ Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation ⋮ From Bolzano‐Weierstraß to Arzelà‐Ascoli ⋮ Riesz representation theorem, Borel measures and subsystems of second- order arithmetic ⋮ Set existence axioms for general (not necessarily countable) stability theory ⋮ Connected components of graphs and reverse mathematics ⋮ Minimal prime ideals and arithmetic comprehension ⋮ A non-standard construction of Haar measure and weak König's lemma ⋮ Which set existence axioms are needed to prove the separable Hahn-Banach theorem? ⋮ On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ The Baire category theorem in weak subsystems of second-order arithmetic ⋮ Embeddings of countable closed sets and reverse mathematics ⋮ Reverse mathematics and ordinal exponentiation

Cites Work

• Unnamed Item
• Countable algebra and set existence axioms
• A computable ordinary differential equation which possesses no computable solution
• Class groups of integral group rings

This page was built for publication: Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?