Martin's axiom and partitions
We prove that, assuming MA, every crowded space is -resolvable if it satisfies one of the following properties: (1) it contains a -network of cardinality constituted by infinite sets, (2) , (3) is a Baire space and and (4) is a Baire space and has a network with cardinality and such that the collection of the finite elements in it constitutes a -locally finite family. Furthermore, we prove that the existence of a Baire irresolvable space is equivalent to the existence of...
We show that the existence of a non-trivial category base on a set of regular cardinality with each subset being Baire is equiconsistent to the existence of a measurable cardinal.
We construct two examples of a compact, 0-dimensional space which supports a Radon probability measure whose measure algebra is isomorphic to the measure algebra of . The first construction uses ♢ to produce an S-space with no convergent sequences in which every perfect set is a . A space with these properties must be both hereditarily normal and hereditarily countably paracompact. The second space is constructed under CH and is both HS and HL.
A point x is a (bow) tie-point of a space X if X∖x can be partitioned into (relatively) clopen sets each with x in its closure. We denote this as where A, B are the closed sets which have a unique common accumulation point x. Tie-points have appeared in the construction of non-trivial autohomeomorphisms of βℕ = ℕ* (by Veličković and Shelah Steprans) and in the recent study (by Levy and Dow Techanie) of precisely 2-to-1 maps on ℕ*. In these cases the tie-points have been the unique fixed point...