3
$\begingroup$

Is there a known example of a completely regular c.c.c. space with $G_\delta$-diagonal which is not productively c.c.c.?

The non-existence of such a space is consistent (for example, under $MA$ no such space should exist.) This would entail, I'm looking for a consistent example only; unless of course it's a theorem that completely regular c.c.c. spaces with $G_\delta$-diagonal are productivity c.c.c.

Edit: removed not very well thought out question.

Improve this question
$\endgroup$
5
  • 2
    $\begingroup$ Isn't it enough to take the Moore Machine $M(L)$ over a Suslin Line $L$? Moore spaces have $G_\delta$ diagonals, the ccc is preserved by the Moore Machine construction and the square would be non-ccc because $M(L)$ maps continuously onto $L$ and $L^2$ is not ccc. $\endgroup$
    – Santi Spadaro
    Commented Dec 18, 2017 at 22:28
  • $\begingroup$ @SantiSpadaro What is the Moore machine construction? (Google is just turning up things in theoretical computer science, not topology.) $\endgroup$
    – Noah Schweber
    Commented Dec 18, 2017 at 23:25
  • $\begingroup$ @SantiSpadaro After some searching. Yes that is enough. Here is a paper by van Douwen and Reed were they establish the result. sciencedirect.com/science/article/pii/016686419190076X $\endgroup$
    – Not Mike
    Commented Dec 18, 2017 at 23:28
  • $\begingroup$ @NoahSchweber Based on what I'm finding, it should probably be called Reed's Machine. $\endgroup$
    – Not Mike
    Commented Dec 18, 2017 at 23:37
  • 2
    $\begingroup$ @NoahSchweber It's a machine that turns every first-countable regular space into a Moore space, and preserves many original properties of the original space, for example, chain-condition type properties are usually preserved. Correct, Not Mike, the Moore Machine is due to Mike Reed, but by Boyer's Law, mathematical discoveries are never named after their author. Not even Boyer's Law is due to Boyer, by the way. :-) $\endgroup$
    – Santi Spadaro
    Commented Dec 19, 2017 at 11:31

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .