Title: Ideal theory, differential algebra, and related systems