Pointfree forms of Dowker and Michael insertion theorems

In this paper we prove two strict insertion theorems for frame homomorphisms. When applied to the frame of all open subsets of a topological space they are equivalent to the insertion statements of the classical theorems of Dowker and Michael regarding, respectively, normal countably paracompact spa...

Full description

Bibliographic Details
Main Author: Gutiérrez García, Javier (author)
Other Authors: Kubiak, Tomasz (author), Picado, Jorge (author)
Format: other
Language:eng
Published: 2007
Subjects:
Online Access:http://hdl.handle.net/10316/11276
Country:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/11276