Take the cone on an infinite coinfinite ground setIt is -open because is a basic open set of the Ellentuck topology. It is not -open: if , every ordinary basic neighbourhood of contains an infinite extension of having an odd point larger than . That extension is outside . Therefore no point of has an ordinary open neighbourhood contained in .
Articles by others on the same topic
There are currently no matching articles.