Sciweavers

ORDER
2002
74views more  ORDER 2002»
13 years 10 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 10 months ago
On Hereditary Coreflective Subcategories of Top
Let A be a topological space which is not finitely generated and CH(A) denote the coreflective hull of A in Top. We construct a generator of the coreflective subcategory SCH(A) con...
Martin Sleziak
ACS
2004
13 years 10 months ago
Components of the Fundamental Category
Inthis article westudy the fundamental category (Goubault and Raussen, 2002 Goubault, 2002) of a partially ordered topological space (Nachbin, 1965 Johnstone, 1982), as arising in ...
Lisbeth Fajstrup, Martin Raußen, Eric Goubau...
ACS
2004
13 years 10 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...
APAL
2005
125views more  APAL 2005»
13 years 10 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
MLQ
2008
63views more  MLQ 2008»
13 years 10 months ago
Generic cuts in models of arithmetic
We present some general results concerning the topological space of cuts of a countable model of arithmetic given by a particular indicator Y . The notion of `indicator' is d...
Richard Kaye
JCT
2008
87views more  JCT 2008»
13 years 10 months ago
End spaces of graphs are normal
We show that the topological space of any infinite graph and its ends is normal. In particular, end spaces themselves are normal.
Philipp Sprüssel
AML
2006
87views more  AML 2006»
13 years 11 months ago
The modal logic of continuous functions on cantor space
Abstract Let L be a propositional language with standard Boolean connectives plus two modalities: an S4-ish topological modality and a temporal modality , understood as `next'...
Philip Kremer
APAL
2007
111views more  APAL 2007»
13 years 11 months ago
A coverage construction of the reals and the irrationals
I modify the standard coverage construction of the reals to obtain the irrationals. However, this causes a jump in ordinal complexity from ω + 1 to Ω. The coverage technique ha...
Harold Simmons
LICS
2007
IEEE
14 years 5 months ago
On Noetherian Spaces
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
Jean Goubault-Larrecq