TY - RPRT TI - A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem AU - Dhruv Kulshreshtha PY - 2024 UR - https://arxiv.org/abs/2406.01336 ID - 2406.01336 ER -