Elementary lattice theories for ideals in polynomial rings