scientific article

Publication date: 17 September 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

frames locales domain theory Stone space sober spaces power domains spectra of rings point logic Scott open filter theorem

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical methods in general topology (54B30) Frames, locales (06D22) Continuous lattices and posets, applications (06B35) Research exposition (monographs, survey articles) pertaining to general topology (54-02)

Related Items

Measuring the local non-convexity of real algebraic curves, Spectral sets, Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives, Lattice-valued bornological systems, Lattice-valued preordered sets as lattice-valued topological systems, Continuity and geometric logic, Natural number objects in Dialectica categories, Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations, Logics and quantum gravity, Variations on the bagdomain theme, PCF extended with real numbers, A spatial view of information, Private announcements on topological spaces, Stone duality and representation of stable domain, Lattice-valued topological systems as a framework for lattice-valued formal concept analysis, Coalgebraic representations of distributive lattices with operators, A formal mathematical framework for modeling probabilistic hybrid systems, On the strong amalgamation of Boolean algebras, Information completeness in Nelson algebras of rough sets induced by quasiorders, Duality for modal $\mu$-logics, Topological systems as a framework for institutions, Yet another patch construction for continuous frames and connections to the Fell compactification, The common order-theoretic structure of version spaces and ATMSs, The basic Zariski topology, Enough regular Cauchy filters for asymmetric uniform and nearness structures, Lattice-valued soft algebras., Presenting the frame of the unit circle., The categories $L$-$\mathbf{Top}_{0}$ and $L$-$\mathbf{Sob}$ as epireflective hulls, Overview and comparison of localic and fixed-basis topological products, Hypergraph functor and attachment, On limits and colimits of variety-based topological systems, On a generalization of the concept of state property system, Modalities in the Stone age: a comparison of coalgebraic logics, Interweaving algebra and topology: lattice-valued topological systems, Categorical foundations of variety-based topology and topological systems, Almost new pre-apartness from old, The quasi-lattice of indiscernible elements, The patch construction is dual to algebraic DCPO representation, Quantale algebras as lattice-valued quantales, The reals as full and balanced biframe, Measure, randomness and sublocales, Localic sup-lattices and tropological systems., Some points in formal topology., Spaces with a pretty base, Entailment systems for stably locally compact locales, A universal characterization of the double powerlocale, Entourage uniformities for frames, Lower and upper power domain constructions commute on all cpos, A Hofmann-Mislove theorem for bitopological spaces, Duality and the completeness of the modal $\mu$-calculus, A semantic hierarchy for intuitionistic logic, Constraint nets: a semantic model for hybrid dynamic systems, Lattice structures for attractors. II, Stable domains are generalized topological spaces, The mixed powerdomain, Machine semantics, Composite variety-based topological theories, An asymmetric characterization of the congruence frame, A representation theorem for quantales, Topology vs generalized rough sets, Fuzzy sets and geometric logic, Necessity of non-stratified and anti-stratified spaces in lattice-valued topology, From quantale algebroids to topological spaces: fixed- and variable-basis approaches, $L$-topological spaces as spaces of points, Fuzzy algebras as a framework for fuzzy topology, Generalized fuzzy topology versus non-commutative topology, The probabilistic powerdomain for stably compact spaces, Stone coalgebras, A bitopological point-free approach to compactifications, Fuzzy points and attachment, Natural deduction for first-order hybrid logic, Variable-basis topological systems versus variable-basis topological spaces, Algebraic aspects of generalized approximation spaces, Situations in LTL as strings, Self-oscillation, Operational domain theory and topology of sequential programming languages, Rough concept lattices and domains, On what ontology is and not-is, The connected Vietoris powerlocale, A categorical outlook on relational modalities and simulations, Possible worlds and resources: The semantics of $\mathbf{BI}$, Ordinal decompositions for preordered root systems, The properties of $\models$-filters of a topological system, Incompatible empirically equivalent theories: a structural explication., Vivid: a framework for heterogeneous problem solving, Properly injective spaces and function spaces, Topology, domain theory and theoretical computer science, A topos for algebraic quantum theory, Boolean connection algebras: A new approach to the Region-Connection Calculus, Analysis of billiard ball computation using phase space logics, Exponentiable objects in the category of topological molecular lattices, Toward an infinitary logic of domains: Abramsky logic for transition systems, Integration in Real PCF, Clausal logic and logic programming in algebraic domains, On Krull's separation lemma, On the semilattice of inner extensions of a fuzzy partial algebra, On the Yoneda completion of a quasi-metric space, Expressiveness of concept expressions in first-order description logics, Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies, Tropological systems are points of quantales, At most 4 topologies can arise from iterating the de Groot dual, A Duality Theorem for Real C * Algebras, Information systems for continuous posets, Intersection types and lambda models, Formulas on the lattice of fuzzy subalgebras in universal algebra, Semantics of a sequential language for exact real-number computation, Fuzzy topology via fuzzy geometric logic with graded consequence, Projective points over matrices and their separability properties, Stone dualities from opfibrations, Coalgebraic Geometric Logic: Basic Theory, How to construct a product of a-frames, TRANSITIVITY IN POINT-FREE TOPOLOGY, Quantales, observational logic and process semantics, Relational Representation Theorem for Powerset Quantales, Asymmetry and duality in topology, A rational reconstruction of the domain of feature structures, A concrete realization of the Hoare powerdomain, The compactificability classes of certain spaces, The Samuel compactification for quasi-uniform biframes, Data refinement, call by value and higher order programs, An asymmetric approach to filters in strict extensions and quotients, Three-valued derived logics for classical phase spaces, Sierpinski object for affine systems, Categorical foundations of variety-based bornology, Temporal Structures, A perspective on non-commutative frame theory, An intuitionistic proof of Tychonoff's theorem, Implication via spacetime, On topological systems, Lattice structures for attractors. III, Topological reasoning and the logic of knowledge, Coverages on inverse semigroups, Autonomous posets and quantales, Tensor topology, Categorical shape theory as a formal language for pattern recognition?, Presenting de Groot duality of stably compact spaces, A topological approach to full belief, Remarks on hyperspaces for Priestley spaces, On graphs of bounded semilattices, Quotients of d-frames, Radical theory of Scott-open filters, On the geometry of physical measurements: topological and algebraic aspects, Unnamed Item, Unnamed Item, Unnamed Item, Categorically algebraic topology versus universal topology, Constructive theory of the lower power locale, A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure., Extremal Prime Filters and Universality of Some Categories, CAUCHY POINTS OF UNIFORM AND NEARNESS FRAMES, Unnamed Item, On Rough Concept Lattices, L-fuzzy Scott Topology and Scott Convergence of Stratified L-filters on Fuzzy Dcpos, The principle of pointfree continuity, Web spaces and worldwide web spaces: topological aspects of domain theory, A NOTE ON RECONSTRUCTION OF SPACES AND MAPS FROM LATTICE DATA, Stably locally compact locales are dual to continuous posets, Thompson aggregators, Scott continuous koopmans operators, and least fixed point theory, Some further results about uninorms on bounded lattices, Domains occur among spaces as strict algebras among lax, Positive monotone modal logic, Non-Archimedean game theory: a numerical approach, Unnamed Item, Generalised powerlocales via relation lifting, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, A Direct Proof of the Hofmann-Mislove Theorem, Tychonoff's theorem in the framework of formal topologies, Continuous Domains and their Information System Representation as Logical Systems, Stably Compact Spaces and Closed Relations, On the category of lattice-valued bornological vector spaces, Situations as Strings, A method for constructing coreflections for nearness frames., A Grim semantics for logics of belief, Continuous Domain Theory in Logical Form, Coverages give free constructions for partial frames, Unnamed Item, Fixed points and frontiers: a new perspective, On the computational content of the Lawson topology, Algebraic and Categorical Aspects of Quantales, Lattice structures for attractors. I, THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES, A topological duality for posets, RECOVERING THE BOUNDARY PATH SPACE OF A TOPOLOGICAL GRAPH USING POINTLESS TOPOLOGY, Unnamed Item, Announcement as effort on topological spaces, An abstract theory of physical measurements, Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic, Unnamed Item, Simple Easy Terms, THE LOGIC OF INFORMATION IN STATE SPACES, Epistemic foundations for set-algebraic representations of knowledge, Pretopologies and a uniform presentation of sup-lattices, quantales and frames, Programming interfaces and basic topology, Formal Zariski topology: Positivity and points, Hofmann-Mislove through the lenses of Priestley, A Convenient Category of Domains, Higher order functions and Brouwer’s thesis, Unnamed Item, ON THE COMPLETION OF NEARNESS FRAMES, Strong Completeness of S4 for the Real Line, Probabilistic power domains, information systems, and locales, Sublocales in formal topology, A categorical approach to graded fuzzy topological system and fuzzy geometric logic with graded consequence, MODES OF CONVERGENCE TO THE TRUTH: STEPS TOWARD A BETTER EPISTEMOLOGY OF INDUCTION, Unnamed Item, Unnamed Item, Logic of plotkin continuous domain, A functorial semantics for observed concurrency, Stone Dualities from Opfibrations, Preorders, Partial Semigroups, and Quantales, Sierpinski object for composite affine spaces, Deriving dualities in pointfree topology from Priestley duality, CHOICE-FREE STONE DUALITY, The localic compact interval is an Escardó‐Simpson interval object, Information links in domain theory, Continuation sheaves in dynamics: sheaf cohomology and bifurcation, Unnamed Item, Apartness, sharp elements, and the Scott topology of domains, Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions, Products of topological spaces and families of filters, Generalizing Pure and Impure Iterated Prisoner’s Dilemmas to the Case of Infinite and Infinitesimal Quantities, Group action in topos quantum physics, Neighbourhood systems, Continuous Domains in Formal Concept Analysis*, Cozero bases of frames, The regular-locally compact coreflection of a stably locally compact locale, Spatiality of countably presentable locales (proved with the Baire category theorem), Quantales, finite observations and strong bisimulation, Full intersection types and topologies in lambda calculus, A dynamic logic for learning theory, Computable analysis with applications to dynamic systems, Fixed points with respect to the L-slice homomorphism $\sigma _{a} $, A topos formulation of history quantum theory, A Hofmann-Mislove theorem for Bitopological Spaces