Positive theories of free inverse semigroups

DOI10.1007/BF00970391zbMath0452.20057OpenAlexW2323768040MaRDI QIDQ1148394

Bella V. Rozenblat

Publication date: 1980

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00970391

zbMATH Keywords

restricted predicate calculusclosed positive formulaspositive theory of free inverse semigroups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (1)

WORD EQUATIONS OVER GRAPH PRODUCTS

Cites Work

• On the elementary theory of free inverse semigroups
• Free inverse semigroups are not finitely presentable
• A note on free inverse semigroups
• Free inverse semigroups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Positive theories of free inverse semigroups