scientific article; zbMATH DE number 3787631
From MaRDI portal
Publication:3965241
Boolean algebrascategorical logiccompact Hausdorff spacescontinuous latticescontinuous real-valued functionsexponentiable localesF-ringsframesfree objects in varieties of latticesglobal-section representations of ringsKakutani's theory of M-spacesKeimel's L-ring representationlocalesmonadsPontrjagin-type dualitiesprofiniteness and dualityrepresentations of ringssheaf theory
Categorical logic, topoi (03G30) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Complemented modular lattices, continuous geometries (06C20) Stone spaces (Boolean spaces) and related structures (06E15) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15) Topoi (18B25) Research exposition (monographs, survey articles) pertaining to general topology (54-02) Hyperspaces in general topology (54B20) Compactness (54D30)
Cited in
(only showing first 100 items - show all)- 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
- 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
- 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
- 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
- Entourage uniformities for frames
- 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
- Elementary transition systems
- A topological representation of lattices
- Causal automata
- 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
- Ideal completion and Stone representation of ideal-distributive ordered sets
- Further results on reticulated rings
- A representation theorem for quantales
- Categories of embeddings
- 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
- On fuzzy sobriety
- Generalized t-norm structures
- On the \(L\)-fuzzy Brouwer fixed point theorem
- Locale theory and fuzzy topology
- On compact Hausdorff \(L\)-fuzzy spaces
- A localic L-fuzzy modification of topological spaces
- Completions of orthomodular lattices. II
- 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 geometric description of modular lattices
- 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
- Variants of openness
- Towards automating duality
- Representations of Archimedean Riesz spaces. - A survey
- Descent and duality
- Galois theory and a general notion of central extension
- Normality for biframes
- Finiteness notions in fuzzy sets
- Degrees of compactness in fuzzy convergence spaces
- Variations on the bagdomain theme
- Endomorphisms of complete Heyting algebras
- Algebraic theories of compact pospaces
- Projective limits of MV-spaces
- Stone duality and representation of stable domain
- The Lee identities in topoi. I
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3965241)
