1,567 research outputs found
Selection principles in mathematics: A milestone of open problems
We survey some of the major open problems involving selection principles,
diagonalizations, and covering properties in topology and infinite
combinatorics. Background details, definitions and motivations are also
provided.Comment: Small update
A characterization of the Menger property by means of ultrafilter convergence
We characterize various Menger/Rothberger related properties by means of
ultrafilter convergence, and discuss their behavior with respect to products.Comment: v.2; 13 pages, some improvements, some corrections, added
introduction and divided into section
Sequential convergence in topological spaces
In this survey, my aim has been to discuss the use of sequences and countable
sets in general topology. In this way I have been led to consider five
different classes of topological spaces: first countable spaces, sequential
spaces, Frechet spaces, spaces of countable tightness and perfect spaces. We
are going to look at how these classes are related, and how well the various
properties behave under certain operations, such as taking subspaces, products,
and images under proper mappings. Where they are not well behaved we take the
opportunity to consider some relevant examples, which are often of special
interest. For instance, we examine an example of a Frechet space with unique
sequential limits that is not Hausdorff. I asked the question of whether there
exists in ZFC an example of a perfectly normal space that does not have
countable tightness: such an example was supplied and appears below. In our
discussion we shall report two independence theorems, one of which forms the
solution to the Moore-Mrowka problem. The results that we prove below include
characterisation theorems of sequential spaces and Frechet spaces in terms of
appropriate classes of continuous mappings, and the theorem that every
perfectly regular countably compact space has countable tightness.Comment: 29 pages. This version incorporates the correction of Proposition 3.2
to include an additional assumption (Hausdorff), whose necessity has been
pointed out by Alexander Gouberma
Towards a Convenient Category of Topological Domains
We propose a category of topological spaces that promises to be convenient for the purposes of domain theory as a mathematical theory for modelling computation. Our notion of convenience presupposes the usual properties of domain theory, e.g. modelling the basic type constructors, fixed points, recursive types, etc. In addition, we seek to model parametric polymorphism, and also to provide a flexible toolkit for modelling computational effects as free algebras for algebraic theories. Our convenient category is obtained as an application of recent work on the remarkable closure conditions of the category of quotients of countably-based topological spaces. Its convenience is a consequence of a connection with realizability models
A Convenient Category of Domains
We motivate and define a category of "topological domains",
whose objects are certain topological spaces, generalising
the usual -continuous dcppos of domain theory.
Our category supports all the standard constructions of domain theory,
including the solution of recursive domain equations. It also
supports the construction of free algebras for (in)equational
theories, provides a model of parametric polymorphism,
and can be used as the basis for a theory of computability.
This answers a question of Gordon Plotkin, who asked
whether it was possible to construct a category of domains
combining such properties
- …