A uniform approach to inductive posets and inductive closure
From MaRDI portal
(Redirected from Publication:809105)
Recommendations
Cites work
- scientific article; zbMATH DE number 3204690 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- Bases for Chain-complete Posets
- Computability concepts for programming language semantics
- Initial Algebra Semantics and Continuous Algebras
- Varieties of ordered algebras
Cited in
(53)- Some open problems on well-filtered spaces and sober spaces
- scientific article; zbMATH DE number 7731060 (Why is no real title available?)
- ( Z₁, Z₂)-complete partially ordered sets and their representations by Q-spaces.
- scientific article; zbMATH DE number 3940731 (Why is no real title available?)
- The glueing construction and lax limits
- Embedding metric spaces into CPO's
- A denotational semantic theory of concurrent systems
- On semicontinuous lattices and their distributive reflections
- Characterising E-projectives via co-monads
- \({\mathbf Z}\)-continuous posets
- Completion of Boolean algebras in MSet
- The duality theory of general \(\mathcal{Z}\)-continuous posets
- Cancel culture. The search for universally cancellable exponents of posets
- A generalization of the Dedekind-MacNeille completion
- Proving open properties by induction
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- Bigeneration in complete lattices and principal separation in ordered sets
- On H-sober spaces and H-sobrifications of \(T_0\) spaces
- Transporting continuity properties from a poset to its subposets
- The categorical equivalence between algebraic domains and F-augmented closure spaces.
- Varieties of chain-complete algebras
- A uniform approach to completions of posets
- scientific article; zbMATH DE number 7820355 (Why is no real title available?)
- Fundamental properties of infinite trees
- General Stone duality.
- Tree constructions of free continuous algebras
- scientific article; zbMATH DE number 3719446 (Why is no real title available?)
- A dual problem to least fixed points
- Quasicontinuous spaces
- A novel framework for lim-inf convergence in posets
- Completions for partially ordered semigroups
- Characterising E-projectives via Comonads
- Uniformly constructive monads
- Infinite trees in normal form and recursive equations having a unique solution
- The category of Z-continuous posets
- Ideals in ordered sets, a unifying approach
- A unified method for completions of posets and closure spaces
- Some results on fuzzy \(Z_{L}\)-continuous(algebraic) poset
- Closure spaces and completions of posets
- ORDER EXTENSIONS AS ADJOINT FUNCTORS
- Order completion monads
- scientific article; zbMATH DE number 5589753 (Why is no real title available?)
- On the algebra of order
- Posets isomorphic to their extensions
- The \(R\)-completion of closure spaces
- The Birkhoff variety theorem for continuous algebras
- Cartesian closed categories of \(F\mathcal Z\)-domains
- scientific article; zbMATH DE number 3933133 (Why is no real title available?)
- Monotone Relations, Fixed Points and Recursive Definitions
- Quasi-Atoms and Complete Distributivity
- Combining data type and recursive process specifications using projection algebras
- Fuzzy \(Z\)-continuous posets
- On naturally continuous non-dcpo domains
This page was built for publication: A uniform approach to inductive posets and inductive closure
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q809105)
