TY - RPRT TI - The Nullstellensatz without the Axiom of Choice AU - Enrique Arrondo PY - 2020 UR - https://arxiv.org/abs/2009.02837 ID - 2009.02837 ER -