Complete first-order theories of some classical matrix groups over algebraic integers (Q2029249): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jalgebra.2021.04.015
+Normal rank
@@ Property / OpenAlex ID @@
+W3158199928
@@ Property / OpenAlex ID: W3158199928 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logical Complexity of Finitely Generated Commutative Rings
+Normal rank
@@ Property / cites work @@
+Quasi finitely axiomatizable totally categorical theories
+Normal rank
@@ Property / cites work @@
+First order rigidity of non-uniform higher rank arithmetic groups
+Normal rank
@@ Property / cites work @@
+The model theory of unitriangular groups
@@ Property / cites work: The model theory of unitriangular groups / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Elementary Generation of SL n (O)
@@ Property / cites work: Bounded Elementary Generation of SL n (O) / rank @@
+Normal rank
@@ Property / cites work @@
+The elementary theory of abelian groups
@@ Property / cites work: The elementary theory of abelian groups / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003410
@@ Property / cites work: Q4003410 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary equivalence of profinite groups
@@ Property / cites work: Elementary equivalence of profinite groups / rank @@
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Polycyclic-by-finite groups and first-order sentences
+Normal rank
@@ Property / cites work @@
+Groups elementarily equivalent to a free 2-nilpotent group of finite rank.
+Normal rank
@@ Property / cites work @@
+Groups elementarily equivalent to a free nilpotent group of finite rank
+Normal rank
@@ Property / cites work @@
+Describing Groups
@@ Property / cites work: Describing Groups / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-finitely axiomatizable nilpotent groups
@@ Property / cites work: Quasi-finitely axiomatizable nilpotent groups / rank @@
+Normal rank
@@ Property / cites work @@
+The Undecidability of Algebraic Rings and Fields
@@ Property / cites work: The Undecidability of Algebraic Rings and Fields / rank @@
+Normal rank