The varieties of arboreal experience
From MaRDI portal
Publication:1055407
DOI10.1007/BF03023553zbMath0521.03041WikidataQ64386244 ScholiaQ64386244MaRDI QIDQ1055407
Publication date: 1982
Published in: The Mathematical Intelligencer (Search for Journal in Brave)
trees; Peano arithmetic; incompleteness; ordinals; Paris-Harrington theorem; fastly growing functions
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03F30: First-order arithmetic and fragments
03F15: Recursive ordinals and ordinal notations
Related Items
Long finite sequences, New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems, Inductive full satisfaction classes, Too naturalist and not naturalist enough: Reply to Horsten, A constructive consistency proof of a fragment of set theory, Proving open properties by induction, Computer programs and mathematical proofs, Modal functions for concise definition of state machines and products, The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.), On the desirability of mechanizing calculational proofs, The scope of Gödel's first incompleteness theorem
Cites Work
