Pages that link to "Item:Q2219089"
From MaRDI portal
The following pages link to First-order concatenation theory with bounded quantifiers (Q2219089):
Displaying 6 items.
- Decidable and undecidable fragments of first-order concatenation theory (Q1670748) (← links)
- 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)
- (Q3695246) (← links)
- Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. (Q5111186) (← links)