notes-on-realizability
notes-on-realizability copied to clipboard
andrejbauer
Lecture notes on realizability
https://github.com/andrejbauer/notes-on-realizability/blob/69c0b477caabdc9ba3f77a65714e9383d7712855/notes/simulations.tex#L74 Should the `$\defined{t \, x}$` be `$\defined{t \, y}$`? $t,y \in \mathbb{F}'$ and $x \in \mathbb{E}$, but on the other hand, I would guess that $t$ $y \in \sigma[x]$...
If you'd like me to instead add to a single pull request instead of creating these atomic ones, please let me know :D
Renders eg. in 3.2 Assemblies as line 0, I suppose the intended rendering is as in line 1. ``` S = (|S||, ||S||, 푆_S) where |S| is its underlying set...
Assume the original definition of T0-space: All x,y: X, All U: O(X) . (x in U y in U) -> x = y; Because the empty set is an open...
