Representation Theorems for Symmetric and Intuitionistic Algebras by Classical Sets

Franceso Esteva

All Symmetric and Intuitionistic Algebras are represented by Symmetric or Intuitionistic Algebras of classical sets obtaining, as a corollary, the Bialynicki-Birula and Rasiowa's theorem for De Morgan Algebras.