Pages that link to "Item:Q5052004"
From MaRDI portal
The following pages link to MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004):
Displaying 6 items.
- Weak sequential theories of finite full binary trees (Q2104270) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
- BI-INTERPRETATION IN WEAK SET THEORIES (Q5159491) (← links)
- (Q5441071) (← links)
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES (Q6199173) (← links)
- A weak theory of building blocks (Q6589164) (← links)