The following pages link to (Q3965241):
Displaying 50 items.
- Categorical foundations of variety-based topology and topological systems (Q419052) (← links)
- Extended real functions in pointfree topology (Q425299) (← links)
- Quantales of open groupoids (Q426730) (← links)
- Topological properties of generalized approximation spaces (Q433034) (← links)
- Non-axiomatizability of real spectra in \(\mathcal L_{ \infty \lambda} \) (Q439222) (← links)
- When lifted frame homomorphisms are closed (Q439304) (← links)
- Derived rules for predicative set theory: an application of sheaves (Q448333) (← links)
- Topological inductive definitions (Q450944) (← links)
- Measure, randomness and sublocales (Q450959) (← links)
- Epicompletion in frames with skeletal maps. IV: \(\ast\)-regular frames (Q453598) (← links)
- A survey of fuzzy implication algebras and their axiomatization (Q459041) (← links)
- Finite frames, \(P\)-frames and basically disconnected frames (Q471160) (← links)
- An \(\mathsf{AC}^{1}\)-complete model checking problem for intuitionistic logic (Q475340) (← links)
- On topologies defined by irreducible sets (Q478401) (← links)
- Dualizing clones into categories of topological spaces. (Q485103) (← links)
- Concerning maximal \(\ell\)-ideals of rings of continuous integer-valued functions. (Q485108) (← links)
- Duality for the logic of quantum actions (Q495836) (← links)
- A relative Lubin-Tate theorem via higher formal geometry (Q498737) (← links)
- Rigid frame maps and Booleanization. (Q500950) (← links)
- On Kan-injectivity of locales and spaces (Q513908) (← links)
- A classification of certain group-like \(\mathrm{FL}_e\)-chains (Q514558) (← links)
- Completions of uniform partial frames (Q520042) (← links)
- Stone MV-algebras and strongly complete MV-algebras (Q522224) (← links)
- General insertion and extension theorems for localic real functions (Q531326) (← links)
- An approach to fuzzy frames via fuzzy posets (Q533145) (← links)
- The dual geometry of Boolean semirings (Q535089) (← links)
- A note on proper maps of locales (Q535359) (← links)
- Insertion of continuous real functions on spaces, bispaces, ordered spaces and pointfree spaces -- a common root (Q535362) (← links)
- Thoughts on quotient-fine nearness frames (Q535365) (← links)
- Cover quasi-uniformities in frames (Q536039) (← links)
- An asymmetric characterization of the congruence frame (Q536047) (← links)
- On \(n\)-normal posets (Q539193) (← links)
- A broader view of the almost Lindelöf property (Q539979) (← links)
- \(L\)-topological spaces as spaces of points (Q549317) (← links)
- Generalized fuzzy topology versus non-commutative topology (Q549320) (← links)
- Fuzzy Galois connections under weak conditions (Q549347) (← links)
- A bitopological point-free approach to compactifications (Q554414) (← links)
- Actions of Boolean rings on sets (Q583355) (← links)
- A categorical construction of ultrafilters (Q613535) (← links)
- A representation theorem for geometric morphisms (Q613566) (← links)
- On proper and exterior sequentiality (Q613571) (← links)
- On definition of skew frames (Q616841) (← links)
- Ideal-valued topological structures (Q622027) (← links)
- Overview and comparison of localic and fixed-basis topological products (Q622029) (← links)
- Hypergraph functor and attachment (Q622061) (← links)
- A general theory of self-similarity (Q626101) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- A lattice-theoretical perspective on adhesive categories (Q631567) (← links)
- The patch construction is dual to algebraic DCPO representation (Q633791) (← links)
- On the \(T_{1}\) axiom and other separation properties in constructive point-free and point-set topology (Q636295) (← links)
