The Nullstellensatz without the Axiom of Choice
Enrique Arrondo

TL;DR
This paper presents a concise proof of the most general form of the Nullstellensatz theorem that does not rely on the Axiom of Choice, expanding its foundational understanding.
Contribution
It provides the first short proof of the Nullstellensatz without the Axiom of Choice, simplifying and generalizing previous results.
Findings
Nullstellensatz proved without Axiom of Choice
Short proof established for the most general version
Enhanced foundational understanding of algebraic geometry
Abstract
We give a short proof of the most general version of the Nullstellensatz without using the Axiom of Choice.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematics and Applications · Advanced Algebra and Logic · Advanced Banach Space Theory
