A ZFC example strictly between (ωω, K(ωω)) and K(Q)
Determine whether, in ZFC, there exists a separable metrizable space M such that (ωω, K(ωω)) <T (M, K(M)) <T K(Q), with ωω =T (ωω, K(ωω)).
References
Question 3.12. Is there in ZFC a separable metrizable space M such that ww =T (ww, K(ww) <T (M, K(M) <T K(Q)?
— The Shape of Compact Covers
(2401.00817 - Feng et al., 1 Jan 2024) in Question 3.12, Section 3.1