scientific article
From MaRDI portal
Publication:3965241
zbMath0499.54001MaRDI QIDQ3965241
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean algebrasframeslocalescompact Hausdorff spacesmonadscategorical logicsheaf theorycontinuous latticescontinuous real-valued functionsrepresentations of ringsF-ringsfree objects in varieties of latticesKakutani's theory of M-spacesKeimel's L-ring representationprofiniteness and dualityexponentiable localesglobal-section representations of ringsPontrjagin-type dualities
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 (only showing first 100 items - show all)
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.
This page was built for publication:
