On the restricted ordinal theorem
From MaRDI portal
Publication:5834329
DOI10.2307/2268019zbMath0060.02306OpenAlexW2114108968WikidataQ56138577 ScholiaQ56138577MaRDI QIDQ5834329
Publication date: 1944
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2268019
Related Items
A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems, Beyond Knuth's notation for unimaginable numbers within computational number theory, Counting arithmetic formulas, Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics, Toward automating the discovery of decreasing measures, Note on a proof of the extended Kirby-Paris theorem on labelled finite trees, Some integer formula encodings and related algorithms, Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal, The Paris-Harrington principle and second-order arithmetic -- bridging the finite and infinite Ramsey theorem, Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension, Predicatively unprovable termination of the Ackermannian Goodstein process, A WALK WITH GOODSTEIN, On understanding understanding, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017, Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations, What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory, Ackermann and Goodstein go functorial, Unnamed Item, Too naturalist and not naturalist enough: Reply to Horsten, Unprovable combinatorial statements, Die another day, An Unprovable Ramsey-Type Theorem, GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION, Pure \(\Sigma_2\)-elementarity beyond the core, Unnamed Item, A metasemantic challenge for mathematical determinacy, $$P\mathop{ =}\limits^{?}NP$$, Set theory -- from Cantor's heaven to the first theory among equals, Unnamed Item, Gödel, Gentzen, Goodstein: the magic sound of a G-string, A Glimpse of $$ \sum_{3} $$-elementarity, Ackermannian Goodstein sequences of intermediate growth
Cites Work
