Exponentiation of Scott formal topologies

MaRDI QIDQ2851541zbMATH OpenFDO

Authors Maria Emilia Maietti, Silvio Valentini

Publication date 10 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104050868

Mathematics Subject Classification ID

Frames, locales (06D22) Continuous lattices and posets, applications (06B35)

Recommendations

• Publication:3202845
• A categorical generalization of Scott domains
• The Scott approach structure: an extension of the Scott topology for quantitative domain theory
• A structural investigation on formal topology: coreflection of formal covers and exponentiability
• scientific article; zbMATH DE number 7587436
• Scott topology for preorder relations
• scientific article; zbMATH DE number 5283672
• SCOTT COMPLEXITY OF COUNTABLE STRUCTURES
• Computability-theoretic categoricity and Scott families
• On a class of topological spaces with a Scott sentence

Cited in

(6)

• scientific article; zbMATH DE number 7587436 (Why is no real title available?)
• Convergence in formal topology: a unifying notion
• scientific article; zbMATH DE number 2247260 (Why is no real title available?)
• Apartness, sharp elements, and the Scott topology of domains
• A structural investigation on formal topology: coreflection of formal covers and exponentiability
• Sharp elements and apartness in domains

This page was built for publication: Exponentiation of Scott formal topologies

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