Pages that link to "Item:Q405903"

The following pages link to Polycyclic-by-finite groups and first-order sentences (Q405903):

Displaying 12 items.

• Direct products and elementary equivalence of polycyclic-by-finite groups. (Q406363) (← links)
• Polycyclic groups, finite images, and elementary equivalence (Q914824) (← links)
• Describing finite groups by short first-order sentences (Q1678638) (← 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)
• On the direct products of quasi-finitely axiomatizable groups. (Q2342292) (← links)
• First order rigidity of non-uniform higher rank arithmetic groups (Q2419718) (← links)
• Undecidability of first order sentences in the theory of free groupoids (Q3240235) (← links)
• Characterization of finitely generated groups by types (Q4611343) (← 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)