Novak space is not countably tight

[Moniker1998]

I've also removed that $\beta\omega$ doesn't have countable spread since that will be implied by #1538

[felixpernegger]

@Moniker1998 I suppose you understand the answer to the mathoverflow comment? If yes it is fine to merge this I think.

[felixpernegger]

Because I doubt anyone will ever look at this otherwise in the forseeable future (considering how the other Novak space PRs went)

[Moniker1998]

@Moniker1998 I suppose you understand the answer to the mathoverflow comment? If yes it is fine to merge this I think.

What do you mean by comment here?

[Moniker1998]

@Moniker1998 I suppose you understand the answer to the mathoverflow comment? If yes it is fine to merge this I think.

What do you mean by comment here?

the answer to the mathoverflow question you linked to

Yeah I understand it

[prabau]

@felixpernegger Please don't approve a PR based on unfounded assumptions without giving time for people to discuss.
I had actually been started looking at the existence of R-points for $\beta\omega$, but did not have the time to get deeper into it. Without prior knowledge in this area, it is difficult stuff.

[felixpernegger]

@felixpernegger Please don't approve a PR based on unfounded assumptions without giving time for people to discuss. I had actually been started looking at the existence of R-points for β ω , but did not have the time to get deeper into it. Without prior knowledge in this area, it is difficult stuff.

Sorry, I didn't know. Won't happen again...

[Moniker1998]

@felixpernegger Please don't approve a PR based on unfounded assumptions without giving time for people to discuss. I had actually been started looking at the existence of R-points for β ω , but did not have the time to get deeper into it. Without prior knowledge in this area, it is difficult stuff.

@prabau Technically speaking, I understood why this is true, and K. P. Hart also did. Also Ulli gave another way to obtain this.
So we have a pretty solid case that this PR is okay. But if you want, message me either here or in Math.SE chat and I will try to explain anything which you find unclear about this.

Moreover, you, or anyone else, have not indicated any interest in this PR, be it by assigning yourself as a reviewer or other.

I wouldn't say that @felixpernegger here approved this PR prematurely. You're being too harsh.

[Moniker1998]

@felixpernegger Please don't approve a PR based on unfounded assumptions without giving time for people to discuss. I had actually been started looking at the existence of R-points for β ω , but did not have the time to get deeper into it. Without prior knowledge in this area, it is difficult stuff.

Sorry, I didn't know. Won't happen again...

Don't be harsh on yourself, you did nothing wrong.

[prabau]

You are right that I should have shown an indication of interest. thanks @Moniker1998 for the offer of explanations when I get to it.