Two preservation results for countable products of sequential spaces

@article{Schrder2007TwoPR,
title={Two preservation results for countable products of sequential spaces},
author={Matthias Schr{\"o}der and Alex K. Simpson},
journal={Mathematical Structures in Computer Science},
year={2007},
volume={17},
pages={161-172}
}

In the theory of Type Two Effectivity (Weihrauch 2000), computation on non-discrete spaces is performed by type two Turing machines, which compute with infinite words acting as names for elements of spaces. The connection between names and their associated elements is specified by a many-to-one relation called a representation. Such representations induce a topology on the named elements, namely the quotient topology of the relative product topology on the set of names. For certain admissible… CONTINUE READING