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

admissibilityequilogical spaceslimit spacesmultirepresentationssequential topological spacesTTEtype-2 theory of effectivityweak limit spaces

Mathematics Subject Classification ID

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

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

(13)

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

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)