scientific article; zbMATH DE number 1357424
axiomatizabilitydecidabilityelementary equivalenceelementary theorymodel theory of the group of unitriangular matrices over some ringquasi-unitriangular groupspectrum functionsTuring degreesunitriangular group
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Undecidability and degrees of sets of sentences (03D35) Metamathematical considerations in group theory (20A10) Applications of logic to group theory (20A15) Nilpotent groups (20F18) Other matrix groups over rings (20H25) Homological methods in group theory (20J05)
- The model theory of unitriangular groups
- Unitriangular groups and undecidability
- Automorphisms and model-theory questions for nilpotent matrix groups and rings.
- 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
- Unitriangular factorization of twisted Chevalley groups.
- Malt'sev correspondence and undecidability
- scientific article; zbMATH DE number 88848 (Why is no real title available?)
- scientific article; zbMATH DE number 554979 (Why is no real title available?)
- Groups elementarily equivalent to a free 2-nilpotent group of finite rank.
- Spectrum functions for certain classes of nilpotent groups
- Some model theory of the Heisenberg group: I. Unitriangular representations of models of a subtheory of its universal theory
- Rational subsets of unitriangular groups.
- Quasiunitriangular groups
- Constructive Matrix and Orderable Groups
- scientific article; zbMATH DE number 4187787 (Why is no real title available?)
- Groups elementarily equivalent to a free nilpotent group of finite rank
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4700631)
