Machine space. I: Weak exponentials and quantification over compact spaces

DOI10.46298/LMCS-22(2:2)2026MaRDI QIDQ7254978zbMATH OpenFDO

Authors Peter F. Faul, Graham R. Manuell

Publication date 29 May 2026

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/LMCS-22(2:2)2026

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 2125651 (Why is no real title available?)
• scientific article; zbMATH DE number 3843129 (Why is no real title available?)
• scientific article; zbMATH DE number 3846844 (Why is no real title available?)
• scientific article; zbMATH DE number 3726420 (Why is no real title available?)
• scientific article; zbMATH DE number 3759128 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 1770056 (Why is no real title available?)
• scientific article; zbMATH DE number 949397 (Why is no real title available?)
• scientific article; zbMATH DE number 3303759 (Why is no real title available?)
• A universal characterization of the double powerlocale
• Adjointness in Foundations
• An extension of the Galois theory of Grothendieck
• Cartesian closed exact completions
• Compactness in locales and in formal topology
• Domain theory in logical form
• Exhaustible sets in higher-type computation
• Foundations for computable topology
• Inductively generated formal topologies.
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Synthetic topology: of data types and classical spaces
• The Dedekind reals in abstract Stone duality

This page was built for publication: Machine space. I: Weak exponentials and quantification over compact spaces

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