The completion of a Suslin tree is shown to be a consistent example of a Corson compact L-space when endowed with the coarse wedge topology. The example has the further properties of being zero-dimensional and monotonically normal.
Let G be a countably infinite group. We show that for every finite absolute coretract S, there is a regular left invariant topology on G whose ultrafilter semigroup is isomorphic to S. As consequences we prove that (1) there is a right maximal idempotent in βG∖G which is not strongly right maximal, and (2) for each combination of the properties of being extremally disconnected, irresolvable, and nodec, except for the combination (-,-,+), there is a corresponding regular almost maximal left invariant...
A tie-point of compact space is analogous to a cut-point: the complement of the point falls apart into two relatively clopen non-compact subsets. We review some of the many consistency results that have depended on the construction of tie-points of . One especially important application, due to Veličković, was to the existence of nontrivial involutions on . A tie-point of has been called symmetric if it is the unique fixed point of an involution. We define the notion of an almost clopen set...
We examine when a space has a zero set universal parametrised by a metrisable space of minimal weight and show that this depends on the -weight of when is perfectly normal. We also show that if parametrises a zero set universal for then for all . We construct zero set universals that have nice properties (such as separability or ccc) in the case where the space has a -coarser topology. Examples are given including an space with zero set universal parametrised by an space (and...
We show that, under CH, the corona of a countable ultrametric space is homeomorphic to . As a corollary, we get the same statements for the Higson’s corona of a proper ultrametric space and the space of ends of a countable locally finite group.
We show that: (1) It is provable in ZF (i.e., Zermelo-Fraenkel set theory minus the Axiom of Choice AC) that every compact scattered T₂ topological space is zero-dimensional. (2) If every countable union of countable sets of reals is countable, then a countable compact T₂ space is scattered iff it is metrizable. (3) If the real line ℝ can be expressed as a well-ordered union of well-orderable sets, then every countable compact zero-dimensional T₂ space...
We present a ZFC construction of a non-meager filter which fails to be countable dense homogeneous. This answers a question of Hernández-Gutiérrez and Hrušák. The method of the proof also allows us to obtain for any n ∈ ω ∪ {∞} an n-dimensional metrizable Baire topological group which is strongly locally homogeneous but not countable dense homogeneous.
An Open Coloring Axiom type principle is formulated for uncountable cardinals and is shown to be a consequence of the Proper Forcing Axiom. Several applications are found. We also study dense C*-embedded subspaces of ω*, showing that there can be such sets of cardinality and that it is consistent that ω*{pis C*-embedded for some but not all p ∈ ω*.
We show that the ideal of nowhere dense subsets of rationals cannot be extended to an analytic P-ideal, ideal nor maximal P-ideal. We also consider a problem of extendability to a non-meager P-ideals (in particular, to maximal P-ideals).
We use a set theoretic approach to consensus by viewing an object as a set of smaller pieces called “bricks”. A consensus function is neutral if there exists a family D of sets such that a brick s is in the output of a profile if and only if the set of positions with objects that contain s belongs to D. We give sufficient set theoretic conditions for D to be a lattice filter and, in the case of a finite lattice, these conditions turn out to be necessary. Ourfinal result, which involves a finite...