Positive theories of free inverse semigroups
From MaRDI portal
Publication:1148394
DOI10.1007/BF00970391zbMath0452.20057MaRDI QIDQ1148394
Publication date: 1980
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
20A15: Applications of logic to group theory
20M05: Free semigroups, generators and relations, word problems
03B25: Decidability of theories and sets of sentences
03B30: Foundations of classical theories (including reverse mathematics)
Related Items
Cites Work