Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
From MaRDI portal
Publication:3718711
DOI10.1007/BF02007558zbMath0591.03041MaRDI QIDQ3718711
Kurt Schütte, Stephen G. Simpson
Publication date: 1985
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
computational complexitygrowth ratesordinal notationsPeano arithmeticKruskal's Theoremproof theory of fragments of classical analysis
Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)
Related Items
On elementary theories of ordinal notation systems based on reflection principles, A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\), Partial impredicativity in reverse mathematics, The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity, Well quasi-orders arising from finite ordered semigroups, Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition, Ordinal recursive bounds for Higman's theorem, Generalizations of the Kruskal-Friedman theorems, Program extraction from classical proofs, Bachmann-Howard derivatives, A modified sentence unprovable in PA, Strong WQO Tree Theorems, The Reverse Mathematics of wqos and bqos, Ordinal numbers and the Hilbert basis theorem, Higman’s Lemma and Its Computational Content, Analyzing Nash-Williams' partition theorem by means of ordinal types, An order-theoretic characterization of the Howard-Bachmann-hierarchy, A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets, Proof-theoretic investigations on Kruskal's theorem, Generalizations of the one-dimensional version of the Kruskal-Friedman theorems, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Theories and ordinals in proof theory, Ackermann's substitution method (remixed), Pure \(\Sigma_2\)-elementarity beyond the core, A Glimpse of $$ \sum_{3} $$-elementarity
Cites Work
