Moniker1998
Moniker1998
@prabau you could review this if you want to familiarize yourself with the Novak space. Then perhaps do #1200 as well
@prabau feel free to modify the phrasing if you don't like it
I believe this is the same space as Gillman and Jerison example 9.15
@prabau I will need to figure out how to check those conflicts. On Github desktop I don't see any way to see them
> The paper is pretty clear, I think, so I didn't look at S&S in detail for this. But where does it use that 2^c is a regular cardinal? I...
@prabau The topologies on the integers are quite challenging, so I could check the proof but it'd take a while. Not surprised that @felixpernegger didn't check it. Still, I think...
I've got a comment on my question, and it looks like @StevenClontz and Dow show in a [paper from 2018](https://projecteuclid.org/journals/rocky-mountain-journal-of-mathematics/volume-48/issue-2/Almost-compatible-functions-and-infinite-length-games/10.1216/RMJ-2018-48-2-463.full) that there is a model of ZFC with $\mathfrak{c} =...
@StevenClontz that's okay. Some high school student used AI and pointed me to that paper (I normally don't use AI but I guess its useful for that). If you want...
Someone added S214 so sadly I need to resolve conflicts now...
Yes, that definitely does work. S113, S114 and S115 all have property P204 but not P205