The following pages link to Interpretability in Robinson's Q (Q2870105):
Displaying 8 items.
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- The finitistic consistency of Heck's predicative Fregean system (Q2345392) (← links)
- Bounded theories for polyspace computability (Q2450770) (← links)
- The enhanced indispensability argument, the circularity problem, and the interpretability strategy (Q2695151) (← links)
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
