Pages that link to "Item:Q1877092"

The following pages link to Provability algebras and proof-theoretic ordinals. I (Q1877092):

Displaying 39 items.

• On elementary theories of ordinal notation systems based on reflection principles (Q281010) (← links)
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions (Q385073) (← links)
• Positive provability logic for uniform reflection principles (Q392274) (← links)
• On provability logics with linearly ordered modalities (Q456968) (← links)
• Turing-Taylor expansions for arithmetic theories (Q514512) (← links)
• Honest elementary degrees and degrees of relative provability without the cupping property (Q515565) (← links)
• Kripke semantics for provability logic GLP (Q636316) (← links)
• Transductions in arithmetic (Q904144) (← links)
• Axiomatization and polynomial solvability of strictly positive fragments of certain modal logics (Q1668101) (← links)
• The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
• Axiomatizing provable \(n\)-provability (Q1732059) (← links)
• Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
• Hyperarithmetical worm battles (Q2151396) (← links)
• The logic of Turing progressions (Q2176413) (← links)
• On the reduction property for GLP-algebras (Q2358595) (← links)
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) (Q2370371) (← links)
• On the positive fragment of the polymodal provability logic GLP (Q2435945) (← links)
• The polytopologies of transfinite provability logic (Q2449857) (← links)
• Ackermann's substitution method (remixed) (Q2503393) (← links)
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
• Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
• Turing Jumps Through Provability (Q3195699) (← links)
• (Q3305196) (← links)
• The Henkin Sentence (Q3454817) (← links)
• ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR (Q4628679) (← links)
• Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
• Derived topologies on ordinals and stationary reflection (Q4644955) (← links)
• MÜNCHHAUSEN PROVABILITY (Q5015723) (← links)
• REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
• A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
• Incompleteness and jump hierarchies (Q5119250) (← links)
• AXIOMATIZATION OF PROVABLE n-PROVABILITY (Q5222538) (← links)
• Topological Interpretations of Provability Logic (Q5255798) (← links)
• Models of transfinite provability logic (Q5300077) (← links)
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION (Q5359565) (← links)
• Reflection calculus and conservativity spectra (Q5377088) (← links)
• A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
• Semi-honest subrecursive degrees and the collection rule in arithmetic (Q6137350) (← links)
• Witnessing flows in arithmetic (Q6646013) (← links)