TY  - RPRT
TI  - Beyond sets with atoms: definability in first order logic
AU  - Michał R. Przybyłek
PY  - 2021
UR  - https://arxiv.org/abs/2003.04803
ID  - 2003.04803
ER  -