HDS-38: van den Dries, Lou (2024) Model Theory of Fields: Decidability and Bounds for Polynomial Ideals. Doctoral thesis, Rijksuniversiteit Utrecht.