79 research outputs found
Some new directions in infinite-combinatorial topology
We give a light introduction to selection principles in topology, a young
subfield of infinite-combinatorial topology. Emphasis is put on the modern
approach to the problems it deals with. Recent results are described, and open
problems are stated. Some results which do not appear elsewhere are also
included, with proofs.Comment: Small update
Games for topological fixpoint logic
Topological fixpoint logics are a family of logics that admits topological models and where the fixpoint operators are defined with respect to the topological interpretations. Here we consider a topological fixpoint logic for relational structures based on Stone spaces, where the fixpoint operators are interpreted via clopen sets. We develop a game-theoretic semantics for this logic. First we introduce games characterising clopen fixpoints of monotone operators on Stone spaces. These fixpoint games allow us to characterise the semantics for our topological fixpoint logic using a two-player graph game. Adequacy of this game is the main result of our paper. Finally, we define bisimulations for the topological structures under consideration and use our game semantics to prove that the truth of a formula of our topological fixpoint logic is bisimulation-invariant
Combinatorics of Open Covers VI: Selectors for Sequences of Dense Sets
We consider the following two selection principles for topological spaces:
[Principle 1:] { For each sequence of dense subsets, there is a sequence of points from the space, the n-th point coming from the n-th dense set, such that this set of points is dense in the space;
[Principle 2:]{ For each sequence of dense subsets, there is a sequence of finite sets, the n-th a subset of the n-th dense set, such that the union of these finite sets is dense in the space.
We show that for separable metric space X one of these principles holds for the space C_p(X) of realvalued continuous functions equipped with the pointwise convergence topology if, and only if, a corresponding principle holds for a special family of open covers of X. An example is given to show that these equivalences do not hold in general for Tychonoff spaces. It is further shown that these two principles give characterizations for two popular cardinal numbers, and that these two principles are intimately related to an infinite game that was studied by Berner and Juhasz
- …