Transporting continuity properties from a poset to its subposets

DOI10.1016/j.tcs.2022.02.021OpenAlexW3128873116MaRDI QIDQ2120965

Paul Poncet

Publication date: 1 April 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.0999

zbMATH Keywords

retractcontinuous latticedomainkernel operatorsubset systeminterpolation propertycontinuous posetalgebraic posetconditionally-complete posetinductive posetZ-basisZ-continuous poset

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Domain theory and mirror properties in inverse semigroups
• Meet continuity properties of posets
• A uniform approach to inductive posets and inductive closure
• M-distributive lattices
• The category of Z-continuous posets
• Chain-complete posets and directed sets with applications
• Categories of chain-complete posets
• \({\mathcal Z}\)-continuous posets and their topological manifestation
• Idempotent analysis and continuous semilattices
• Posets having continuous intervals
• Characterizations of various continuities of posets via approximated elements
• \({\mathbf Z}\)-continuous posets
• How regular can maxitive measures be?
• Closure spaces and completions of posets
• Complete congruences on topologies and down-set lattices
• Bicontinuous Domains and Some Old Problems in Domain Theory
• The Injective Hull and the -Compactification of a Continuous Poset
• Completions of Partially Ordered Sets
• Bases for Chain-complete Posets
• Densities of idempotent measures and large deviations
• Topologies on lattice ordered groups, separation from closed downward sets and conjugations of type Lau
• Continuous Lattices and Domains
• Construction of Homomorphisms of M-Continuous Lattices
• Non-Hausdorff Topology and Domain Theory
• A topological duality for strong Boolean posets
• Convexities on ordered structures have their Krein--Milman theorem
• Unique Factorization in Partially Ordered Sets
• Completely Distributive Complete Lattices
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• Ideals in Partially Ordered Sets
• \(Z\)-join spectra of \(Z\)-supercompactly generated lattices