The following pages link to TRUTH AND FEASIBLE REDUCIBILITY (Q5107235):
Displaying 14 items.
- On the reducibility of hypotheses and consequences (Q845308) (← links)
- Conservative theories of classical truth (Q1300008) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Truth, disjunction, and induction (Q2312097) (← links)
- Models of weak theories of truth (Q2402953) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS (Q5117593) (← 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)
- Pathologies in satisfaction classes (Q6179830) (← links)
- Varieties of truth definitions (Q6565567) (← links)