Predicative theories of continuous lattices

DOI10.23638/LMCS-17(2:22)2021MaRDI QIDQ5009708zbMATH OpenFDO

Authors Tatsuji Kawai

Publication date 5 August 2021

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

zbMATH Keywords

continuous latticeentailment relationlocally compact localepoint-free topologyproximity lattice

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 1301740
• Strongly semicontinuous lattices
• Algebraic theories for continuous semilattices
• Some new intrinsic topologies on complete lattices and the Cartesian closedness of the category of strongly continuous lattices
• Continuous Lattices and Domains

Cites work

• A representation of stably compact spaces, and patch topology.
• Continuous domains as formal spaces
• Convergence in formal topology: a unifying notion
• Duality and canonical extensions for stably compact spaces
• Effectively given domains
• Eliminating disjunctions by disjunction elimination
• Entailment systems for stably locally compact locales
• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1301740 (Why is no real title available?)
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• scientific article; zbMATH DE number 1107502 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 851999 (Why is no real title available?)
• scientific article; zbMATH DE number 3296291 (Why is no real title available?)
• scientific article; zbMATH DE number 3310901 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• scientific article; zbMATH DE number 3195417 (Why is no real title available?)
• Information systems for continuous posets
• Monads for which structures are adjoint to units
• Presenting de Groot duality of stably compact spaces
• Properly injective spaces and function spaces
• Stable Compactification I

Cited in

(10)

• \(\kappa\)-continuous lattices and comprehension principles for Frege structures
• Sequential theories and infinite distributivity in the lattice of chapters
• Lattice-free and point-free: Vickers duality for subbases of stably locally compact spaces
• Apartness, sharp elements, and the Scott topology of domains
• Predicative theories of continuous lattices
• Sharp elements and apartness in domains
• Continuous and algebraic domains in univalent foundations
• Constructing compacta from posets
• Predicative presentations of stably locally compact locales
• Equational theory of continuous lattices

This page was built for publication: Predicative theories of continuous lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5009708)