Monotone normality in products (Q1292758)

It is well known that if \(X\) is a topological space, then \(X^\omega\) is monotonically normal if and only if \(X\) is stratifiable. Here it is shown that if \(X\times X\) is monotonically normal, then \(X^n\) is monotonically normal and hereditarily paracompact for every \(n<\omega\). However, there exists even a topological group \(G\) such that \(G\times G\) is monotonically normal but \(G\) is not linearly stratifiable. This interesting example is constructed using special filters and nonstandard topologies on infinite products.