The following pages link to (Q4309578):
Displaying 5 items.
- Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two (Q1582961) (← links)
- Universal theories for free solvable groups. (Q1928481) (← links)
- Undecidability of first order sentences in the theory of free groupoids (Q3240235) (← links)
- DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP (Q3699893) (← links)
- (Q5239606) (← links)