Higman's embedding theorem in a general setting and its application to existentially closed algebras
type: Item
instance of: scholarly article
title: Higman's embedding theorem in a general setting and its application to existentially closed algebras
zbMATH Open document ID: 0882.03036
author: Oleg Belegradek
published in: Notre Dame Journal of Formal Logic
publication date: 1998-03-12T00:00:00Z
Mathematics Subject Classification ID: 03C57
Mathematics Subject Classification ID: 03D40
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 08A50
zbMATH DE Number: 1093123
zbMATH Keywords: recursively presented algebra
zbMATH Keywords: finitely presented algebra
zbMATH Keywords: existentially closed algebra
zbMATH Keywords: Generalized Higman Theorem
zbMATH Keywords: word problem
zbMATH Keywords: groups
zbMATH Keywords: torsion-free groups
zbMATH Keywords: semigroups
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1305/ndjfl/1040046145
OpenAlex ID: W2057018055
cites work: Algebraically closed groups
cites work: Элементарные свойства алгебраически замкнутых групп
cites work: The model theory of unitriangular groups
cites work: Algebraically closed semigroups
cites work: Q3866232
cites work: Imbeddability of recursively presented inverse semigroups into finitely presented ones
cites work: Subgroups of finitely presented groups
cites work: Q4003410
cites work: Omitting quantifier-free types in generic structures
cites work: Q5595194
cites work: Q5573961
cites work: Definability in algebraically closed systems
cites work: Q3897194
DOI: 10.1305/NDJFL/1040046145
description: scientific article; zbMATH DE number 1093123