Pages that link to "Item:Q4750638"

The following pages link to A Short Proof of Two Recently Discovered Independence Results Using Recursion Theoretic Methods (Q4750638):

Displaying 23 items.

• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal (Q408160) (← links)
• Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
• New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
• How recent work in mathematical logic relates to the foundations of mathematics (Q1085151) (← links)
• An independence result for \((\Pi^ 1_ 1-CA)+BI\) (Q1097882) (← links)
• Ordinal recursive bounds for Higman's theorem (Q1129003) (← links)
• Ordinal complexity of recursive definitions (Q1193596) (← links)
• Unprovable combinatorial statements (Q1201266) (← links)
• A new proof-theoretic proof of the independence of Kirby-Paris' hydra theorem. (Q1399971) (← links)
• A characterisation of multiply recursive functions with Higman's lemma. (Q1400716) (← links)
• Die another day (Q2272192) (← links)
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
• Independence of Ramsey theorem variants using \(\varepsilon _0\) (Q2789881) (← links)
• Partitioning 𝛼–large sets: Some lower bounds (Q3420352) (← links)
• An Unprovable Ramsey-Type Theorem (Q4031465) (← links)
• INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION (Q4959664) (← links)
• A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
• (Q5046965) (← links)
• Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
• A survey of ordinal interpretations of type ɛ0 for termination of rewriting systems (Q5881273) (← links)
• A WALK WITH GOODSTEIN (Q6204143) (← links)
• Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History (Q6650261) (← links)