We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Stone pseudovarieties

Abstract: Profinite algebras are the residually finite compact algebras, whose underlying topological spaces are Stone spaces. We introduce Stone pseudovarieties, that is, classes of Stone topological algebras of a fixed signature that are closed under taking Stone quotients, closed subalgebras and finite direct products. Looking at Stone spaces as the dual spaces of Boolean algebras, we find a simple characterization of when the dual space admits a natural structure of topological algebra. This provides a new approach to duality theory which, in the case of a Stone signature, culminates in the proof that a Stone quotient of a Stone topological algebra that is residually in a given Stone pseudovariety is also residually in it, thereby extending the corresponding result of M. Gehrke for the Stone pseudovariety of all finite algebras over discrete signatures. The residual closure of a Stone pseudovariety is thus a Stone pseudovariety, and these are precisely the Stone analogues of varieties. A Birkhoff type theorem for residually closed Stone varieties is also established.
Comments: Parts of the first version of this paper have been moved to other papers
Subjects: Logic (math.LO); General Topology (math.GN); Rings and Algebras (math.RA)
MSC classes: 46H05, 06E15, 08A62
Cite as: arXiv:1910.03674 [math.LO]
  (or arXiv:1910.03674v2 [math.LO] for this version)

Submission history

From: Jorge Almeida [view email]
[v1] Tue, 8 Oct 2019 20:32:37 GMT (47kb)
[v2] Fri, 10 Sep 2021 06:17:26 GMT (32kb)

Link back to: arXiv, form interface, contact.