Pages that link to "Item:Q3758815"
From MaRDI portal
The following pages link to Bounded Induction and Satisfaction Classes (Q3758815):
Displaying 15 items.
- Inductive full satisfaction classes (Q920081) (← links)
- Deflationary truth and pathologies (Q975779) (← links)
- The omega-rule interpretation of transfinite provability logic (Q1694812) (← links)
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- A note on the variety of satisfaction classes (Q2639847) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
- European Summer Meeting of the Association for Symbolic Logic, (Logic Colloquium '87), Granada, Spain, 1987 (Q3476783) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- DISJUNCTIONS WITH STOPPING CONDITIONS (Q5019780) (← links)
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)