Effectivity in Spaces with Admissible Multirepresentations

DOI<78::AID-MALQ78>3.0.CO;2-K 10.1002/1521-3870(200210)48:1+<78::AID-MALQ78>3.0.CO;2-KzbMath1032.03039OpenAlexW1968855204MaRDI QIDQ4787859

Matthias Schröder

Publication date: 3 April 2003

Full work available at URL: https://doi.org/10.1002/1521-3870(200210)48:1+<78::aid-malq78>3.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) Uniform structures and generalizations (54E15) Proximity structures and generalizations (54E05) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Higher-type and set recursion theory (03D65)

Related Items (5)

Axiomatic reals and certified efficient exact real computation ⋮ On computability and disintegration ⋮ On the topological aspects of the theory of represented spaces ⋮ Quantitative coding and complexity theory of compact metric spaces ⋮ Admissibly Represented Spaces and Qcb-Spaces

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