The search session has expired. Please query the service again.
A -labeled -poset is an (at most) countable set, labeled in the set , equipped with partial orders. The collection of all -labeled -posets is naturally equipped with binary product operations and
-ary product operations. Moreover, the -ary product operations give rise to
-power operations. We show that those -labeled -posets that can be generated from the singletons by the binary and -ary product operations form the free algebra on in a variety...
A -labeled -poset is an (at most) countable set,
labeled in the set , equipped with partial orders.
The collection of all -labeled -posets is naturally
equipped with binary product operations and
-ary product operations.
Moreover, the -ary product operations
give rise to
-power operations.
We show that those -labeled -posets that can be generated from
the singletons by the binary and -ary
product operations form the free algebra on
in a variety axiomatizable by...
Download Results (CSV)