Thoughtscript[io]
Adam In Tae Gerard
Propositional Stability and Cohen Forcing
- a few remarks