Pages that link to "Item:Q435240"

The following pages link to Weak theories of concatenation and arithmetic (Q435240):

Displaying 2 items.

• Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\) (Q481870) (← links)
• First-order concatenation theory with bounded quantifiers (Q2219089) (← links)