Pages that link to "Item:Q809105"
From MaRDI portal
The following pages link to A uniform approach to inductive posets and inductive closure (Q809105):
Displaying 45 items.
- On semicontinuous lattices and their distributive reflections (Q271689) (← links)
- Characterising E-projectives via co-monads (Q276429) (← links)
- Cartesian closed categories of \(F\mathcal Z\)-domains (Q383664) (← links)
- \((\mathcal Z_1,\mathcal Z_2)\)-complete partially ordered sets and their representations by \(\mathcal Q\)-spaces. (Q395671) (← links)
- A generalization of the Dedekind-MacNeille completion (Q722567) (← links)
- A unified method for completions of posets and closure spaces (Q780099) (← links)
- Some open problems on well-filtered spaces and sober spaces (Q820698) (← links)
- Combining data type and recursive process specifications using projection algebras (Q910188) (← links)
- Ideals in ordered sets, a unifying approach (Q997537) (← links)
- Completion of Boolean algebras in MSet (Q1035677) (← links)
- Fundamental properties of infinite trees (Q1055184) (← links)
- Order completion monads (Q1055871) (← links)
- The category of Z-continuous posets (Q1056767) (← links)
- Posets isomorphic to their extensions (Q1064328) (← links)
- The Birkhoff variety theorem for continuous algebras (Q1076703) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- On the algebra of order (Q1143782) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- A dual problem to least fixed points (Q1160150) (← links)
- Embedding metric spaces into CPO's (Q1164416) (← links)
- Uniformly constructive monads (Q1174504) (← links)
- Bigeneration in complete lattices and principal separation in ordered sets (Q1182066) (← links)
- General Stone duality. (Q1426510) (← links)
- Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset (Q1800263) (← links)
- Completions for partially ordered semigroups (Q1821128) (← links)
- \({\mathbf Z}\)-continuous posets (Q1917482) (← links)
- The \(R\)-completion of closure spaces (Q2052564) (← links)
- Transporting continuity properties from a poset to its subposets (Q2120965) (← links)
- The duality theory of general \(\mathcal{Z}\)-continuous posets (Q2130618) (← links)
- On H-sober spaces and H-sobrifications of \(T_0\) spaces (Q2219292) (← links)
- The categorical equivalence between algebraic domains and F-augmented closure spaces. (Q2264118) (← links)
- Fuzzy \(Z\)-continuous posets (Q2318880) (← links)
- Closure spaces and completions of posets (Q2350955) (← links)
- A uniform approach to completions of posets (Q2423773) (← links)
- A novel framework for lim-inf convergence in posets (Q2671555) (← links)
- A Denotational Semantic Theory of Concurrent Systems (Q2945722) (← links)
- Characterising E-projectives via Comonads (Q2971116) (← links)
- Monotone Relations, Fixed Points and Recursive Definitions (Q3600566) (← links)
- ORDER EXTENSIONS AS ADJOINT FUNCTORS (Q3737471) (← links)
- Quasi-Atoms and Complete Distributivity (Q3800102) (← links)
- Infinite trees in normal form and recursive equations having a unique solution (Q3851585) (← links)
- (Q3909265) (← links)
- The glueing construction and lax limits (Q4327407) (← links)
- On naturally continuous non-dcpo domains (Q4593242) (← links)
