About: In this paper we consider two classes of posets labeled over an alphabet A. The class [Formula: see text] is built from the letters and closed under the operations of series finite, [Formula: see text] and [Formula: see text] products, and finite parallel product. In the class [Formula: see text], [Formula: see text] and [Formula: see text] products are replaced by [Formula: see text] and [Formula: see text] powers. We prove that [Formula: see text] and [Formula: see text] are freely generated in their respective natural varieties of algebras [Formula: see text] and [Formula: see text], and that the equational theory of [Formula: see text] is decidable.   Goto Sponge  NotDistinct  Permalink

An Entity of Type : fabio:Abstract, within Data Space : wasabi.inria.fr associated with source document(s)

AttributesValues
type
value
  • In this paper we consider two classes of posets labeled over an alphabet A. The class [Formula: see text] is built from the letters and closed under the operations of series finite, [Formula: see text] and [Formula: see text] products, and finite parallel product. In the class [Formula: see text], [Formula: see text] and [Formula: see text] products are replaced by [Formula: see text] and [Formula: see text] powers. We prove that [Formula: see text] and [Formula: see text] are freely generated in their respective natural varieties of algebras [Formula: see text] and [Formula: see text], and that the equational theory of [Formula: see text] is decidable.
Subject
  • Geometric group theory
  • Social Democratic Party of Switzerland
  • Pro-European political parties
  • 1888 establishments in Switzerland
  • Full member parties of the Socialist International
  • Members of the Labour and Socialist International
  • Non-interventionist parties
  • Political parties established in 1888
  • Progressive Alliance
  • Social democratic parties
  • Socialist parties in Switzerland
  • Swiss Climate Alliance
  • Parties related to the Party of European Socialists
part of
is abstract of
is hasSource of
Faceted Search & Find service v1.13.91 as of Mar 24 2020


Alternative Linked Data Documents: Sponger | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software