Filter spaces and continuous functionals
From MaRDI portal
Cited in
(29)- Type 2 recursion theory
- Total sets and objects in domain theory
- A non-topological view of dcpos as convergence spaces.
- The construction of \(\pi_0\) in Axiomatic Cohesion
- Comparing Cartesian closed categories of (core) compactly generated spaces
- Full lattice convergence on Riesz spaces
- The fixed-point property for represented spaces
- More notions and mappings via somewhere dense sets
- Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces
- A convenient category of domains
- A constructive manifestation of the Kleene-Kreisel continuous functionals
- R.E. degrees of continuous functionals
- Characterizing the continuous functionals
- The countably based functionals
- The sequential topology on is not regular
- Countable functionals and the projective hierarchy
- A logical presentation of the continuous functionals
- scientific article; zbMATH DE number 1531372 (Why is no real title available?)
- A natural weak limit space with admissible representation which is not a limit space
- On the relationship between filter spaces and weak limit spaces
- Admissibly Represented Spaces and Qcb-Spaces
- The S-replete construction
- On the ubiquity of certain total type structures
- Some hierarchies of \(\mathsf{QCB}_0\)-spaces
- Computability in higher types, P and the completeness of type assignment
- How much partiality is needed for a theory of computability?
- Computability on random events and variables in a computable probability space
- On the compact open and finest splitting topologies
- Computability and the morphological complexity of some dynamics on continuous domains
This page was built for publication: Filter spaces and continuous functionals
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3050417)