Pages that link to "Item:Q2219089"

The following pages link to First-order concatenation theory with bounded quantifiers (Q2219089):

Displaying 3 items.

• Weak essentially undecidable theories of concatenation (Q2085573) (← links)
• Hilbert's tenth problem for term algebras with a substitution operator (Q2104269) (← links)
• On interpretability between some weak essentially undecidable theories (Q2106592) (← links)