Elementary lattice theories for ideals in polynomial rings
From MaRDI portal
Publication:2546046
DOI10.1007/BF02218635zbMath0216.29203OpenAlexW2007101525MaRDI QIDQ2546046
Publication date: 1970
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/186704
Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items