TY  - RPRT
TI  - On noetherianity for logical formulas over fields
AU  - Aivars Berzins
PY  - 2008
UR  - https://arxiv.org/abs/0802.0211
ID  - 0802.0211
ER  -