https://5dok.net/document/zpn6o2xv-topological-dimensions-and-the-l-owenheim-skolem-theorem.html