Church's Semigroup Is Sq-Universal.

DOI10.4230/LIPICS.FSCD.2021.6MaRDI QIDQ6159920zbMATH OpenOpenAlexFDO

Authors Richard Statman

Publication date 23 June 2023

Full work available at URL https://doi.org/10.4230/LIPIcs.FSCD.2021.6

zbMATH Keywords

lambda calculusChurch's semigroupsq-universal

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 4077546
• Universal semigroups
• The universal semilattice compactification of a semigroup
• Semigroups presented by one relation and satisfying the Church-Rosser property
• Characterization and axiomatization of all semigroups whose square is group
• scientific article; zbMATH DE number 3875543
• Semigroups with finitely generated universal left congruence
• scientific article; zbMATH DE number 3916577
• A constructive approach to the universality criterion for semi-groups
• scientific article; zbMATH DE number 1046048

This page was built for publication: Church's Semigroup Is Sq-Universal.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6159920)