Pages that link to "Item:Q2662691"
From MaRDI portal
The following pages link to Local collection and end-extensions of models of compositional truth (Q2662691):
Displayed 5 items.
- Reflection algebras and conservation results for theories of iterated truth (Q2120976) (← 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)