DECIDABILITY OF THE POSITIVE THEORY OF A FREE COUNTABLY GENERATED SEMIGROUP

• 28 January 1983
• journal article
• Published by Steklov Mathematical Institute in Mathematics of the USSR-Sbornik
• Vol. 44  (1) , 109-116
• https://doi.org/10.1070/sm1983v044n01abeh000954

Abstract

Keywords

• DECIDABILITY
• FREE COUNTABLY
• GENERATED SEMIGROUP
• COUNTABLY GENERATED
• POSITIVE THEORY