On the Relationship between Filter Spaces and Weak Limit Spaces

DOI10.1016/j.entcs.2008.03.020zbMath1262.03075OpenAlexW2169507102MaRDI QIDQ4918042

Matthias Schröder

Publication date: 3 May 2013

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.020

zbMATH Keywords

filter spaceshigher-type computabilityQCB-spacesweak limit spaces

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Higher-type and set recursion theory (03D65)

Related Items

Stratified \(LMN\)-convergence tower groups and their stratified \(LMN\)-uniform convergence tower structures

Cites Work

• A non-topological view of dcpos as convergence spaces.
• Equilogical spaces
• Comparing Cartesian closed categories of (core) compactly generated spaces
• A Convenient Category of Domains
• Filter spaces and continuous functionals
• Topological and limit-space subcategories of countably-based equilogical spaces
• A Relationship between Equilogical Spaces and Type Two Effectivity
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item