Describir: Una aplicacion de las algebras de Boole a la teoria de modelos : el teorema del ultraproducto