Pages that link to "Item:Q405903"
From MaRDI portal
The following pages link to Polycyclic-by-finite groups and first-order sentences (Q405903):
Displaying 7 items.
- Direct products and elementary equivalence of polycyclic-by-finite groups. (Q406363) (← links)
- Complete first-order theories of some classical matrix groups over algebraic integers (Q2029249) (← links)
- First-order rigidity of rings satisfying polynomial identities (Q2131282) (← links)
- First order rigidity of non-uniform higher rank arithmetic groups (Q2419718) (← links)
- Quasi-finitely axiomatizable groups and groups which are prime models (Q5480159) (← links)
- A profinite analogue of Lasserre's theorem (Q6155807) (← links)
- Regular bi-interpretability of Chevalley groups over local rings (Q6166634) (← links)
