The model theory of unitriangular groups
From MaRDI portal
Publication:1331918
DOI10.1016/0168-0072(94)90022-1zbMath0807.03025MaRDI QIDQ1331918
Publication date: 5 March 1995
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(94)90022-1
20A15: Applications of logic to group theory
03C60: Model-theoretic algebra
20F18: Nilpotent groups
20H25: Other matrix groups over rings
03C45: Classification theory, stability, and related concepts in model theory
Related Items
The Diophantine problem in the classical matrix groups, A hierarchy of tree-automatic structures, Groups elementarily equivalent to a free 2-nilpotent group of finite rank., Groups elementarily equivalent to a free nilpotent group of finite rank, The isomorphism relation between tree-automatic structures, Higman's embedding theorem in a general setting and its application to existentially closed algebras, Complete first-order theories of some classical matrix groups over algebraic integers, Elementary equivalence for abelian-by-finite and nilpotent groups, Verbal subgroups of hyperbolic groups have infinite width
Cites Work
- Model theory of modules
- On the model theory of the ring \(\mathrm{NT}(n,R)\)
- Theories with a finite number of models in an uncountable power are categorical
- Classification theory and the number of non-isomorphic models
- The theory of models of bilinear mappings
- On the Mal'cev Correspondence
- The first order properties of products of algebraic systems
- Model theory of strictly upper triangular matrix rings
- Small stable groups and generics
- Four concepts from “geometrical” stability theory in modules
- The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields
- Quasiunitriangular groups
- Summands of Separable Abelian Groups: Dedicated to Paul Turán on his 60th Birthday
- On $ω_1$-categorical theories of abelian groups
- The elementary theory of abelian groups
- Superstable fields and groups
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item