Thoughtscript[io]
Adam In Tae Gerard
Inner Semantics
- new view of semantics
Propositional Stability and Cohen Forcing
- a few remarks