Pages that link to "Item:Q2085573"
From MaRDI portal
The following pages link to Weak essentially undecidable theories of concatenation (Q2085573):
Displaying 7 items.
- Weak theories of concatenation and arithmetic (Q435240) (← links)
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
- On interpretability in the theory of concatenation (Q1038606) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- (Q5186755) (← links)
- (Q5441071) (← links)
- A weak theory of building blocks (Q6589164) (← links)