Pages that link to "Item:Q3043615"
From MaRDI portal
The following pages link to Separating Classes of Groups by First-Order Sentences (Q3043615):
Displaying 18 items.
- Polycyclic-by-finite groups and first-order sentences (Q405903) (← links)
- Separating systems of conjunctions. (Q1130118) (← links)
- Elementary equivalence of rings with finitely generated additive groups (Q1709681) (← links)
- Aspects of free groups. (Q1810546) (← links)
- Finitely generated groups are universal among finitely generated structures (Q2003917) (← links)
- First-order rigidity of rings satisfying polynomial identities (Q2131282) (← links)
- First order rigidity of non-uniform higher rank arithmetic groups (Q2419718) (← links)
- Bi-interpretability and QFA structures: study of some soluble groups and commutative rings. (Bi-interprétabilité et structures QFA : étude de groupes résolubles et des anneaux commutatifs (Q2643485) (← links)
- R.J. THOMPSON’S GROUPS<i>F</i>AND<i>T</i>ARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS (Q2933670) (← links)
- 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10 (Q3011106) (← links)
- 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05 (Q3430941) (← links)
- Describing Groups (Q3533517) (← links)
- Comparing quasi-finitely axiomatizable and prime groups (Q5292700) (← links)
- Quasi-finitely axiomatizable nilpotent groups (Q5480158) (← links)
- Quasi-finitely axiomatizable groups and groups which are prime models (Q5480159) (← links)
- Regular bi-interpretability of Chevalley groups over local rings (Q6166634) (← links)
- Defining \(R\) and \(G(R)\) (Q6172700) (← links)
- Bounded generation and commutator width of Chevalley groups: function case (Q6174371) (← links)
