The following pages link to Deflationary truth and pathologies (Q975779):
Displaying 7 items.
- Interpreting the compositional truth predicate in models of arithmetic (Q2042738) (← links)
- Full satisfaction classes, definability, and automorphisms (Q2153826) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← 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)
