scientific article

zbMath0646.20001MaRDI QIDQ4040038

Graham Higman, Elizabeth A. Scott

Publication date: 5 June 1993

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

zbMATH Keywords

first-order theorymodel theoryrecursion theoryexistentially closed groupsfinite set of equations and inequalitiesweakly algebraically closed group

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) General structure theorems for groups (20E34) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Applications of computability and recursion theory (03D80) Research exposition (monographs, survey articles) pertaining to group theory (20-02)

Related Items (24)

The bi-embeddability relation for finitely generated groups. II ⋮ Three topological reducibilities for discontinuous functions ⋮ Groups whose universal theory is axiomatizable by quasi-identities ⋮ Computability in Symbolic Dynamics ⋮ Automorphisms of \(\kappa\)-existentially closed groups ⋮ Existentially and $\kappa$-existentially closed groups ⋮ On the isolated points in the space of groups. ⋮ Cototal enumeration degrees and their applications to effective mathematics ⋮ Existentially closed structures and some embedding theorems ⋮ On free decompositions of verbally closed subgroups in free products of finite groups ⋮ Remarks on the diagonal embedding and strong 1-boundedness ⋮ \(\kappa\)-existentially closed groups ⋮ Some Properties of Complete Boolean Algebras ⋮ On Turner’s theorem and first-order theory ⋮ Existentially closed Leibniz algebras and an embedding theorem ⋮ Approximations of groups, characterizations of sofic groups, and equations over groups ⋮ Unnamed Item ⋮ Satisfaction of existential theories in finitely presented groups and some embedding theorems. ⋮ Canonical and algebraically closed groups in universal classes of abelian groups ⋮ The partial ordering on the automorphism group of the countable generic partial order ⋮ Strongly Algebraically Closed Lattices in ℓ-groups and Semilattices ⋮ Verbally and existentially closed subgroups of free nilpotent groups. ⋮ Existentially closed subgroups of free nilpotent groups. ⋮ Equations in acylindrically hyperbolic groups and verbal closedness

This page was built for publication: