Filter spaces and continuous functionals
From MaRDI portal
Publication:3050417
DOI10.1016/0003-4843(79)90006-8zbMath0415.03037OpenAlexW2034290319MaRDI QIDQ3050417
Publication date: 1979
Published in: Annals of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0003-4843(79)90006-8
filter spacesrecursion theorytopoilimit spacesconstructivizationscontinuous functionals of finite type
Categorical logic, topoi (03G30) Functionals in proof theory (03F10) Computability and recursion theory (03D99)
Related Items
The fixed-point property for represented spaces, Comparing Cartesian closed categories of (core) compactly generated spaces, A constructive manifestation of the Kleene-Kreisel continuous functionals, The S-replete construction, On the compact open and finest splitting topologies, The construction of \(\pi_0\) in Axiomatic Cohesion, Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces, How much partiality is needed for a theory of computability?, A non-topological view of dcpos as convergence spaces., Computability and the morphological complexity of some dynamics on continuous domains, Unnamed Item, A logical presentation of the continuous functionals, Characterizing the continuous functionals, A Natural Weak Limit Space with Admissible Representation which is not a Limit Space, Computability on random events and variables in a computable probability space, On the Relationship between Filter Spaces and Weak Limit Spaces, Total sets and objects in domain theory, Some hierarchies of QCB0-spaces, On the ubiquity of certain total type structures, The countably based functionals, R.E. degrees of continuous functionals, Full lattice convergence on Riesz spaces, Computability in higher types, P\(\omega\) and the completeness of type assignment, The sequential topology on is not regular, Countable functionals and the projective hierarchy, More notions and mappings via somewhere dense sets, A Convenient Category of Domains, Admissibly Represented Spaces and Qcb-Spaces, Type 2 recursion theory
