The following pages link to (Q5557882):
Displaying 9 items.
- Equationally definable Post L-algebras (Q1162531) (← links)
- Post-like algebras and injective Stone algebras (Q1217152) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Which data types have \(\omega\)-complete initial algebra specifications? (Q1318728) (← links)
- Natural deduction for Post's logics and their duals (Q1653550) (← links)
- Simplicity vis-a-vis functional completeness (Q2538648) (← links)
- Stonesche Verbände der Ordnung \(n\) und Postalgebren (Q2557717) (← links)
- Primitive Satisfaction and Equational Problems for Lattices and Other Algebras (Q4041620) (← links)
- Post Algebras in the Work of Helena Rasiowa (Q4611702) (← links)
