TY - RPRT TI - Sur la définissabilité existentielle de la non-nullité dans les anneaux AU - Laurent Moret-Bailly PY - 2007 UR - https://arxiv.org/abs/0707.4449 ID - 0707.4449 ER -