Pages that link to "Item:Q930618"

The following pages link to Proof theory. The first step into impredicativity (Q930618):

Displaying 50 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)
• Effective cut-elimination for a fragment of modal mu-calculus (Q454366) (← links)
• A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
• An order-theoretic characterization of the Howard-Bachmann-hierarchy (Q512137) (← links)
• Some notes on truths and comprehension (Q722023) (← links)
• The Hydra battle and Cichon's principle (Q734036) (← links)
• Reference and truth (Q777946) (← links)
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics (Q830363) (← links)
• Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
• Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
• Pure patterns of order 2 (Q1676328) (← links)
• The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
• Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth (Q1749803) (← links)
• Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
• The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
• The middle ground-ancestral logic (Q2053352) (← links)
• Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
• Ackermannian Goodstein sequences of intermediate growth (Q2106602) (← links)
• Short note: least fixed points versus least closed points (Q2238139) (← links)
• \(\Pi_1^1\)-comprehension as a well-ordering principle (Q2274030) (← links)
• The polytopologies of transfinite provability logic (Q2449857) (← links)
• Deducibility and independence in Beklemishev's autonomous provability calculus (Q2672664) (← links)
• Characterizations of ordinal analysis (Q2683775) (← links)
• Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
• A note on the theory SID<ω of stratified induction (Q2933746) (← links)
• Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
• More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
• About Truth and Types (Q3305551) (← links)
• From Subsystems of Analysis to Subsystems of Set Theory (Q3305559) (← links)
• A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets (Q3576087) (← links)
• A Characterisation of Definable NP Search Problems in Peano Arithmetic (Q3638270) (← links)
• A NOTE ON PREDICATIVE ORDINAL ANALYSIS I: ITERATED COMPREHENSION AND TRANSFINITE INDUCTION (Q4628680) (← links)
• Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
• The Limits of Predicativity Revisited (Q5013901) (← links)
• A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
• REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
• A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
• Simplified Cut Elimination for Kripke-Platek Set Theory (Q5055279) (← links)
• On the Performance of Axiom Systems (Q5055280) (← links)
• Well-Ordering Principles in Proof Theory and Reverse Mathematics (Q5055281) (← links)
• Predicatively unprovable termination of the Ackermannian Goodstein process (Q5113418) (← links)
• Iterated Inductive Definitions Revisited (Q5214787) (← links)
• Predicativity and Feferman (Q5214793) (← links)
• INFINITARY TABLEAU FOR SEMANTIC TRUTH (Q5259720) (← links)
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
• , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
• Reducing ω-model reflection to iterated syntactic reflection (Q6038474) (← links)
• NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)