A quantitative general Nullstellensatz for Jacobson rings Ryota Kuroki 2025 arXiv A constructive counterpart of the subdirect representation theorem for reduced rings Ryota Kuroki 2024 arXiv A constructive proof of the general Nullstellensatz for Jacobson rings Ryota Kuroki 2024 arXiv