The varieties of arboreal experience

DOI10.1007/BF03023553zbMath0521.03041OpenAlexW3021845913WikidataQ64386244 ScholiaQ64386244MaRDI QIDQ1055407

Craig Smorynski

Publication date: 1982

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf03023553

zbMATH Keywords

treesPeano arithmeticincompletenessordinalsParis-Harrington theoremfastly growing functions

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Related Items (12)

A constructive consistency proof of a fragment of set theory ⋮ Proving open properties by induction ⋮ Inductive full satisfaction classes ⋮ Computer programs and mathematical proofs ⋮ Modal functions for concise definition of state machines and products ⋮ Too naturalist and not naturalist enough: Reply to Horsten ⋮ The scope of Gödel's first incompleteness theorem ⋮ Long finite sequences ⋮ The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) ⋮ Unnamed Item ⋮ New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems ⋮ On the desirability of mechanizing calculational proofs

Cites Work

• Some bounds for the Ramsey-Paris-Harrington numbers
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Unnamed Item

This page was built for publication: The varieties of arboreal experience