Matches in SemOpenAlex for { <https://semopenalex.org/work/W1906467488> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1906467488 abstract "Our main result is that any topological algebra based on a Boolean space is the extended Stone dual space of a certain associated Boolean algebra with additional operations. A particular case of this result is that the profinite completion of any abstract algebra is the extended Stone dual space of the Boolean algebra of recognizable subsets of the abstract algebra endowed with certain residuation operations. These results identify a connection between topological algebra as applied in algebra and Stone duality as applied in logic, and show that the notion of recognition originating in computer science is intrinsic to profinite completion in mathematics in general. This connection underlies a number of recent results in automata theory including a generalization of Eilenberg-Reiterman theory for regular languages and a new notion of compact recognition applying beyond the setting of regular languages. The purpose of this paper is to give the underlying duality theoretic result in its general form. Further we illustrate the power of the result by providing a few applications in topological algebra and language theory. In particular, we give a simple proof of the fact that any topological algebra quotient of a profinite algebra which is again based on a Boolean space is in fact a profinite algebra and we derive the conditions dual to the ones of the original Eilenberg theorem in a fully modular manner. We cast our results in the setting of extended Priestley duality for distributive lattices with additional operations as some classes of languages of interest in automata fail to be closed under complementation." @default.
- W1906467488 created "2016-06-24" @default.
- W1906467488 creator A5028851521 @default.
- W1906467488 date "2013-09-10" @default.
- W1906467488 modified "2023-10-03" @default.
- W1906467488 title "Stone duality, topological algebra, and recognition" @default.
- W1906467488 cites W1553588338 @default.
- W1906467488 cites W1724302595 @default.
- W1906467488 cites W2139772363 @default.
- W1906467488 doi "https://doi.org/10.48550/arxiv.1309.2422" @default.
- W1906467488 hasPublicationYear "2013" @default.
- W1906467488 type Work @default.
- W1906467488 sameAs 1906467488 @default.
- W1906467488 citedByCount "1" @default.
- W1906467488 countsByYear W19064674882013 @default.
- W1906467488 crossrefType "posted-content" @default.
- W1906467488 hasAuthorship W1906467488A5028851521 @default.
- W1906467488 hasBestOaLocation W19064674881 @default.
- W1906467488 hasConcept C10021369 @default.
- W1906467488 hasConcept C11821877 @default.
- W1906467488 hasConcept C118615104 @default.
- W1906467488 hasConcept C13355873 @default.
- W1906467488 hasConcept C136119220 @default.
- W1906467488 hasConcept C169171071 @default.
- W1906467488 hasConcept C188159880 @default.
- W1906467488 hasConcept C188971069 @default.
- W1906467488 hasConcept C202444582 @default.
- W1906467488 hasConcept C207764348 @default.
- W1906467488 hasConcept C2524010 @default.
- W1906467488 hasConcept C2778023678 @default.
- W1906467488 hasConcept C33923547 @default.
- W1906467488 hasConcept C39685927 @default.
- W1906467488 hasConcept C45503250 @default.
- W1906467488 hasConcept C527218924 @default.
- W1906467488 hasConcept C81332173 @default.
- W1906467488 hasConcept C81518389 @default.
- W1906467488 hasConceptScore W1906467488C10021369 @default.
- W1906467488 hasConceptScore W1906467488C11821877 @default.
- W1906467488 hasConceptScore W1906467488C118615104 @default.
- W1906467488 hasConceptScore W1906467488C13355873 @default.
- W1906467488 hasConceptScore W1906467488C136119220 @default.
- W1906467488 hasConceptScore W1906467488C169171071 @default.
- W1906467488 hasConceptScore W1906467488C188159880 @default.
- W1906467488 hasConceptScore W1906467488C188971069 @default.
- W1906467488 hasConceptScore W1906467488C202444582 @default.
- W1906467488 hasConceptScore W1906467488C207764348 @default.
- W1906467488 hasConceptScore W1906467488C2524010 @default.
- W1906467488 hasConceptScore W1906467488C2778023678 @default.
- W1906467488 hasConceptScore W1906467488C33923547 @default.
- W1906467488 hasConceptScore W1906467488C39685927 @default.
- W1906467488 hasConceptScore W1906467488C45503250 @default.
- W1906467488 hasConceptScore W1906467488C527218924 @default.
- W1906467488 hasConceptScore W1906467488C81332173 @default.
- W1906467488 hasConceptScore W1906467488C81518389 @default.
- W1906467488 hasLocation W19064674881 @default.
- W1906467488 hasLocation W19064674882 @default.
- W1906467488 hasLocation W19064674883 @default.
- W1906467488 hasLocation W19064674884 @default.
- W1906467488 hasLocation W19064674885 @default.
- W1906467488 hasLocation W19064674886 @default.
- W1906467488 hasLocation W19064674887 @default.
- W1906467488 hasOpenAccess W1906467488 @default.
- W1906467488 hasPrimaryLocation W19064674881 @default.
- W1906467488 hasRelatedWork W176883546 @default.
- W1906467488 hasRelatedWork W1906467488 @default.
- W1906467488 hasRelatedWork W2037090414 @default.
- W1906467488 hasRelatedWork W2064028328 @default.
- W1906467488 hasRelatedWork W2357223153 @default.
- W1906467488 hasRelatedWork W2369221237 @default.
- W1906467488 hasRelatedWork W2377493875 @default.
- W1906467488 hasRelatedWork W254959529 @default.
- W1906467488 hasRelatedWork W2940617399 @default.
- W1906467488 hasRelatedWork W175761183 @default.
- W1906467488 isParatext "false" @default.
- W1906467488 isRetracted "false" @default.
- W1906467488 magId "1906467488" @default.
- W1906467488 workType "article" @default.