The following pages link to (Q4001935):
Displaying 5 items.
- Simplicity via provability for universal prefix-free Turing machines (Q616504) (← links)
- Theories of truth without standard models and Yablo's sequences (Q622620) (← links)
- Intuitionistic axiomatizations for bounded extension Kripke models. (Q1412839) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- The prime number theorem is PRA-provable (Q5941260) (← links)
