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
5 Citations
8 References
Similar Papers

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-8 of 8 references

Modelling Computational Effects in QCB

  • I. Battenfeld
  • In preparation,
  • 2006
1 Excerpt

Effective Algebras

  • J. V. Tucker
  • Handbook of Logic in Computer Science
  • 2003

Spaces in which sequences suffice

  • J. D. Lawson, M. W. Mislove, D. S. Scott
  • Fundamenta Mathematicae
  • 1965

Similar Papers

Loading similar papers…