scientific article

zbMath0586.54001MaRDI QIDQ3711309

Peter T. Johnstone

Publication date: 1986

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

zbMATH Keywords

Boolean algebrasframeslocalescompact Hausdorff spacesmonadscategorical logicsheaf theorycomplete regularitycontinuous latticesUrysohn's lemmacontinuous real-valued functionsZariski spectrumlocally compact localesLawson semilatticescoherent localesexponentiable localsF-ringsfree objects in varieties of latticesglobal- section representation of ringsKakutani's theory of M-spacesKeimel's L-ring representationpierce spectrumPontryagin-type dualitiesprofinite setsprofiniteness and dualityrepresentation of ringsVietoris locales

Mathematics Subject Classification ID

Related Items (only showing first 100 items - show all)

Dual Space of a Lattice as the Completion of a Pervin Space ⋮ Group-theoretic and topological invariants of completely integrally closed Prüfer domains ⋮ The Galois group of a stable homotopy theory ⋮ Epicomplete archimedean l-groups via a localic Yosida theorem ⋮ A domain equation for bisimulation ⋮ \(\kappa\)-frames ⋮ Epimorphisms of frames ⋮ Stability of abelian groups in a topos of sheaves ⋮ Enriched logical connections ⋮ A perspective on non-commutative frame theory ⋮ Compactness and stability in diframes ⋮ 1994 Annual Meeting of the Association for Symbolic Logic ⋮ Are locally finite MV-algebras a variety? ⋮ On toposes generated by cardinal finite objects ⋮ Unnamed Item ⋮ Paralocalic groups ⋮ Stone Dualities from Opfibrations ⋮ Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces ⋮ Topology of closure systems in algebraic lattices ⋮ McKinsey-Tarski algebras: an alternative pointfree approach to topology ⋮ On fuzzy monotone convergence \(\mathcal{Q}\)-cotopological spaces ⋮ On strongly harmonic and Gelfand modules ⋮ Topological duality and algebraic completions ⋮ Noncommutative tensor triangulated categories and coherent frames ⋮ On the geometry of physical measurements: topological and algebraic aspects ⋮ Overlap Algebras as Almost Discrete Locales ⋮ Barr-exact categories and soft sheaf representations ⋮ Measure theory over boolean toposes ⋮ Topological duality via maximal spectrum functor ⋮ Substitution Principle and semidirect products ⋮ Valuative Lattices and Spectra ⋮ Completions of posemigroups by cuts and beyond ⋮ Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras ⋮ Spectral Spaces Versus Distributive Lattices: A Dictionary ⋮ Pseudogroups and their étale groupoids. ⋮ Five stages of accepting constructive mathematics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Spectra as universal objects in categories of supports ⋮ Dirichlet is natural ⋮ Unnamed Item ⋮ Unital hyperarchimedean vector lattices ⋮ Positive semifields and their ideals ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM ⋮ PROFINITENESS IN FINITELY GENERATED VARIETIES IS UNDECIDABLE ⋮ Convergence and quantale-enriched categories ⋮ 2002 Annual Conference of the Australasian Association for Logic ⋮ Unnamed Item ⋮ Presenting Dcpos and Dcpo Algebras ⋮ Boolean algebras in a localic topos ⋮ Unnamed Item ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Abstract Interpretation From a Denotational-semantics Perspective ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ Axiom $T_D$ and the Simmons sublocale theorem ⋮ Unnamed Item ⋮ Monoidal-closed categories of tree automata ⋮ Abstract Interpretation from a Topological Perspective ⋮ Hochster duality in derived categories and point-free reconstruction of schemes ⋮ Dynamical algebraic structures, pointfree topological spaces and Hilbert's program. (Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert) ⋮ A Convenient Category of Domains ⋮ Rational operational models ⋮ On the De Morgan's laws for modules ⋮ Abstract interpretation as automated deduction ⋮ Localic subspaces and colimits of localic spaces ⋮ Fundamental duality of abstract categories and its applications ⋮ A stone-type duality theorem for separation logic via its underlying bunched logics ⋮ On the axiomatisability of the dual of compact ordered spaces ⋮ General non-commutative locally compact locally Hausdorff Stone duality ⋮ Sobriety and spatiality in varieties of algebras ⋮ Sheaves of integral domains on Stone spaces ⋮ Stone dualities from opfibrations ⋮ Categorified Reeb graphs ⋮ Order-adjoint monads and injective objects ⋮ Measure and integration on Boolean algebras of regular open subsets in a topological space ⋮ Enriched Stone-type dualities ⋮ Loops, projective invariants, and the realization of the Borromean topological link in quantum mechanics ⋮ A constructive topological proof of van der Waerden's theorem ⋮ Locales as spectral spaces ⋮ What is the fundamental group? ⋮ A topos-theorist looks at dilators ⋮ Codensity: Isbell duality, pro-objects, compactness and accessibility ⋮ Polynomials and radical ideals ⋮ Subjective expected utility with imperfect perception ⋮ Alexandroff topologies and monoid actions ⋮ On inverse semigroup \(C^*\)-algebras and crossed products ⋮ Quantales, generalised premetrics and free locales ⋮ Spectral reflections of topological spaces ⋮ Quantales and Fell bundles ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ Attaching topological spaces to a module. I: sobriety and spatiality ⋮ Inverse-limit and topological aspects of abstract interpretation ⋮ Natural duality, modality, and coalgebra ⋮ The Bousfield lattice of a triangulated category and stratification ⋮ \(E=I+T\): the internal extent formula for compacted tries ⋮ A duality theoretic view on limits of finite structures ⋮ Compact spaces and distributive lattices. ⋮ An étalé space construction for stacks ⋮ Fundamental results for pointfree convex geometry

This page was built for publication: