The following pages link to Zlatan Damnjanovic (Q190297):
Displaying 4 items.
- MUTUAL INTERPRETABILITY OF ROBINSON ARITHMETIC AND ADJUNCTIVE SET THEORY WITH EXTENSIONALITY (Q4640303) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
- TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES (Q6199173) (← links)
- Mutual Interpretability of Weak Essentially Undecidable Theories (Q6365351) (← links)
