Infinite Versions of Hilbert's Nullstellensatz

We compile a long list of equivalent formulations of Hilbert’s Nullstellensatz in infinite dimensions, and prove a persistence result for the strong Nullstellensatz in large polynomial rings.