Mappings and inductive invariants
Measure-Theoretic Characterizations of Certain Topological Properties
It is shown that Čech completeness, ultracompleteness and local compactness can be defined by demanding that certain equivalences hold between certain classes of Baire measures or by demanding that certain classes of Baire measures have non-empty support. This shows that these three topological properties are measurable, similarly to the classical examples of compact spaces, pseudo-compact spaces and realcompact spaces.