ترغب بنشر مسار تعليمي؟ اضغط هنا

Stone pseudovarieties

78   0   0.0 ( 0 )
 نشر من قبل Jorge Almeida
 تاريخ النشر 2019
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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.



قيم البحث

اقرأ أيضاً

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any computabl y metrized space. In fact, in our proof we construct a right-c.e. metrized Stone space which is not homeomorphic to any computably metrized space. Then we introduce a new notion of effective categoricity for effectively compact spaces and prove that effectively categorical Stone spaces are exactly the duals of computably categorical Boolean algebras. Finally, we prove that, for a Stone space $X$, the Banach space $C(X;mathbb{R})$ has a computable presentation if, and only if, $X$ is homeomorphic to a computably metrized space. This gives an unexpected positive partial answer to a question recently posed by McNicholl.
We extend Stone duality between generalized Boolean algebras and Boolean spaces, which are the zero-dimensional locally-compact Hausdorff spaces, to a non-commutative setting. We first show that the category of right-handed skew Boolean algebras with intersections is dual to the category of surjective etale maps between Boolean spaces. We then extend the duality to skew Boolean algebras with intersections, and consider several variations in which the morphisms are restricted. Finally, we use the duality to construct a right-handed skew Boolean algebra without a lattice section.
Under a general categorical procedure for the extension of dual equivalences as presented in this papers predecessor, a new algebraically defined category is established that is dually equivalent to the category $bf LKHaus$ of locally compact Hausdor ff spaces and continuous maps, with the dual equivalence extending a Stone-type duality for the category of extremally disconnected locally compact Hausdorff spaces and continuous maps. The new category is then shown to be isomorphic to the category $bf CLCA$ of complete local contact algebras and suitable morphisms. Thereby, a new proof is presented for the equivalence ${bf LKHaus}simeq{bf CLCA}^{rm op}$ that was obtained by the first author more than a decade ago. Unlike the morphisms of $bf CLCA$, the morphisms of the new category and their composition law are very natural and easy to handle.
Assuming Jensons principle diamond: Whenever B is a totally imperfect set of real numbers, there is special Aronszajn tree with no continuous order preserving map into B.
125 - Alexander Usvyatsov 2008
We compare three notions of genericity of separable metric structures. Our analysis provides a general model theoretic technique of showing that structures are generic in descriptive set theoretic (topological) sense and in measure theoretic sense. In particular, it gives a new perspective on Vershiks theorems on genericity and randomness of Urysohns space among separable metric spaces.
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا