The following pages link to (Q3965241):
Displaying 50 items.
- Reified valuations and adic spectra (Q254942) (← links)
- A note on spaces that are finitely an \(F\)-space. (Q260589) (← links)
- On block structures in quantum computation (Q265814) (← links)
- A universal Krull-Lindenbaum theorem (Q273003) (← links)
- Characterising E-projectives via co-monads (Q276429) (← links)
- Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives (Q277330) (← links)
- Lattice-valued bornological systems (Q277552) (← links)
- Lattice-valued preordered sets as lattice-valued topological systems (Q277553) (← links)
- Dualizing clones as models of Lawvere theories. (Q280192) (← links)
- Continuity and geometric logic (Q280833) (← links)
- On a categorical framework for coalgebraic modal logic (Q283748) (← links)
- A representation theorem for integral rigs and its applications to residuated lattices. (Q284976) (← links)
- Atomicity, coherence of information, and point-free structures (Q290637) (← links)
- The intrinsic topology of Martin-Löf universes (Q290640) (← links)
- Priestley-type dualities for partially ordered structures (Q290644) (← links)
- Normal semicontinuity and the Dedekind completion of pointfree function rings (Q292834) (← links)
- On the proof that compact Hausdorff Boolean algebras are powersets (Q304180) (← links)
- Dimension and decomposition in modular upper-continuous lattices (Q312205) (← links)
- The expectation monad in quantum foundations (Q320204) (← links)
- A calculus of lax fractions (Q326585) (← links)
- Choice-free dualities for domains (Q328639) (← links)
- New aspects of subfitness in frames and spaces (Q328658) (← links)
- The Dedekind MacNeille site completion of a meet semilattice (Q331015) (← links)
- Categories isomorphic to (\(L,M\))-DFTOP (Q334547) (← links)
- Topological representation and quantic separation axioms of semi-quantales (Q334570) (← links)
- Compact Hausdorff Heyting algebras (Q334967) (← links)
- Profinite algebras and affine boundedness (Q340419) (← links)
- Lattice-valued topological systems as a framework for lattice-valued formal concept analysis (Q355727) (← links)
- On intuitionistic fuzzy filters of intuitionistic fuzzy coframes (Q355794) (← links)
- Constraint satisfaction, irredundant axiomatisability and continuous colouring (Q361864) (← links)
- On the hull-kernel and inverse topologies as frames (Q382341) (← links)
- Bohrification of operator algebras and quantum logic (Q383005) (← links)
- Universal frames (Q386869) (← links)
- \(p\)-embeddings (Q387187) (← links)
- Funayama's theorem revisited (Q387628) (← links)
- On the parallel between normality and extremal disconnectedness (Q392505) (← links)
- On a generalization of pointfree realcompactness (Q392559) (← links)
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Approaching metric domains (Q395665) (← links)
- Enough regular Cauchy filters for asymmetric uniform and nearness structures (Q395670) (← links)
- \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces. (Q395671) (← links)
- Saturation, Yosida covers and epicompleteness in compact normal frames (Q395674) (← links)
- Fraïssé sequences: category-theoretic approach to universal homogeneous structures (Q400425) (← links)
- Active lattices determine \(\mathrm{AW}^\ast\)-algebras (Q402977) (← links)
- On limits and colimits of variety-based topological systems (Q409742) (← links)
- Separating families of locale maps and localic embeddings (Q412005) (← links)
- On a generalization of the concept of state property system (Q416295) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- A survey of fuzzifications of frames, the Papert-Papert-Isbell adjunction and sobriety (Q419013) (← links)
- Interweaving algebra and topology: lattice-valued topological systems (Q419041) (← links)
