scientific article
From MaRDI portal
Publication:3867986
zbMath0431.20045MaRDI QIDQ3867986
Publication date: 1979
Full work available at URL: https://eudml.org/doc/61977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
free inverse semigrouppositive theoryfirst order predicate calculusclosed positive formulasprenex form
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 (2)
Diophantine theories of free inverse semigroups ⋮ On one-relator groups and units of special one-relation inverse monoids
This page was built for publication:
