Effectivity in Spaces with Admissible Multirepresentations

DOI10.1002/1521-3870(200210)48:1+%3C78::AID-MALQ78%3E3.0.CO;2-KMaRDI QIDQ4787859zbMATH OpenOpenAlexFDO

Authors Matthias Schröder

Publication date 3 April 2003

Full work available at URL https://doi.org/10.1002/1521-3870(200210)48:1+%3C78::aid-malq78%3E3.0.co;2-k

zbMATH Keywords

admissibilitylimit spacestype-2 theory of effectivityTTEequilogical spacessequential topological spacesweak limit spacesmultirepresentations

Mathematics Subject Classification ID

Convergence in general topology (sequences, filters, limits, convergence spaces, nets, etc.) (54A20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Proximity structures and generalizations (54E05) Uniform structures and generalizations (54E15) Higher-type and set recursion theory (03D65)

Recommendations

• scientific article; zbMATH DE number 1746030
• Effective representations of the space of linear bounded operators
• scientific article; zbMATH DE number 4077668
• scientific article; zbMATH DE number 1746033
• On the continuity of representations of effectivity functions
• Representations of effect algebras
• Effectivity and effective continuity of multifunctions
• On effective topological spaces
• scientific article; zbMATH DE number 6130443
• Representation theory of effect algebras

Cited in

(12)

• Extended admissibility.
• Admissibly Represented Spaces and Qcb-Spaces
• On computability and disintegration
• Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations
• A Relationship between Equilogical Spaces and Type Two Effectivity
• Quantitative coding and complexity theory of compact metric spaces
• Semantics, specification logic, and Hoare logic of exact real computation
• On the topological aspects of the theory of represented spaces
• scientific article; zbMATH DE number 1969324 (Why is no real title available?)
• scientific article; zbMATH DE number 7703281 (Why is no real title available?)
• Axiomatic reals and certified efficient exact real computation
• A natural weak limit space with admissible representation which is not a limit space

This page was built for publication: Effectivity in Spaces with Admissible Multirepresentations

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