Abstract
Let \(\mathcal {O} S\) be the frame of open sets of a topological space S, and let \(N(\mathcal {O} S)\) be the frame of nuclei on \(\mathcal {O} S\). For an Alexandroff space S, we prove that \(N(\mathcal {O} S)\) is spatial iff the infinite binary tree \({\mathscr{T}}_2\) does not embed isomorphically into (S,≤), where ≤ is the specialization preorder of S.
Similar content being viewed by others
References
Ávila, F., Bezhansihvili, G., Morandi, P.J., Zaldívar, A.: When is the frame of nuclei spatial: A new approach. J. Pure Appl. Algebra 224(7), Paper No. 106302, 20 pp. (2020)
Beazer, R., Macnab, D.S.: Modal extensions of Heyting algebras. Colloq. Math. 41(1), 1–12 (1979)
Bezhanishvili, G., Gabelaia, D., Jibladze, M.: Funayama’s theorem revisited. Algebra Universalis 70(3), 271–286 (2013)
Bezhanishvili, G., Gehrke, M., Mines, R., Morandi, P.J.: Profinite completions and canonical extensions of Heyting algebras. Order 23(2–3), 143–161 (2006)
Bezhanishvili, G., Ghilardi, S.: An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Logic 147(1–2), 84–100 (2007)
Dowker, C.H., Papert, D.: Quotient frames and subspaces. Proc. London Math. Soc. 16(3), 275–296 (1966)
Engelking, R.: General Topology, 2nd edn., Sigma Series in Pure Mathematics, vol. 6. Heldermann, Berlin (1989)
Esakia, L.: Heyting Algebras. Duality Theory, Translated from the Russian by A. Evseev. Edited by G. Bezhanishvili and W. Holliday. Trends in Logic, vol. 50. Springer (2019)
Isbell, J.: Atomless parts of spaces. Math. Scand. 31, 5–32 (1972)
Isbell, J.: On dissolute spaces. Topology Appl. 40(1), 63–70 (1991)
Johnstone, P.T.: Stone Spaces. Cambridge Studies in Advanced Mathematics, vol. 3. Cambridge University Press, Cambridge (1982)
Macnab, D.S.: Modal operators on Heyting algebras. Algebra Universalis 12(1), 5–29 (1981)
Munkres, J.: Topology, 2nd edn. Prentice Hall, Inc., Upper Saddle River NJ (2000)
Niefield, S.B., Rosenthal, K.I.: Spatial sublocales and essential primes. Topology Appl. 26(3), 263–269 (1987)
Plewe, T.: Higher Order Dissolutions and Boolean Coreflections of Locales, vol. 154, 2000, Category Theory and its Applications, pp. 273–293. Montréal QC (1997)
Plewe, T.: Sublocale lattices. J. Pure Appl. Algebra 168(2-3), 309–326 (2002)
Pultr, A., Sichler, J.: A Priestley view of spatialization of frames. Cahiers Topologie Géom. Différentielle Catég. 41(3), 225–238 (2000)
Simmons, H.: A Framework for Topology, Logic Colloquium ’77 (Proc. Conf., Wrocław, 1977). Stud. Logic Foundations Math., vol. 96, pp. 239–251. North-Holland (1978)
Simmons, H.: Spaces with Boolean assemblies. Colloq. Math. 43(1), 23–39 (1980)
Simmons, H.: Near-discreteness of modules and spaces as measured by Gabriel and Cantor. J. Pure Appl. Algebra 56(2), 119–162 (1989)
Simmons, H.: Cantor-Bendixson Properties of the Assembly of a Frame, Leo Esakia on Duality in Modal and Intuitionistic Logics. Outst. Contrib. Log., vol. 4, pp 217–255. Springer, Dordrecht (2014)
Wilson, J.T.: The Assembly Tower and Some Categorical and Algebraic Aspects of Frame Theory. Carnegie Mellon University, Ph.D. thesis (1994)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Ávila, F., Bezhanishvili, G., Morandi, P.J. et al. The Frame of Nuclei on an Alexandroff Space. Order 38, 67–78 (2021). https://doi.org/10.1007/s11083-020-09528-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-020-09528-1