Compactly Choquet-complete spaces II: completely Baire spaces

A completely Baire space is a space that is not only Baire, but whose closed subspaces are all Baire. We will continue our exploration of compactly Choquet-complete spaces, and we will see that they are all completely Baire. In fact, every compactly Choquet-complete space is Baire, and every closed subspace of a compactly Choquet-complete space is still compactly Choquet-complete. Read the full post.