Pages that link to "Item:Q3450806"
From MaRDI portal
The following pages link to CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806):
Displayed 18 items.
- Interpreting the compositional truth predicate in models of arithmetic (Q2042738) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Models of weak theories of truth (Q2402953) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- About Truth and Types (Q3305551) (← links)
- Lindenbaum’s Lemma via Open Induction (Q3305552) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- NOTES ON BOUNDED INDUCTION FOR THE COMPOSITIONAL TRUTH PREDICATE (Q5357325) (← links)
- The two halves of disjunctive correctness (Q6038484) (← links)
- MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE (Q6103462) (← links)
- AXIOMATIZATIONS OF PEANO ARITHMETIC: A TRUTH-THEORETIC VIEW (Q6140183) (← links)