-
A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
Authors:
Dhruv Kulshreshtha
Abstract:
This paper presents an expository reverse-mathematical analysis of two fundamental theorems in commutative algebra: Hilbert's Nullstellensatz and Basis Theorem. In addition to its profound significance in commutative algebra and algebraic geometry, the Basis Theorem is also historically notable for its nonconstructive proof. The Nullstellensatz, on the other hand, is noteworthy as it establishes a…
▽ More
This paper presents an expository reverse-mathematical analysis of two fundamental theorems in commutative algebra: Hilbert's Nullstellensatz and Basis Theorem. In addition to its profound significance in commutative algebra and algebraic geometry, the Basis Theorem is also historically notable for its nonconstructive proof. The Nullstellensatz, on the other hand, is noteworthy as it establishes a fundamental connection between the more algebraic notion of ideals and the more geometric notion of varieties.
We explore the conscious shift from computational to conceptual approaches in mathematical argumentation, contextualizing Hilbert's contributions. We formalize the relative constructivity of these theorems using the framework of reverse mathematics, although we do not presuppose familiarity with reverse mathematics. Drawing from contemporary mathematical literature, we analyze the Basis Theorem's reliance on nonconstructive methods versus the more constructive nature of the Nullstellensatz.
Our study employs the standard tools of reverse mathematics, in particular subsystems of second-order arithmetic, to outline the minimal set-existence axioms required for these theorems. We review results showing that certain formulations of the Nullstellensatz are provable in the weak axiom system of $\mathsf{RCA}_0$, while the Basis Theorem requires stronger axioms, such as $Σ^0_2$-Induction. Consequently, we position these theorems separately within the Friedman-Simpson hierarchy. This analysis contributes to a deeper understanding of the foundational requirements for these pivotal results in algebra.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
The homeomorphisms of the Sierpiński carpet are not classifiable by countable structures
Authors:
Dhruv Kulshreshtha,
Aristotelis Panagiotopoulos
Abstract:
We show that the homeomorphisms of the Sierpiński carpet are not classifiable, up to conjugacy, using isomorphism types of countable structures as invariants.
We show that the homeomorphisms of the Sierpiński carpet are not classifiable, up to conjugacy, using isomorphism types of countable structures as invariants.
△ Less
Submitted 11 April, 2024; v1 submitted 1 April, 2024;
originally announced April 2024.
-
Cardinal Well-foundedness and Choice
Authors:
Andreas Blass,
Dhruv Kulshreshtha
Abstract:
We consider several notions of well-foundedness of cardinals in the absence of the Axiom of Choice. Some of these have been conflated by some authors, but we separate them carefully. We then consider implications among these, and also between these and other consequences of Choice. For instance, we show that the Partition Principle implies that all of our versions of well-foundedness are equivalen…
▽ More
We consider several notions of well-foundedness of cardinals in the absence of the Axiom of Choice. Some of these have been conflated by some authors, but we separate them carefully. We then consider implications among these, and also between these and other consequences of Choice. For instance, we show that the Partition Principle implies that all of our versions of well-foundedness are equivalent. We also show that one version, concerning surjections, implies the Dual Cantor-Schröder-Bernstein theorem. It has been conjectured that well-foundedness, in one form or another, actually implies the Axiom of Choice, but this conjecture remains unresolved.
△ Less
Submitted 15 January, 2024; v1 submitted 14 October, 2023;
originally announced October 2023.
-
The Logic of Cardinality Comparison Without the Axiom of Choice
Authors:
Matthew Harrison-Trainor,
Dhruv Kulshreshtha
Abstract:
We work in the setting of Zermelo-Fraenkel set theory without assuming the Axiom of Choice. We consider sets with the Boolean operations together with the additional structure of comparing cardinality (in the Cantorian sense of injections). What principles does one need to add to the laws of Boolean algebra to reason not only about intersection, union, and complementation of sets, but also about t…
▽ More
We work in the setting of Zermelo-Fraenkel set theory without assuming the Axiom of Choice. We consider sets with the Boolean operations together with the additional structure of comparing cardinality (in the Cantorian sense of injections). What principles does one need to add to the laws of Boolean algebra to reason not only about intersection, union, and complementation of sets, but also about the relative size of sets? We give a complete axiomatization.
A particularly interesting case is when one restricts to the Dedekind-finite sets. In this case, one needs exactly the same principles as for reasoning about imprecise probability comparisons, the central principle being Generalized Finite Cancellation (which includes, as a special case, division-by-$m$). In the general case, the central principle is a restricted version of Generalized Finite Cancellation within Archimedean classes which we call Covered Generalized Finite Cancellation.
△ Less
Submitted 14 May, 2024; v1 submitted 7 November, 2022;
originally announced November 2022.
