josia-notes/w23-logic-3
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

small change

Browse source
This commit is contained in:
Josia Pietsch 2023-10-19 20:18:32 +02:00
parent 6961c2d5f0
commit fa19ca3b6e
Signed by: josia
GPG key ID: E70B571D66986A2D
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
inputs/lecture_01.tex
View file

@ -28,7 +28,7 @@ i.e.~it is really a topological property.
\end{example} \end{example}
Polish spaces behave very nicely. Polish spaces behave very nicely.
We will see that uncountable polish spaces have size $2^{\aleph_0}$. We will see that uncountable polish spaces have size $2^{\aleph_0}$. % TODO: mathfrak c for continuum
There are good notions of big (comeager) There are good notions of big (comeager)
and small (meager). and small (meager).