scientific article

Publication date: 1982

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

Boolean algebras frames locales compact Hausdorff spaces monads categorical logic sheaf theory continuous lattices continuous real-valued functions representations of rings F-rings free objects in varieties of lattices Kakutani's theory of M-spaces Keimel's L-ring representation profiniteness and duality exponentiable locales global-section representations of rings Pontrjagin-type dualities

Mathematics Subject Classification ID

Hyperspaces in general topology (54B20) Compactness (54D30) Categorical logic, topoi (03G30) Topoi (18B25) Stone spaces (Boolean spaces) and related structures (06E15) Complemented modular lattices, continuous geometries (06C20) Research exposition (monographs, survey articles) pertaining to general topology (54-02) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items

On block structures in quantum computation, A universal Krull-Lindenbaum theorem, Characterising E-projectives via co-monads, Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives, Lattice-valued bornological systems, Lattice-valued preordered sets as lattice-valued topological systems, Dualizing clones as models of Lawvere theories., Continuity and geometric logic, On a categorical framework for coalgebraic modal logic, A representation theorem for integral rigs and its applications to residuated lattices., Atomicity, coherence of information, and point-free structures, The intrinsic topology of Martin-Löf universes, Priestley-type dualities for partially ordered structures, Normal semicontinuity and the Dedekind completion of pointfree function rings, On the proof that compact Hausdorff Boolean algebras are powersets, Dimension and decomposition in modular upper-continuous lattices, The expectation monad in quantum foundations, A calculus of lax fractions, Choice-free dualities for domains, New aspects of subfitness in frames and spaces, The Dedekind MacNeille site completion of a meet semilattice, Categories isomorphic to ($L,M$)-DFTOP, Topological representation and quantic separation axioms of semi-quantales, Compact Hausdorff Heyting algebras, Profinite algebras and affine boundedness, Lattice-valued topological systems as a framework for lattice-valued formal concept analysis, On intuitionistic fuzzy filters of intuitionistic fuzzy coframes, Constraint satisfaction, irredundant axiomatisability and continuous colouring, On the hull-kernel and inverse topologies as frames, Bohrification of operator algebras and quantum logic, Universal frames, $p$-embeddings, Funayama's theorem revisited, A categorical construction of ultrafilters, A representation theorem for geometric morphisms, On proper and exterior sequentiality, On the parallel between normality and extremal disconnectedness, On a generalization of pointfree realcompactness, Algebraic semantics and model completeness for intuitionistic public announcement logic, Approaching metric domains, Enough regular Cauchy filters for asymmetric uniform and nearness structures, $(\mathcal Z_1,\mathcal Z_2)$-complete partially ordered sets and their representations by $\mathcal Q$-spaces., Saturation, Yosida covers and epicompleteness in compact normal frames, On definition of skew frames, Fraïssé sequences: category-theoretic approach to universal homogeneous structures, Active lattices determine $\mathrm{AW}^\ast$-algebras, Ideal-valued topological structures, Overview and comparison of localic and fixed-basis topological products, Hypergraph functor and attachment, On limits and colimits of variety-based topological systems, Separating families of locale maps and localic embeddings, A general theory of self-similarity, On a generalization of the concept of state property system, Internal axioms for domain semirings, Modalities in the Stone age: a comparison of coalgebraic logics, A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety, Interweaving algebra and topology: lattice-valued topological systems, Categorical foundations of variety-based topology and topological systems, Extended real functions in pointfree topology, A lattice-theoretical perspective on adhesive categories, Quantales of open groupoids, The patch construction is dual to algebraic DCPO representation, Topological properties of generalized approximation spaces, On the $T_{1}$ axiom and other separation properties in constructive point-free and point-set topology, Non-axiomatizability of real spectra in $\mathcal L_{ \infty \lambda} $, When lifted frame homomorphisms are closed, Derived rules for predicative set theory: an application of sheaves, Topological inductive definitions, Measure, randomness and sublocales, Epicompletion in frames with skeletal maps. IV: $\ast$-regular frames, A survey of fuzzy implication algebras and their axiomatization, Finite frames, $P$-frames and basically disconnected frames, An $\mathsf{AC}^{1}$-complete model checking problem for intuitionistic logic, On topologies defined by irreducible sets, Dualizing clones into categories of topological spaces., Concerning maximal $\ell$-ideals of rings of continuous integer-valued functions., Duality for the logic of quantum actions, A relative Lubin-Tate theorem via higher formal geometry, Rigid frame maps and Booleanization., On Kan-injectivity of locales and spaces, A classification of certain group-like $\mathrm{FL}_e$-chains, Completions of uniform partial frames, Stone MV-algebras and strongly complete MV-algebras, General insertion and extension theorems for localic real functions, An approach to fuzzy frames via fuzzy posets, The dual geometry of Boolean semirings, A note on proper maps of locales, Insertion of continuous real functions on spaces, bispaces, ordered spaces and pointfree spaces -- a common root, Thoughts on quotient-fine nearness frames, Cover quasi-uniformities in frames, An asymmetric characterization of the congruence frame, On $n$-normal posets, A broader view of the almost Lindelöf property, $L$-topological spaces as spaces of points, Generalized fuzzy topology versus non-commutative topology, Fuzzy Galois connections under weak conditions, A bitopological point-free approach to compactifications, Actions of Boolean rings on sets, Reified valuations and adic spectra, A note on spaces that are finitely an $F$-space., Quantales and their sheaves, ${\mathcal F}$-multipliers and the localization of distributive lattices, Some modifications of Scott's theorem on injective spaces, Spatial sublocales and essential primes, Lindenbaum algebras of intuitionistic theories and free categories, Sheaf representations and graded manifolds, Fuzzy sets and toposes - towards higher order fuzzy logic, Algebraic solutions to recursion schemes, Topology and duality in modal logic, Isomorphic sheaf representations of normal lattices, Ideals of closed categories, Near-discreteness of modules and spaces as measured by Gabriel and Cantor, Semiprime ideals in general lattices, Fibre bundles in general categories, Quotients with respect to similarity relations, Stratification structures on a kind of completely distributive lattices and their applications in the theory of topological molecular lattices, Inverse limits in the category of locales, Topological $\operatorname{FL}_{\operatorname{ew}}$-algebras, Compact representations - the lattice theory of compact ringed spaces, Topological geometric lattices, Topological characterization of certain classes of lattices, Approximating orders in meet-continuous lattices and regularity axioms in many valued topology, Relationship of algebraic theories to powerset theories and fuzzy topological theories for lattice-valued mathematics, Sobriety and localic compactness in categories of $L$-bitopological spaces, Domain theory in logical form, Projective and supercoherent frames, Lattice-valued mappings, completely distributive law and induced spaces, A characterization of nuclei in orthomodular and quantic lattices, The axiomatizability of topological prevarieties, Entourage uniformities for frames, A characterization of MV-algebras free over finite distributive lattices, Dimension of distributive lattices and universal spaces, Quantaloidal nuclei, the syntactic congruence and tree automata, CABool is monadic over almost all categories, Stable neighbourhoods, Quantitative domains and infinitary algebras, A Hofmann-Mislove theorem for bitopological spaces, A duality involving Borel spaces, Epicompletion in frames with skeletal maps. I: Compact regular frames, Elementary transition systems, The Zariski spectrum as a formal geometry, A topological representation of lattices, Causal automata, Pointfree forms of Dowker's and Michael's insertion theorems, Lateral completion and structure sheaf of an Archimedean $l$-group, Gödel algebras free over finite distributive lattices, Profinite Heyting algebras, The variety of Boolean semirings, On the local connectedness of frames, $dI$--domains as prime information systems, The mixed powerdomain, Products in the category of locales: Which properties are preserved?, Notes on an extension of the structure of frame, Stone duality and Gleason covers through de Vries duality, Ideal completion and Stone representation of ideal-distributive ordered sets, Concept lattices of fuzzy contexts: formal concept analysis vs. rough set theory, Topological properties of concept spaces (full version), Further results on reticulated rings, A representation theorem for quantales, Quantitative domains via fuzzy sets. I: Continuity of fuzzy directed complete posets, On lattice-valued frames: the completely distributive case, Fuzzy sets and geometric logic, Pointed semi-quantales and lattice-valued topological spaces, Necessity of non-stratified and anti-stratified spaces in lattice-valued topology, From quantale algebroids to topological spaces: fixed- and variable-basis approaches, Sheaves as modules, The universal covering of an inverse semigroup., Spaces modelled by an algebra on $[0,\infty $ and their complete objects], The overlap algebra of regular opens, A curious nucleus, Fuzzy points and attachment, Free meets and atomic assemblies of frames, Some algebraic characterizations of $F$-frames, A natural equivalence for the category of coherent frames, Ring ideals and the Stone-Čech compactification in pointfree topology, On openness and surjectivity of lifted frame homomorphisms, Open and other kinds of map extensions over zero-dimensional local compactifications, Variable-basis topological systems versus variable-basis topological spaces, Characteristic triangles of closure operators with applications in general algebra, Regularity in algebraic frames, Some generalizations of Fedorchuk duality theorem-I, Space of valuations, Localic real functions: A general setting, Some notes on $C$- and $C^*$-quotients of frames, Categories of embeddings, Some properties of categories CL and CLPair, The absolute of a topological space and its application to Abelian $l$-groups, New work for Carnap's quasi-analysis, Weakly pseudocompact frames, The connected Vietoris powerlocale, Topological group criterion for $C(\mathbf X)$ in compact-open-like topologies. II., Completely normal frames and real-valued functions, A generalization of de Vries duality theorem, On the relationship between limit spaces, many valued topological spaces, and many valued preorders, Concerning $P$-frames, essential $P$-frames, and strongly zero-dimensional frames, Fuzzy complete lattices, The Dedekind-MacNeille completions for fuzzy posets, A topos for algebraic quantum theory, Prime elements from prime ideals, Arithmetic transfinite induction and recursive well-orderings, On the normal completion of a Boolean algebra, Urysohn closedness on completely distributive lattices, Interpreted systems and Kripke models for multiagent systems from a categorical perspective, Strong fuzzy compact sets and ultra-fuzzy compact sets in $L$-topological spaces, The near SR-compactness axiom in $L$-topological spaces, $I$-\textbf{FTOP} is isomorphic to $I$-\textbf{FQN} and $I$-\textbf{AITOP}, Infinite intersection types, Saturated models of intuitionistic theories, Paracompact and locally fine nearness frames, The Tamano-Dowker type theorems for nearness frames, Equational compactness of bi-frames and projection algebras, Quantaloids, enriched categories and automata theory, Formal spaces and their effective presentations, Asymmetry and duality in topology, Monads for which structures are adjoint to units, Cauchy completions of nearness frames, Relations and non-commutative linear logic, Compactifications, $A$-compactifications and proximities, On epi-extensions of frames, Semilattice-based dualities, $L$-fuzzy local compactness, Countability in $L$-fuzzy topology, Weak locale quotient morphisms and locally connected frames, Compatible connectedness in graphs and topological spaces, On $L$-Tychonoff spaces, Applications of localic separation axioms, compactness axioms, representations, and compactifications to poslat topological spaces, $L$-fuzzy version of Stone's representation theorem for distributive lattices, Generalized logic and the representation of rings, De Vries algebras and compact regular frames, The space of measurement outcomes as a spectral invariant for non-commutative algebras, A Boolean topological orthomodular poset, Inverse semigroup actions as groupoid actions, Totally distributive toposes, A comparison of two topos-theoretic approaches to quantum theory, Semigroup actions on posets and preimage quasi-orders, Essential completeness in categories of completely regular frames., Esakia style duality for implicative semilattices, Relational representation of groupoid quantales, $\Delta_1$-completions of a poset., Quantum spaces, SV-rings and SV-porings, A note on middle $P$-spaces and related rings, On categorical aspects of $S$-quantales, The category of finitary biframes as the category of pointfree bispaces, Stably locally compact locales are dual to continuous posets, On the relation between subspaces and sublocales, Topologies induced by the representation of a betweenness relation as a family of order relations, A semantic hierarchy for intuitionistic logic, Characterizing realcompact locales via remainders, An isomorphic approach of fuzzy soft lattices to fuzzy soft Priestley spaces, Stone-type representations and dualities for varieties of bisemilattices, On densely normal locales, On quasi-normality of function rings, A topological nullstellensatz for tensor-triangulated categories, $L$-ordered and $ L$-lattice ordered groups, The congruence frame and the Madden quotient for partial frames, The coframe of $D$-sublocales of a locale and the $T_D$-duality, Composite variety-based topological theories, Join-completions of $L$-ordered sets, Amenable and locally amenable algebraic frames, Connectedness and local connectedness of $L$-intervals., Nearly spectral spaces, Characterizations of minimal $T_{3\;1/2}$ $L$-topological spaces, Compact Hausdorff spaces with relations and Gleason spaces, Maximal Lindelöf locales, Domain theory, testing and simulation for labelled Markov processes, Coverages give free constructions for partial frames, About Stone's notion of spectrum, Proximity frames and regularization., Categorical geometry and integration without points, A general method for building reflections, Product set phenomena for countable groups, The Hahn embedding theorem for a class of residuated semigroups, Perfectness of 2-star compactifications of frames, Stone type representations and dualities by power set ring, Principal and Boolean congruences on $IKt$-algebras, Categories of locally hypercompact spaces and quasicontinuous posets, The other closure and complete sublocales, Meet-semilattice congruences on a frame, The $L$-ordered semigroups based on $L$-partial orders, Sobriety of quantale-valued cotopological spaces, Notes on topological BL-algebras, A ``geometric view of the dynamics of trajectories of computer programs, On locales of localizations, On the lattice of Fréchet-Nikodým topologies, An essay on noncommutative topology, A theory of quantal sets, Pro-finite MV-spaces, Trading properties and Alexandrov kernels for Boolean functions, An operation related to the Cantor-Bendixson derivative, The Michael completion of a topos spread, Toward an infinitary logic of domains: Abramsky logic for transition systems, Local connectedness in $L$-topological spaces, Projective and injective objects in the category of quantales, Remarks on the frame envelope of a sigma-frame, A characterization of the left exact categories whose exact completions are toposes, Apartness spaces as a framework for constructive topology, Extension of valuations on locally compact sober spaces, A note on the hypergraph functor, Taut monads and $T0$-spaces., A note on precompact uniform frames, Neat rings, Insertion of lattice-valued and hedgehog-valued functions, Structure of quasivariety lattices. IV: Nonstandard quasivarieties, Exact and strongly exact filters, Raney algebras and duality for $T_0$-spaces, Transporting many-valued sets along many-valued relations, Category theoretic aspects of chain-valued frames. I: Categorical and presheaf theoretic foundations, Category theoretic aspects of chain-valued frames. II: Applications to lattice-valued topology, Survey of local connectedness axioms and their properties in $L$-topological spaces, Uniform-type structures on lattice-valued spaces and frames, On the category of fixed basis frame valued topological groups, A note on Hausdorff separation in $L$-TOP, A little more on coz-unique frames, Prime algebraicity, An axiomatic account of weak triquotient assignments in locale theory, Fuzzy preorder and fuzzy topology, Images and preimages of $L$-filterbases, Fuzzy connectedness: new definitions and comparisons, Lattice-valued continuous convergence is induced by a lattice-valued uniform convergence structure, Étale groupoids and their quantales, Projective topology on bifinite domains and applications, Pointfree spectra of $\ell$-modules, A logical approach to stable domains, The canonical topology on a meet-semilattice, A coverage construction of the reals and the irrationals, Connectedness and local connectedness in Lowen spaces, Coalgebraic representations of distributive lattices with operators, A constructive and functorial embedding of locally compact metric spaces into locales, Fuzzy sets and sheaves. I: Basic concepts, (IC) $L$-cotopological spaces, Textures and $C$-spaces, Exact approximations to Stone-Čech compactification, On the algebraic representation of semicontinuity, Pointfree pseudocompactness revisited, The basic Zariski topology, Lattice-valued soft algebras., Prime elements of non-integral quantales and their applications., Profinite MV-algebras and multisets., Coalgebraic constructions of canonical nondeterministic automata, Presenting the frame of the unit circle., Łukasiewicz logic and Riesz spaces., The categories $L$-$\mathbf{Top}_{0}$ and $L$-$\mathbf{Sob}$ as epireflective hulls, Open set lattices of subspaces of spectrum spaces, Topological representation of lattice homomorphisms, Representation theory of MV-algebras, Locatedness and overt sublocales, On coalgebras over algebras, The $P$-frame reflection of a completely regular frame, Conrad frames, Rings of real functions in pointfree topology, Concerning some variants of $C$-embedding in pointfree topology, The reals as full and balanced biframe, $pm$-rings and the prime ideal theorem, Order-preserving reflectors and injectivity, Concurrent algebras: an algebraic study of a fragment of concurrent propositional dynamic logic, Duality and canonical extensions for stably compact spaces, Cosheaves and connectedness in formal topology, Graph components of prime spectra, Operads of genus zero curves and the Grothendieck-Teichmüller group, An extension of de Vries duality to completely regular spaces and compactifications, Duality and the completeness of the modal $\mu$-calculus, Duality beyond sober spaces: Topological spaces and observation frames, Semi-metrics, closure spaces and digital topology, Predicate transformers and higher-order programs, Studying equivalences of transition systems with algebraic tools, On the nature of events: another perspective in concurrency, Countable products of absolute $C_ \delta$ spaces, Duality for semilattice representations, A constructive proof of the Stone-Weierstrass theorem, A logical view of composition, Stable domains are generalized topological spaces, Domains arising as algebras for powerspace constructions, Sobriety and spatiality in categories of lattice-valued algebras, Noncommutativity as a colimit, Stone coalgebras, A coalgebraic view on positive modal logic, Topological aspects of non-convergent sequences -- a comment on Burgin's concept of fuzzy limits, Generalization of $L$-closure spaces, More on the functor induced by $z$-ideals, A Stone-type duality for $s T_0$ stratified Alexandrov $L$-topological spaces, Stratified categorical fixed-basis fuzzy topological spaces and their duality, Remainders in pointfree topology, Dualities induced by topological semirings, On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Intuitionistic quantum logic of an $n$-level system, Two functors induced by certain ideals of function rings., Topological representation of right-sided and idempotent quantales, Characterization of a category for monoidal topology, Many for the price of one duality principle for affine sets, Compactification and local connectedness of frames, Adjoints and monads related to compact lattices and compact Lawson idempotent semimodules, $n$-normal residuated lattices, Stability of the Souslin operation, Free quantaloids, Point-set lattice-theoretic topology, Order-theoretic, topological, categorical redundancies of interval-valued sets, grey sets, vague sets, interval-valued ``intuitionistic sets, ``intuitionistic fuzzy sets and topologies, Generalized region connection calculus, Functorial quasi-uniformities on frames, Frames and MV-algebras, A geometric description of modular lattices, Algebras with compatible quantale-enriched structures, Spectral sets, Constructive complete distributivity. IV, Nice separation axioms, Separation axioms and frame representation of some topological facts, Join-continuous frames, Priestley's duality and biframes, Facets of descent. I, Particle-free bodies and point-free spaces, Variants of openness, Towards automating duality, Entourages, density, Cauchy maps, and completion, Representations of Archimedean Riesz spaces. - A survey, Descent and duality, Galois theory and a general notion of central extension, Normality for biframes, On maximal ideals of $C_c(X)$ and the uniformity of its localizations, Finiteness notions in fuzzy sets, Degrees of compactness in fuzzy convergence spaces, Variations on the bagdomain theme, Endomorphisms of complete Heyting algebras, The strength of prime separation, sobriety, and compactness theorems, Representation of real Riesz maps on a strong $f$-ring by prime elements of a frame, Algebraic theories of compact pospaces, Projective limits of $MV$-spaces, Maximal essential extensions in the context of frames, A Gelfand duality for compact pospaces, Open maps of involutive quantales, Stone duality and representation of stable domain, The Lee identities in topoi. I, Simple involutive quantales, Lattice-theoretic contexts and their concept lattices via Galois ideals, Regular and exact completions, Classifying toposes for first-order theories, Algebraic and topological results on lifting properties in residuated lattices, Topological systems as a framework for institutions, Sober metric approach spaces, Equilogical spaces and algebras for a double-power monad, The construction of $\pi_0$ in Axiomatic Cohesion, Liminf convergence in $\Omega$-categories, Representability of locally compact regular spaces by domains and formal spaces, Continuity spaces: Reconciling domains and metric spaces, Proximity biframes and Nachbin spaces, When Boole commutes with Hewitt and Lindelöf, Eliminating disjunctions by disjunction elimination, Tarski monoids: Matui's spatial realization theorem, Dual spaces of some congruence lattices., Stratified $LMN$-convergence tower groups and their stratified $LMN$-uniform convergence tower structures, Coherent spaces, Boolean rings and quantum gates, Semilattices global valuations in the topos approach to quantum mechanics, Quantale algebras as lattice-valued quantales, Inductively generated formal topologies., Tarski's theorem on intuitionistic logic, for polyhedra, The Stone-Čech compactification of locales. III, Contextuality and noncommutative geometry in quantum mechanics, Ring theory and pointfree topology., A note on injective spaces., General Stone duality., A representation of stably compact spaces, and patch topology., Constructive metrisability in point-free topology., Localic sup-lattices and tropological systems., Some points in formal topology., Unique existence, approximate solutions, and countable choice., Nonclassical mereology and its application to sets, On the relationship between compact regularity and Gentzen's cut rule, Presenting locale pullback via directed complete posets, Entailment systems for stably locally compact locales, A universal characterization of the double powerlocale, On modal logics arising from scattered locally compact Hausdorff spaces, The theory of commuting subalgebras of complete Heyting algebras, A complete axiom system for polygonal mereotopology of the real plane, Weak topological categories, Properly injective spaces and function spaces, Topology, domain theory and theoretical computer science, Uniform approximation of topological spaces, Locally semisimple coverings, The locally connected coclosure of a Grothendieck topos, Boolean connection algebras: A new approach to the Region-Connection Calculus, On fuzzy sobriety, Higher order dissolutions and Boolean coreflections of locales, Generalized t-norm structures, On the $L$-fuzzy Brouwer fixed point theorem, Limit structures and many valued topologies, Some categorical aspects of fuzzy topology, Top is a reflective and coreflective subcategory of fuzzy topological spaces, Locale theory and fuzzy topology, On compact Hausdorff $L$-fuzzy spaces, A localic $L$-fuzzy modification of topological spaces, Completions of orthomodular lattices. II, The essence of ideal completion in quantitative form, Formal systems for modal operators on locales, Representations of locally compact orthomodular lattices, Paracompactness revisited, The category of complete Boolean algebras is not an intersection of reflective subcategories of the category of frames, Some remarks on Maltsev and Goursat categories, A generalization of the duality compactness theorem, Notes on direct limits of complete lattices and frames, Tropological systems are points of quantales, Function-space compactifications of function spaces, Structure of lattices characterized by validity of lattice-valued topological propositions, Adjoint maps between implicative semilattices and continuity of localic maps, A new diagonal separation and its relations with the Hausdorff property, Categorical extension of dualities: from Stone to de Vries and beyond. I, Chu duality theory and coalgebraic representation of quantum symmetries, Nuclear ranges in implicative semilattices, A lattice-theoretic view of some special ideals of subrings of commutative rings, On ideals of rings of continuous integer-valued functions on a frame, The Booleanization of a d-frame, Pseudogroups and their torsors, Boolean lifting property in quantales, Spectral properties of cBCK-algebras, Localic transitivity, Variants of Booleanness: congruences of a partial frame versus those of its free frame, Base and weight of Boolean $\mathrm{I}$-contact algebras, Subjective expected utility with a spectral state space, Tensor topology, Presenting de Groot duality of stably compact spaces, Perfect locales and localic real functions, Pro-compactly finite MV-algebras, On infinite variants of De Morgan law in locale theory, General affine adjunctions, Nullstellensätze, and dualities, On the universal completion of pointfree function spaces, Exact filters and joins of closed sublocales, Duality for noncommutative frames, On ideals of rings of continuous functions associated with sublocales, Extensions of dualities and a new approach to the Fedorchuk duality, Cartesian closedness of a category of non-frame valued complete fuzzy orders, Characterising certain compactifications of frames with special attention to Freudenthal, Free bounded Archimedean $\ell$-algebras, Bitopological duality for algebras of Fitting's logic and natural duality extension, Profiniteness and representability of spectra of Heyting algebras, Nondeterministic syntactic complexity, Generalising the étale groupoid-complete pseudogroup correspondence, Conjunctive join-semilattices, The Vietoris functor and modal operators on rings of continuous functions, Factorizing the $\mathbf{Top}$-$\mathbf{Loc}$ adjunction through positive topologies, On the category of lattice-valued bornological vector spaces, Sobriety for equilogical spaces, Notes on exact meets and joins., Isocompactness in the category of locales., A method for constructing coreflections for nearness frames., Some new characterizations of finite frames and $F$-frames, The categorical equivalence between algebraic domains and F-augmented closure spaces., Strong De Morgan's law and the spectrum of a commutative ring, Structure sheaves of definable additive categories, $\gamma $-frames, G$\Gamma $-algebras and measurable spaces, Notes on pointfree disconnectivity with a ring-theoretic slant, Structured lattices and topological categories of $L$-sets, A combinatorial model for the known Bousfield classes, Tensor products of rings $\mathfrak{Z}L$ of zero-dimensional frames, Ribenboim's order extension theorem from a constructive point of view, Prime, minimal prime and maximal ideals spaces in residuated lattices, Solutions to two open problems in topological residuated lattices, Flat topology on the spectra of quantales, $z$-ideals in the real continuous function ring $\mathcal{R}(L_{\tau}) $, On equalizers in the category of locales, Reasoning about distributed information with infinitely many agents, Augmented quasigroups and character algebras, Mapping ideals to sublocales, Constructing illoyal algebra-valued models of set theory, Recent developments in inverse semigroup theory, Pointless proofs of the Menger and Rothberger games, Tilting classes over commutative rings, When is the frame of nuclei spatial: a new approach, Canonical extensions, free completely distributive lattices, and complete retracts, On joins of complemented sublocales, Some relative normality properties in locales, A generalization of Gelfand-Naimark-Stone duality to completely regular spaces, Precoherent quantale completions of partially ordered semigroups, Locales whose coz-complemented cozero sublocales have open closures, On the maximal regular ideal of pointfree function rings, and more, On Isbell's density theorem for bitopological pointfree spaces. I, On the lattice of $z$-ideals of a commutative ring, Frames of continuous functions, The frame of the $p$-adic numbers, The Vietoris uniformity for locales, Compactifications and reflections of partial spaces via partial frames, Cut elimination for entailment relations, A Kuroda-style $j$-translation, On the Cantor and Hilbert cube frames and the Alexandroff-Hausdorff theorem, On fraction-dense algebraic frames, Abstractly constructed prime spectra, Some general aspects of exactness and strong exactness of meets, Separated and prime compactifications, Sequences and related closure and compactness properties in frames, On state ideals and state relative annihilators in De Morgan state residuated lattices, Constructive strong regularity and the extension property of a compactification, The assembly of a pointfree bispace and its two variations, Supports for constructible systems, Congruences on lattices and lattice-valued functions, Hofmann-Mislove through the lenses of Priestley, Towards formal Baer criteria, The spectra and reticulation of EQ-algebras, Representations of Sheffer stroke algebras and Visser algebras, The hull-kernel topology on prime filters in residuated lattices, Rickart residuated lattices, Bifold algebras and commutants for enriched algebraic theories, Ideals of functions with compact support in the integer-valued case, Algebraic frames in which dense elements are above dense compact elements, Operators between classes of modules given by preradicals, Information systems for continuous posets, An algebraic approach to subframe logics. Intuitionistic case, Subgroups of the group of homeomorphisms of the Cantor space and a duality between a class of inverse monoids and a class of Hausdorff étale groupoids, A four for the price of one duality principle for distributive spaces, Associativity, commutativity and symmetry in residuated structures, Characterising points which make $P$-frames., Spectral schemes as ringed lattices, New-from-old full dualities via axiomatisation, Unsurprising results on localic groups, Lattice-valued fuzzy frames, Return map structure and entrainment in a time-state-scale re-entrant system, Varieties of complex algebras, Coz-onto frame maps and some applications, On point-finiteness in pointfree topology, Complete congruences on topologies and down-set lattices, Patch-generated frames and projectable hulls, Lower semi-continuous function frames, Monocoreflections of completely regular frames, A new aspect of the cozero lattice in pointfree topology, Infinite distributive laws versus local connectedness and compactness properties, The Samuel compactification for quasi-uniform biframes, Tensor products of complete lattices and their application in constructing quantales, Sierpinski object for affine systems, Categorical foundations of variety-based bornology, A non-frame valued Cartesian closed category of liminf complete fuzzy orders, Topological representation of intuitionistic and distributive abstract logics, On a topological universe of $L$-bornological spaces, A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors, Generating sublocales by subsets and relations: a tangle of adjunctions, Pseudocompleteness in the category of locales, Categorical properties of compact Hausdorff MV-algebras, Quotients of d-frames, A general view of approximation, Notions of local compactness and smallest compactifications of biframes, On matrices over an arbitrary semiring and their generalized inverses, A constructive notion of codimension, Category-theoretic fuzzy topological spaces and their dualities, Categorically algebraic topology versus universal topology, Extended real dicompactness and an application to Hutton spaces, $N$-star compactifications of frames, A preservation result for completely regular locales., Monotone normality and stratifiability from a pointfree point of view, (Sub)fit biframes and non-symmetric nearness., What are effective descent morphisms of Priestley spaces?, A presentation of the assembly of a frame by generators and relations exhibits its bitopological structure., Components of the fundamental category. II, Complete and directed complete $\Omega $-categories, Projective sup-algebras: a general view, Choiceless, pointless, but not useless: dualities for preframes, Reconstructing projective schemes from Serre subcategories, Monotone insertion and monotone extension of frame homomorphisms, Remarks on the Stone-Čech and Alexandroff compactifications of locales, An abstract cogalois theory for profinite groups., Connectedness in metric frames, Coproducts in the category $\mathbf M\kappa\mathbf{Frm}$, Constructive completions of ordered sets, groups and fields, Integral Stone rings, A new approach to $L-T_{2}$, $L$-Urysohn, and $L$-completely Hausdorff axioms, Categories isomorphic to $L$-FTOP, Point-free version of Kakutani duality, Computing coproducts of finitely presented Gödel algebras, Point-sensitive and point-free patch constructions, Sober approach spaces, Monoreflections of Archimedean $\ell$-groups, regular $\sigma$-frames and regular Lindelöf frames, Exponentiation for unitary structures, A new look at localic interpolation theorems, On the sobriety of the inverse topology, A topological duality for posets, Partial frames and filter spaces, On the sublocale of an algebraic frame induced by the $d$-nucleus, Concerning $P$-sublocales and disconnectivity, An extension of de Vries duality to normal spaces and locally compact Hausdorff spaces, More on a curious nucleus, A strict implication calculus for compact Hausdorff spaces, An algebraic approach to chaos, Universal flows and automorphisms of $P(\omega)/\mathrm{fin}$, Some weaker versions of topological residuated lattices, Further thoughts on the ring $\mathcal{R}_c(L)$ in frames, Locale morphisms with exact direct image functor in sheaves, A noncommutative theory of Penrose tilings, Aspects of general topology in constructive set theory, Pretopologies and a uniform presentation of sup-lattices, quantales and frames, Completions, comonoids, and topological spaces, On the collection of points of a formal space, Compactly generated Hausdorff locales, Heyting-valued interpretations for constructive set theory, Regular universes and formal spaces, Formal Zariski topology: Positivity and points, The constructive maximal point space and partial metrizability, On the parallel between the suplattice and preframe approaches to locale theory, Compactness in locales and in formal topology, Injectivity and sections, Physical properties as modal operators in the topos approach to quantum mechanics, Yosida frames, Symmetric Heyting relation algebras with applications to hypergraphs, Pointfree pointwise suprema in unital Archimedean $\ell$-groups., More on subfitness and fitness, Modal operators on compact regular frames and de Vries algebras., On fuzzification of topological categories, Two Cartesian closed subcategories of fuzzy domains, The point of pointless topology, Free Heyting Algebras: Revisited, A Duality Theorem for Real C * Algebras, Free-decomposability in varieties of semi-Heyting algebras, Unnamed Item, Conditions under which the least compactification of a regular continuous frame is perfect, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, A More General Framework for CoGalois Theory, Unnamed Item, Logic in Category Theory, How to construct a product of a-frames, A Demonic Approach to Information in Probabilistic Systems, Relational Representation Theorem for Powerset Quantales, Boolean topological distributive lattices and canonical extensions, Topos models for physics and topos theory, On Coalgebras over Algebras, Diego's theorem for nuclear implicative semilattices, Implication via spacetime, Coverages on inverse semigroups, The frame of nuclei on an Alexandroff space, Tree-like constructions in topology and modal logic, STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES, Real spectra and $\ell$-spectra of algebras and vector lattices over countable fields, Gelfand-type duality for commutative von Neumann algebras, Unnamed Item, Adjoining a strong unit to an Archimedean lattice-ordered group, Toposes for semigroups: an invitation, Taxonomies of model-theoretically defined topological properties, Morphisms and pushouts in compact normal joinfit frames, Profinite $\infty$-operads, Unnamed Item, Coding complete theories in Galois groups, Remarks on hyperspaces for Priestley spaces, Radical theory of Scott-open filters, A characterization of generalized existential completions, Tensor triangular geometry of filtered objects and sheaves, A topological duality for dcpos, Sheaf representation of monoidal categories, Real spectrum versus $\ell$-spectrum via Brumfiel spectrum, Stone duality for spectral sheaves and the patch monad, B-frame duality, On the homogeneity of products of topological spaces, The intensional side of algebraic-topological representation theorems, Polyadic spaces and profinite monoids, Characterising E-projectives via Comonads, Modal Semirings Revisited, The categorical equivalence between domains and interpolative generalized closure spaces, Hilbert algebras with Hilbert-Galois connections, Many-Valued Preorders I: The Basis of Many-Valued Mathematics, Unnamed Item, Unnamed Item, Unnamed Item, Topological Properties of Concept Spaces, Unnamed Item, Neighborhood Semantics for Basic and Intuitionistic Logic, The principle of pointfree continuity, Web spaces and worldwide web spaces: topological aspects of domain theory, Category Theory as a Foundation for the Concept Analysis of Complex Systems and Time Series, Profinite Orthomodular Lattices, Unnamed Item, Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study, Unnamed Item, Unnamed Item, Connected Locally Connected Toposes are Path-Connected, Unnamed Item, Unnamed Item, Unnamed Item, Classifying finite localizations of quasicoherent sheaves, Unnamed Item, Unnamed Item, Algebraic and Categorical Aspects of Quantales, Samuel compactification and uniform coreflection of nearness σ-frames, Unnamed Item, GEOMETRISATION OF FIRST-ORDER LOGIC, On the existence of Stone-Čech compactification, Monomorphisms in spaces with Lindelöf filters, A Framework for Component Categories, Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems, Profinite Monads, Profinite Equations, and Reiterman’s Theorem, Definable additive categories: purity and model theory, 2010 North American Annual Meeting of the Association for Symbolic Logic, RECOVERING THE BOUNDARY PATH SPACE OF A TOPOLOGICAL GRAPH USING POINTLESS TOPOLOGY, Unnamed Item, Schützenberger Products in a Category, Unnamed Item, Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms, Open Partitions and Probability Assignments in Gödel Logic, Unnamed Item, Unnamed Item, Local Compactness and the Baire Category Theorem in Abstract Stone Duality, Perfect compactifications of frames, Unnamed Item, On Cauchy Homomorphisms of Nearness Frames, Labelled Markov Processes as Generalised Stochastic Relations, Unnamed Item, Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation, Topological representation of geometric theories, INTERSECTION OF ESSENTIAL IDEALS IN THE RING OF REAL-VALUED CONTINUOUS FUNCTIONS ON A FRAME, On CP-frames, Unnamed Item, Unnamed Item, Unnamed Item, Cohomology of algebraic varieties over non-archimedean fields, Unnamed Item, Unnamed Item, Directed inverse limits of spatial locales, Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL, Convergence without points, MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS, A look at the structure of congruence frames by means of Heyting congruences, Dualities between nets and automata induced by schizophrenic objects, Unnamed Item, Unnamed Item, Some notes on connectedness in nearness frames, Unnamed Item, Unnamed Item, On the investigations of Ivan Prodanov in the theory of abstract spectra, Unnamed Item, Tensor-restriction categories, An intuitionistic proof of Tychonoff's theorem, Autonomous posets and quantales, Linearity and negation, Diagrammatic duality, A general approach to gabriel filters on quantales, Symmetric Monoidal Categories with Attributes, A sheaf representation and duality for finitely presented Heyting algebras, Directed complete poset models of T₁ spaces, Unnamed Item, Unnamed Item, Unnamed Item, Generalized Eilenberg Theorem, Spaces of gestures are function spaces, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unique decomposition of homogeneous languages and application to isothetic regions, Duality for dyadic intervals, Topological aspects of traces, Finitely generated free Heyting algebras: the well-founded initial segment, K-FLAT PROJECTIVE FUZZY QUANTALES, First Steps in Descriptive Theory of Locales, A lattice-theoretic approach to arbitrary real functions on frames, On some parallelism between complete regularity and zero-dimensionality, Spectral spaces of countable Abelian lattice-ordered groups, A constructive proof of the Heine-Borel covering theorem for formal reals, Unnamed Item, Generalised powerlocales via relation lifting, Tychonoff's theorem in the framework of formal topologies, Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Decompositions for Relatively Normal Lattices, Towards Lambda Calculus Order-Incompleteness, On Embedding Rings in Clean Rings, Unnamed Item, Linear Structures for Concurrency in Probabilistic Programming Languages, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Groups of Dualities, THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES, Coherent Spaces, The reduced ring order and lower semi-lattices, Five not-so-easy pieces: open problems about vertex rings, Unnamed Item, Unnamed Item, Unnamed Item, Domain mu-calculus, Unnamed Item, Unnamed Item, Unnamed Item, Structure from appearance: topology with shapes, without points, On generalized topological molecular lattices, Choice Principles and Compactness Conditions, Unnamed Item, On the Menger and almost Menger properties in locales, THE LOGIC OF INFORMATION IN STATE SPACES, Sheaf Representations and Duality in Logic, FIBRED ALGEBRAIC SEMANTICS FOR A VARIETY OF NON-CLASSICAL FIRST-ORDER LOGICS AND TOPOLOGICAL LOGICAL TRANSLATION, Higher order functions and Brouwer’s thesis, Unnamed Item, Unnamed Item, Frame congruences via subkernels, A new pointfree form of subspaces, Lorenzen and Constructive Mathematics, Syntax for Semantics: Krull’s Maximal Ideal Theorem, ON PRIMARY IDEALS OF POINTFREE FUNCTION RINGS, Irreducible locales, CONTINUOUS FUNCTIONS ON LG-SPACES, Completely distributive enriched categories are not always continuous, Pseudo-retract functors for local lattices and bifinte L-domains, The prime state ideal theorem in state residuated lattices, Probabilistic power domains, information systems, and locales, Sublocales in formal topology, Coalgebraic Geometric Logic: Basic Theory, Unnamed Item, Unnamed Item, Theories of presheaf type, A structural investigation on formal topology: coreflection of formal covers and exponentiability, COMPLEMENTATION OF A GAMMA SEMIRING, PURE IDEALS AND STABLE TOPOLOGY IN BL-ALGEBRAS, Pre-image of functions in $C(L)$, Unnamed Item, Free objects and coproducts in categories of posets and lattices, Bounded sobriety and k-bounded sobriety of Q-cotopological spaces, Probability, valuations, hyperspace: Three monads on top and the support as a morphism, zc-ideals and prime ideals in the ring RcL, On dimension andweight of a local contact algebra, Unnamed Item, Unnamed Item, Extensions of the stone duality to the category of Boolean spaces and continuous maps, Logic of plotkin continuous domain, On the nature of events, Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory, Preorders, Partial Semigroups, and Quantales, Frame presentations of compact hedgehogs and their properties, Approximating triangulated categories by spaces, A unified approach to Gelfand and de Vries dualities, Probabilistic concurrent constraint programming, A set-theoretic proof of the representation of MV-algebras by sheaves, Yosida frames in free abelian $\ell $-groups, On $P$-sober spaces, Unnamed Item, Stratification and the smashing spectrum, Intuitionistic mereology, Unnamed Item, CHOICE-FREE STONE DUALITY, Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets, Unnamed Item, Locally functionally countable subalgebra of $\mathcal{R}(L)$, Unnamed Item, The Fell Compactification of a Poset, Spectral primal spaces, A complete Heyting algebra whose Scott space is non-sober, Hewitt’s irresolvability and induced Sublocales in spatial frames, A note on certain subrings of ℛ (L), On seminormality, Neighbourhood systems, First steps going down on algebraic frames, Reflective subcategories, Spacetime granularity from finite-dimensionality of local observable algebras, On maximal compact frames, 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), Unnamed Item, On fuzzy compactness, Unnamed Item, Quantales, finite observations and strong bisimulation, Eilenberg Theorems for Free, On first countable $L$-fuzzy topological spaces, Unnamed Item, $C$-epic compactifications, Two applications of analytic functors, Resolution of the uniform lower bound problem in constructive analysis, Sublocale lattices, Functorial maximal spectra, Unnamed Item, Unnamed Item, Unnamed Item, Disjunctive systems and L-Domains, Dimension and universality on frames., On reversible and bijectively related topological spaces, Unnamed Item, The generalised type-theoretic interpretation of constructive set theory, Fixed points with respect to the L-slice homomorphism $\sigma _{a} $, A relational semantics for the logic of bounded lattices, Every countably presented formal topology is spatial, classically, Some aspects of (non) functoriality of natural discrete covers of locales, A Note on Drastic Product Logic, Annihilator-stability and unique generation in C(X), The Stone-Čech compactification of a partial frame via ideals and cozero elements, Completely primeL-filters, irreducibleL-filters and sobriety, On epireflective and coreflective hulls of a particular L-topological space, Lindelöf tightness and the Dedekind-MacNeille completion of a regular σ-frame, Perfectness in locales, A Boolean extension of a frame and a representation of discontinuity, Convex sets and barycentric algebras, Ordering groups constructively, VARIETIES OF POSITIVE MODAL ALGEBRAS AND STRUCTURAL COMPLETENESS, Borel functors, interpretations, and strong conceptual completeness for ℒ_{𝜔₁𝜔}, Easkia Duality and Its Extensions, An Introduction to Regular Categories, Notes on Point-Free Topology, A Hofmann-Mislove theorem for Bitopological Spaces, The pointfree version of grills, Unnamed Item, Unnamed Item, L-algebras and topology, Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic, Dynamics in Foundations: What Does It Mean in the Practice of Mathematics?, A frame-theoretic perspective on Esakia duality, Pervin spaces and Frith frames: bitopological aspects and completion, Reticulation of a quantale, pure elements and new transfer properties, A pointfree theory of Pervin spaces, Sierpinski object for composite affine spaces, Constructing $Q$-algebras from $Q$-modules, Compact Hausdorff locales in presheaf toposes, Some properties of conjunctivity (subfitness) in generalized settings, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Deriving dualities in pointfree topology from Priestley duality, The spectrum of a well‐generated tensor‐triangulated category, On some results related to sober spaces, METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, A UNIVERSAL CHARACTERIZATION OF STANDARD BOREL SPACES, A presheaf semantics of value-passing processes, Subordinations on bounded distributive lattices, A generalization of de Vries duality to closed relations between compact Hausdorff spaces, New properties of topological spaces generalizing the extreme disconnectedness, Ordered locales, Quasilattices and complex concept analysis, On the categorical behaviour of locales and D-localic maps, Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces, On $J$-frames, Localic separation and the duality between closedness and fittedness, On a theorem of Anderson and Chun, Closed and open maps for partial frames, Limits, colimits, and spectra of modelled spaces, Maximal elements with minimal logic, A point-free approach to canonical extensions of Boolean algebras and bounded Archimedean $\ell $-algebras, On locales whose countably compact sublocales have compact closure, Causal structure of spacetime and Scott topology, Uniform local connectedness and completion of metric $\sigma$-frames, The stone representations for generalized continuous posets, Esakia duals of regular Heyting algebras, New perspectives on semi-primal varieties, Some further results on pointfree convex geometry, Structural, point-free, non-Hausdorff topological realization of Borel groupoid actions, An analogue of Stone duality via support, Unnamed Item, Unnamed Item, Unnamed Item, Exceptional values of p-Adic Derivatives, a survey with some improvements