Pages that link to "Item:Q481870"
From MaRDI portal
The following pages link to Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870):
Displaying 6 items.
- Weak essentially undecidable theories of concatenation (Q2085573) (← links)
- On interpretability between some weak essentially undecidable theories (Q2106592) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- FINDING THE LIMIT OF INCOMPLETENESS I (Q4984861) (← links)
- MUTUAL INTERPRETABILITY OF WEAK ESSENTIALLY UNDECIDABLE THEORIES (Q5052004) (← links)
