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

DOI10.1016/j.apal.2006.03.002zbMath1112.20029MaRDI 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 groups; word problem; finitely presented groups; SQ-universal groups; existential theories

Mathematics Subject Classification ID

20A15: Applications of logic to group theory

20E07: Subgroup theorems; subgroup growth

03C60: Model-theoretic algebra

20F05: Generators, relations, and presentations of groups

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

03C07: Basic properties of first-order languages and structures

03C15: Model theory of denumerable and separable structures

Related Items

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