Pages that link to "Item:Q2106592"

The following pages link to On interpretability between some weak essentially undecidable theories (Q2106592):

Displaying 9 items.

• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
• Weak essentially undecidable theories of concatenation (Q2085573) (← links)
• Weak sequential theories of finite full binary trees (Q2104270) (← links)
• Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← 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)