scientific article; zbMATH DE number 1107757
From MaRDI portal
Publication:4373707
zbMath0884.08008MaRDI QIDQ4373707
Publication date: 21 January 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencycompletenesshypersubstitutions\(M\)-solid varieties\(M\)-hyperidentitiesBirkhoff-type theorymodel classes of second-order sentencespairs of closure operators
Related Items (5)
Unnamed Item ⋮ Unnamed Item ⋮ The order of hypersubstitutions of type \((2,1)\) ⋮ All Reg-solid varieties of commutative semigroups. ⋮ Hyper-pseudoformulas and M-solid ordered pseudovarieties
This page was built for publication:
