The following pages link to Truth, disjunction, and induction (Q2312097):
Displayed 10 items.
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Hyperarithmetical worm battles (Q2151396) (← links)
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780) (← links)
- REFLECTION RANKS AND ORDINAL ANALYSIS (Q5021919) (← links)
- The two halves of disjunctive correctness (Q6038484) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- Compositional truth with propositional tautologies and quantifier-free correctness (Q6139242) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)
- Pathologies in satisfaction classes (Q6179830) (← links)