Prime Ideal Theory for General Algebras

@article{Ern2000PrimeIT,
  title={Prime Ideal Theory for General Algebras},
  author={M. Ern{\'e}},
  journal={Applied Categorical Structures},
  year={2000},
  volume={8},
  pages={115-144}
}
  • M. Erné
  • Published 2000
  • Computer Science
  • Applied Categorical Structures
We introduce ideals, radicals and prime ideals in arbitrary algebras with at least one binary operation, and we show that various separation lemmas and prime ideal theorems are special instances of one general theorem which, in turn, is equivalent to the Boolean Prime Ideal Theorem (or Ultrafilter Principle). 
The strength of Engeler's lemma
  • Jan Paseka
  • Computer Science, Mathematics
  • Mathematical Structures in Computer Science
  • 2006
Choice principles and lift lemmas
Abstractly constructed prime spectra