Matches in SemOpenAlex for { <https://semopenalex.org/work/W2591424239> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2591424239 abstract "Forest algebras are defined for investigating languages of forests [ordered sequences] of unranked trees, where a node may have more than two [ordered] successors. They consist of two monoids, the horizontal and the vertical, with an action of the vertical monoid on the horizontal monoid, and a complementary axiom of faithfulness. In the study of forest algebras one of the main difficulties is how to handle the faithfulness property. A pseudovariety is a class of finite algebras of a given signature, closed under the taking of homomorphic images, subalgebras and finitary direct products. We tried to adapt in this context some of the results in the theory of semigroups, specially the studies on relatively free profinite semigroups, which are an important tool in the theory of pseudovarieties of semigroups. We define a new version of syntactic congruence of a subset of the free forest algebra, not just a forest language. This new version is the natural extension of the syntactic congruence for monoids in the case of forest algebras and is used in the proof of an analog of Hunter’s Lemma. We show that under a certain assumption the two versions of syntactic congruences coincide. We adapt some results of Almeida on metric semigroups to the context of forest algebras. We show that the analog of Hunter’s Lemma holds for metric forest algebras, which leads to the result that zero-dimensional compact metric forest algebras are residually finite. We show an analog of Reiterman’s Theorem, which is based on a study of the structure profinite forest algebras." @default.
- W2591424239 created "2017-03-03" @default.
- W2591424239 creator A5090820797 @default.
- W2591424239 date "2016-12-01" @default.
- W2591424239 modified "2023-09-27" @default.
- W2591424239 title "On Pseudovarieties of Forest Algebras" @default.
- W2591424239 cites W1949820592 @default.
- W2591424239 cites W1971672075 @default.
- W2591424239 cites W1984252983 @default.
- W2591424239 cites W1988683807 @default.
- W2591424239 cites W2005100072 @default.
- W2591424239 cites W2017081972 @default.
- W2591424239 doi "https://doi.org/10.1142/s0129054116500374" @default.
- W2591424239 hasPublicationYear "2016" @default.
- W2591424239 type Work @default.
- W2591424239 sameAs 2591424239 @default.
- W2591424239 citedByCount "1" @default.
- W2591424239 countsByYear W25914242392020 @default.
- W2591424239 crossrefType "journal-article" @default.
- W2591424239 hasAuthorship W2591424239A5090820797 @default.
- W2591424239 hasConcept C136119220 @default.
- W2591424239 hasConcept C149685015 @default.
- W2591424239 hasConcept C166957645 @default.
- W2591424239 hasConcept C18903297 @default.
- W2591424239 hasConcept C202444582 @default.
- W2591424239 hasConcept C205649164 @default.
- W2591424239 hasConcept C206901836 @default.
- W2591424239 hasConcept C2777759810 @default.
- W2591424239 hasConcept C2779343474 @default.
- W2591424239 hasConcept C33923547 @default.
- W2591424239 hasConcept C46757340 @default.
- W2591424239 hasConcept C86803240 @default.
- W2591424239 hasConcept C9973445 @default.
- W2591424239 hasConceptScore W2591424239C136119220 @default.
- W2591424239 hasConceptScore W2591424239C149685015 @default.
- W2591424239 hasConceptScore W2591424239C166957645 @default.
- W2591424239 hasConceptScore W2591424239C18903297 @default.
- W2591424239 hasConceptScore W2591424239C202444582 @default.
- W2591424239 hasConceptScore W2591424239C205649164 @default.
- W2591424239 hasConceptScore W2591424239C206901836 @default.
- W2591424239 hasConceptScore W2591424239C2777759810 @default.
- W2591424239 hasConceptScore W2591424239C2779343474 @default.
- W2591424239 hasConceptScore W2591424239C33923547 @default.
- W2591424239 hasConceptScore W2591424239C46757340 @default.
- W2591424239 hasConceptScore W2591424239C86803240 @default.
- W2591424239 hasConceptScore W2591424239C9973445 @default.
- W2591424239 hasLocation W25914242391 @default.
- W2591424239 hasOpenAccess W2591424239 @default.
- W2591424239 hasPrimaryLocation W25914242391 @default.
- W2591424239 hasRelatedWork W1480926504 @default.
- W2591424239 hasRelatedWork W1593006801 @default.
- W2591424239 hasRelatedWork W1974847715 @default.
- W2591424239 hasRelatedWork W1992234386 @default.
- W2591424239 hasRelatedWork W2004876855 @default.
- W2591424239 hasRelatedWork W2022554132 @default.
- W2591424239 hasRelatedWork W2064143133 @default.
- W2591424239 hasRelatedWork W2081870297 @default.
- W2591424239 hasRelatedWork W2123027737 @default.
- W2591424239 hasRelatedWork W2157487052 @default.
- W2591424239 hasRelatedWork W2182354728 @default.
- W2591424239 hasRelatedWork W2227066416 @default.
- W2591424239 hasRelatedWork W2334660854 @default.
- W2591424239 hasRelatedWork W2593290804 @default.
- W2591424239 hasRelatedWork W2885756743 @default.
- W2591424239 hasRelatedWork W2963337840 @default.
- W2591424239 hasRelatedWork W2963632537 @default.
- W2591424239 hasRelatedWork W3099647140 @default.
- W2591424239 hasRelatedWork W3106192713 @default.
- W2591424239 hasRelatedWork W3186829249 @default.
- W2591424239 isParatext "false" @default.
- W2591424239 isRetracted "false" @default.
- W2591424239 magId "2591424239" @default.
- W2591424239 workType "article" @default.