Pages that link to "Item:Q2106592"
From MaRDI portal
The following pages link to On interpretability between some weak essentially undecidable theories (Q2106592):
Displaying 4 items.
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES (Q6199173) (← links)
