No label defined (Q4700631)
From MaRDI portal
scientific article; zbMATH DE number 1357424
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1357424 |
Statements
4 November 1999
0 references
unitriangular group
0 references
quasi-unitriangular group
0 references
elementary theory
0 references
elementary equivalence
0 references
axiomatizability
0 references
decidability
0 references
model theory of the group of unitriangular matrices over some ring
0 references
spectrum functions
0 references
Turing degrees
0 references
