More on countably compact,locally countable spaces

Following 5], aT ₃ spaceX is called good (splendid) if it is countably compact, locally countable (andω-fair).G(κ) (resp.S(κ)) denotes the statement that a good (resp. splendid) spaceX with |X|=κ exists. We prove here that (i) Con(ZF)→Con(ZFC+MA+2 ^ω is big+S(κ) holds unlessω=cf(κ)<κ); (ii) a supercompact cardinal implies Con(ZFC+MA+2suω>_ω+₁+┐G(ω_ω+₁); (iii) the “Chang conjecture” (ω_ω+₁),→(ω ₁,ω) implies ┐S(κ) for allκ≧k≧ω_ω; (iv) ifP addsω ₁ dominating reals toV iteratively then, in , we haveG(λ^ω) for allλ. Research supported by Hungarian National Foundation for Scientific Research grant no. 1805.