The following pages link to TRUTH AND FEASIBLE REDUCIBILITY (Q5107235):
Displaying 8 items.
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Local collection and end-extensions of models of compositional truth (Q2662691) (← 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)
