Pages that link to "Item:Q5052004"

The following pages link to MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004):

Displaying 2 items.

• MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
• TREE THEORY: INTERPRETABILITY BETWEEN WEAK FIRST-ORDER THEORIES OF TREES (Q6199173) (← links)