2026-07-23T13:08:52Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:119 2024-03-06T11:05:52Z ddc:004 open_access

The Hofmann-Mislove Theorem for general posets Kovar, Martin Posets generalized Scott topology Scott open filters (filtered) compactness saturated In this paper we attempt to find and investigate the most general class of posets which satisfy a properly generalized version of the Hofmann-Mislove theorem. For that purpose, we generalize and study some notions (like compactness, the Scott topology, Scott open filters, prime elements, the spectrum etc.), and adjust them for use in general posets. Then we characterize the posets satisfying the Hofmann-Mislove theorem by the relationship between the generalized Scott closed prime subsets and the generalized prime elements of the poset. The theory become classic for distributive lattices. Remark that the topologies induced on the generalized spectra in general need not be sober. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Kovar 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.04351.20 urn:nbn:de:0030-drops-1199 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.20 eng https://creativecommons.org/licenses/by/4.0/legalcode