scientific article; zbMATH DE number 193180
From MaRDI portal
Publication:4040038
existentially closed groupsfinite set of equations and inequalitiesfirst-order theorymodel theoryrecursion theoryweakly algebraically closed group
Model-theoretic algebra (03C60) Applications of computability and recursion theory (03D80) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Applications of logic to group theory (20A15) 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)
Recommendations
- scientific article; zbMATH DE number 4025688
- scientific article; zbMATH DE number 822336
- scientific article; zbMATH DE number 3977252
- Existentially closed structures and some embedding theorems
- Existentially and \kappa-existentially closed groups
- Existentially closed closure algebras
- Automorphisms of \(\kappa\)-existentially closed groups
- Verbally closed subgroups of free groups
- scientific article; zbMATH DE number 3889510
- scientific article; zbMATH DE number 3897215
Cited in
(30)- The partial ordering on the automorphism group of the countable generic partial order
- Existentially closed locally finite p-groups
- \(\kappa\)-existentially closed groups
- Equations in acylindrically hyperbolic groups and verbal closedness
- Automorphisms of \(\kappa\)-existentially closed groups
- Existentially closed Leibniz algebras and an embedding theorem
- Canonical and algebraically closed groups in universal classes of abelian groups
- Verbally and existentially closed subgroups of free nilpotent groups.
- Existentially closed subgroups of free nilpotent groups.
- Existentially closed structures and some embedding theorems
- On free decompositions of verbally closed subgroups in free products of finite groups
- Satisfaction of existential theories in finitely presented groups and some embedding theorems.
- The bi-embeddability relation for finitely generated groups. II
- On Turner's theorem and first-order theory
- Computability in Symbolic Dynamics
- scientific article; zbMATH DE number 3977252 (Why is no real title available?)
- On the closure of the first Grigorchuk group.
- scientific article; zbMATH DE number 15568 (Why is no real title available?)
- Groups whose universal theory is axiomatizable by quasi-identities
- Cototal enumeration degrees and their applications to effective mathematics
- scientific article; zbMATH DE number 822336 (Why is no real title available?)
- Three topological reducibilities for discontinuous functions
- Some Properties of Complete Boolean Algebras
- A characterization of subshifts with computable language
- Approximations of groups, characterizations of sofic groups, and equations over groups
- Strongly Algebraically Closed Lattices in ℓ-groups and Semilattices
- Existentially and \kappa-existentially closed groups
- Remarks on the diagonal embedding and strong 1-boundedness
- -existentially closed groups and centralizers
- On the isolated points in the space of groups.
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 Q4040038)
