scientific article
From MaRDI portal
Publication:3671967
zbMath0522.03044MaRDI QIDQ3671967
Harvey M. Friedman, Kenneth McAloon, Stephen G. Simpson
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
primitive recursive arithmeticjumpproof-theoretic ordinalsecond order arithmeticpredicative analysisarithmetical transfinite recursion with restricted inductionundecidable statements
Second- and higher-order arithmetic and fragments (03F35) Second- and higher-order model theory (03C85) Recursive ordinals and ordinal notations (03F15) Higher-type and set recursion theory (03D65) Nonstandard models (03H99)
Related Items (23)
The strength of infinitary Ramseyan principles can be accessed by their densities ⋮ More on lower bounds for partitioning \(\alpha\)-large sets ⋮ Levels of truth ⋮ The Galvin-Prikry theorem and set existence axioms ⋮ Generalized fusible numbers and their ordinals ⋮ The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem ⋮ Fraïssé’s conjecture in Π11-comprehension ⋮ Weak comparability of well orderings and reverse mathematics ⋮ Strong WQO Tree Theorems ⋮ What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory ⋮ Borel quasi-orderings in subsystems of second-order arithmetic ⋮ The Operational Perspective: Three Routes ⋮ Analyzing Nash-Williams' partition theorem by means of ordinal types ⋮ Fast growing functions based on Ramsey theorems ⋮ Riesz representation theorem, Borel measures and subsystems of second- order arithmetic ⋮ Universes in explicit mathematics ⋮ Connected components of graphs and reverse mathematics ⋮ Unnamed Item ⋮ Some combinatorial principles equivalent to restrictions of transfinite induction up to \(\Gamma _ 0\) ⋮ Which set existence axioms are needed to prove the separable Hahn-Banach theorem? ⋮ A dual form of Ramsey's theorem ⋮ Countable algebra and set existence axioms ⋮ Weak axioms of determinacy and subsystems of analysis. II \((\Sigma ^ 0_ 2\) games)
This page was built for publication:
