DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
type: Item
instance of: scholarly article
title: DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP
zbMATH Open document ID: 0578.20001
published in: Mathematics of the USSR-Izvestiya
publication date: 1985-01-01T00:00:00Z
Mathematics Subject Classification ID: 20A10
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 03C07
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20F10
Mathematics Subject Classification ID: 03C60
Mathematics Subject Classification ID: 20A05
zbMATH DE Number: 3925069
zbMATH Keywords: universal theory
zbMATH Keywords: positive theory
zbMATH Keywords: free groups of finite rank
zbMATH Keywords: solvability of equations
zbMATH Keywords: positive formulae on free groups
author: Gennady S. Makanin
MaRDI profile type: Publication
full work available at URL: im1985v025n01abeh001269
OpenAlex ID: W2076844127
DOI: 10.1070/IM1985V025N01ABEH001269
Recommended article: Q3693683
Recommended article: Q4309578
Recommended article: A reduction of the decidability problem of the theory of a free group
Recommended article: Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
Recommended article: Q3816046
Recommended article: Q4029321
Recommended article: Decidability of the theories of certain infinite, finitely presented quasigroups
Recommended article: On ``simple'' undecidable fragments of the positive theory of a free semigroup
Recommended article: On the decidability of semigroup freeness.
Recommended article: Q3741619
description: scientific article