Pages that link to "Item:Q4640303"
From MaRDI portal
The following pages link to MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303):
Displayed 6 items.
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- On interpretability between some weak essentially undecidable theories (Q2106592) (← links)
- The enhanced indispensability argument, the circularity problem, and the interpretability strategy (Q2695151) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
- Internal categoricity, truth and determinacy (Q6054059) (← links)
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES (Q6199173) (← links)
