Thoughtscript[io]

Adam In Tae Gerard
Propositional Stability
- Truth preservation across interpretations and logics
Propositional Stability and Cohen Forcing
- a few remarks