1 citations · 1 across the 5 of their papers we have counts for
5 papers · 1 filter
The set-theorist's real numbers
Dhruv Kulshreshtha, Jamie Tappenden
Descriptive set theorists often refer to elements of the Baire space, , as ``reals.'' In this expository article, we present mathematical justification for thi…
A Gentle Introduction to the Axiom of Choice
Andreas Blass, Dhruv Kulshreshtha
This article offers a gentle introduction to the axiom of choice. We introduce the axiom, discuss some common objections to it, and present three kinds of reasons to accept it. Alt…
A Reverse Mathematical Analysis of Hilbert's Nullstellensatz and Basis Theorem
Dhruv Kulshreshtha
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…
Cardinal Well-foundedness and Choice
Andreas Blass, Dhruv Kulshreshtha
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 carefull…
The Logic of Cardinality Comparison Without the Axiom of Choice
Matthew Harrison-Trainor, Dhruv Kulshreshtha
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 c…