The following pages link to (Q4215633):
Displaying 28 items.
- Classes and truths in set theory (Q450946) (← links)
- Admissible closures of polynomial time computable arithmetic (Q634777) (← links)
- Degrees of relative provability (Q691125) (← links)
- Syntactic cut-elimination for a fragment of the modal mu-calculus (Q714717) (← links)
- Parameter-free polymorphic types (Q958481) (← links)
- Ordinal analysis of non-monotone \(\Pi_1^0\)-definable inductive definitions (Q958493) (← links)
- Ordinal analysis by transformations (Q1006618) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- Proof theory for theories of ordinals. I: Recursively Mahlo ordinals (Q1400597) (← links)
- Provability algebras and proof-theoretic ordinals. I (Q1877092) (← links)
- Ekeland's variational principle in weak and strong systems of arithmetic (Q2003985) (← links)
- Pure \(\Sigma_2\)-elementarity beyond the core (Q2041963) (← links)
- Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM (Q2388437) (← links)
- Deduction chains for common knowledge (Q2506830) (← links)
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory (Q2514846) (← links)
- Ideas in the epsilon substitution method for \(\Pi_{1}^{0}\)-FIX (Q2566062) (← links)
- Characterizations of ordinal analysis (Q2683775) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory (Q3305554) (← links)
- The Operational Perspective: Three Routes (Q3305557) (← links)
- Proof Theoretic Analysis by Iterated Reflection (Q4637223) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
- A Glimpse of $$ \sum_{3} $$-elementarity (Q5013913) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Well ordering principles for iterated \(\Pi^1_1\)-comprehension (Q6080077) (← links)
- AN INCOMPLETENESS THEOREM VIA ORDINAL ANALYSIS (Q6123580) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
