English

A counterexample related to a theorem of Komjath and Weiss

Logic 2023-07-04 v1 General Topology

Abstract

In a paper from 1987, Komjath and Weiss proved that for every regular topological space XX of character less than b\mathfrak b, if X(top ω+1)ω1X\rightarrow(top~\omega+1)^1_\omega, then X(top α)ω1X\rightarrow(top~\alpha)^1_\omega for all α<ω1\alpha<\omega_1. In addition, assuming \diamondsuit, they constructed a space XX of size continuum, of character b\mathfrak b, satisfying X(top ω+1)ω1X\rightarrow(top~\omega+1)^1_\omega, but not X(top ω2+1)ω1X\rightarrow(top~\omega^2+1)^1_\omega. Here, a counterexample space with the same characteristics is obtained outright in ZFC.

Keywords

Cite

@article{arxiv.2307.00602,
  title  = {A counterexample related to a theorem of Komjath and Weiss},
  author = {Rodrigo Carvalho and Assaf Rinot},
  journal= {arXiv preprint arXiv:2307.00602},
  year   = {2023}
}