scientific article; zbMATH DE number 1357424

zbMath0931.03053MaRDI QIDQ4700631

Oleg V. Belegradek

Publication date: 4 November 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidabilityaxiomatizabilityelementary equivalenceTuring degreesunitriangular groupelementary theoryspectrum functionsmodel theory of the group of unitriangular matrices over some ringquasi-unitriangular group

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Nilpotent groups (20F18) Undecidability and degrees of sets of sentences (03D35) Homological methods in group theory (20J05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other matrix groups over rings (20H25) Classification theory, stability, and related concepts in model theory (03C45) Metamathematical considerations in group theory (20A10)

Related Items (4)

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 ⋮ Groups elementarily equivalent to a free 2-nilpotent group of finite rank. ⋮ Groups elementarily equivalent to a free nilpotent group of finite rank ⋮ Automorphisms and model-theory questions for nilpotent matrix groups and rings.

This page was built for publication: