TY  - RPRT
TI  - Truth Set Algebra: A New Way to Prove Undefinability
AU  - Sophia Knight
AU  - Pavel Naumov
AU  - Qi Shi
AU  - Vigasan Suntharraj
PY  - 2023
UR  - https://arxiv.org/abs/2208.04422
ID  - 2208.04422
ER  -