Atlas home || Conferences | Abstracts | about Atlas

II Congreso Iberoamericano de Topología y sus Aplicaciones
March 20-22, 1997

Morelía, Mexico

Organizers
Salvador García-Ferreira, Daniel Juan Pineda, Sergio Macías Alvarez, Max Neumann Coto, María L. Pérez Seguí, Salvador Romaguera Bonilla, Manuel Sanchis López, Angel Tamariz Mascarúa, M. G. Tkachenko, Javier F. Trigos Arrieta

View Abstracts
Conference Homepage

Solving domain equations in the category of effectively given topological spaces
by
Dieter Spreen
University of Siegen

The solvability of domain equations is an important requirement for a category of spaces used in giving mathematical meaning to programming language constructs. As it is well known several categories of cpo's as well as of metric spaces share this property. In this talk it is shown that the same holds for the category of effectively given topological spaces.

Date received: February 9, 1997

Copyright © 1997 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caak-28.