Sciweavers

967 search results - page 6 / 194
» Cycle spaces in topological spaces
Sort
View
APAL
2005
125views more  APAL 2005»
13 years 9 months ago
Dynamic topological logic
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...
Philip Kremer, Grigori Mints
ORDER
2002
74views more  ORDER 2002»
13 years 9 months ago
Lines, Trees, and Branch Spaces
: In this paper we examine the interactions between the topology of certain linearly ordered topological spaces (LOTS) and the properties of trees in whose branch spaces they embed...
Harold Bennett, David Lutzer, Mary Ellen Rudin
ACS
2004
13 years 9 months ago
One Setting for All: Metric, Topology, Uniformity, Approach Structure
For a complete lattice V which, as a category, is monoidal closed, and for a suitable Setmonad T we consider (T, V)-algebras and introduce (T, V)-proalgebras, in generalization of...
Maria Manuel Clementino, Dirk Hofmann, Walter Thol...
MLQ
2002
81views more  MLQ 2002»
13 years 9 months ago
Apartness, Topology, and Uniformity: a Constructive View
The theory of apartness spaces, and their relation to topological spaces (in the point--set case) and uniform spaces (in the set--set case), is sketched. New notions of local decom...
Douglas S. Bridges, Peter Schuster, Luminita V&ici...
MLQ
1998
74views more  MLQ 1998»
13 years 9 months ago
Disjoint Unions of Topological Spaces and Choice
We find properties of topological spaces which are not shared by disjoint unions in the absence of some form of the Axiom of Choice.
Paul E. Howard, Kyriakos Keremedis, Herman Rubin, ...