Satisfaction of existential theories in finitely presented groups and some embedding theorems.

DOI10.1016/j.apal.2006.03.002zbMath1112.20029OpenAlexW2074356056MaRDI QIDQ2503408

Abderezak Ould Houcine

Publication date: 14 September 2006

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2006.03.002

zbMATH Keywords

finitely generated groupsword problemfinitely presented groupsSQ-universal groupsexistential theories

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Subgroup theorems; subgroup growth (20E07) Model-theoretic algebra (03C60) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15)

Related Items (2)

The monomorphism problem in free groups. ⋮ Subgroup theorem for valuated groups and the CSA property.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model theory
• Subgroups of finitely presented groups
• An algebraic characterization of groups with soluble word problem
• Model Theory
• Omitting quantifier-free types in generic structures
• An Embedding Theorem for Finitely Generated Groups
• Length Functions in Groups.
• Embedding Theorems for Groups

This page was built for publication: Satisfaction of existential theories in finitely presented groups and some embedding theorems.