Pages that link to "Item:Q2367538"

The following pages link to Information systems for continuous posets (Q2367538):

Displaying 36 items.

• Re-visiting axioms of information systems (Q259056) (← links)
• Representations of algebraic domains and algebraic L-domains by information systems (Q276406) (← links)
• A bitopological point-free approach to compactifications (Q554414) (← links)
• The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
• A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces (Q723212) (← links)
• A representation of L-domains by information systems (Q896923) (← links)
• Information systems revisited -- the general continuous case (Q949623) (← links)
• The connected Vietoris powerlocale (Q1030196) (← links)
• Constructive complete distributivity. IV (Q1330904) (← links)
• A note on injective spaces. (Q1426505) (← links)
• Presenting locale pullback via directed complete posets (Q1434361) (← links)
• Entailment systems for stably locally compact locales (Q1434362) (← links)
• A universal characterization of the double powerlocale (Q1434363) (← links)
• Weak algebraic information systems and a new equivalent category of DOM of domains (Q1727992) (← links)
• Stably locally compact locales are dual to continuous posets (Q1979302) (← links)
• The topology of a quantale valued metric space (Q2035417) (← links)
• Information systems for continuous semi-lattices (Q2123056) (← links)
• Presenting de Groot duality of stably compact spaces (Q2182316) (← links)
• Representations of stably continuous semi-lattices by information systems and abstract bases (Q2224847) (← links)
• Some categorical aspects of information systems and domains (Q2432574) (← links)
• On the parallel between the suplattice and preframe approaches to locale theory (Q2575778) (← links)
• The principle of pointfree continuity (Q3121524) (← links)
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic (Q4382500) (← links)
• (Q4389696) (← links)
• (Q5009708) (← links)
• (Q5101348) (← links)
• (Q5106330) (← links)
• The localic compact interval is an Escardó‐Simpson interval object (Q5108135) (← links)
• Complete Regularity: Kopperman's duality {\it \`{a} la quantale} (Q5109956) (← links)
• Fibrations of AU-contexts beget fibrations of toposes (Q5112051) (← links)
• A representation of proper BC domains based on conjunctive sequent calculi (Q5220179) (← links)
• Various Constructions of Continuous Information Systems (Q5415627) (← links)
• Spatiality of countably presentable locales (proved with the Baire category theorem) (Q5740673) (← links)
• Probabilistic power domains, information systems, and locales (Q5890059) (← links)
• A generalization of de Vries duality to closed relations between compact Hausdorff spaces (Q6113249) (← links)
• A note on information systems for continuous semi-lattices (Q6548962) (← links)