A uniform approach to inductive posets and inductive closure

Partial orders, general (06A06) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Semantics in the theory of computing (68Q55)

Recommendations

A uniform approach to completions of posets
scientific article; zbMATH DE number 956828
\(Z\)-abstract basis.
Closure spaces and completions of posets
A unified method for completions of posets and closure spaces

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)

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

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)