• El teorema de Tychonoff sobre varias estructuras topológicas  Trabajo de grado - Pregrado

      Carrillo Blanquicett, Alexis (Universidad de Cartagena, 2014)
      Este trabajo busca: establecer una prueba del Teorema de Tychonoff, sin utilizar el axioma de elección, sobre la topología formal, la cual se fundamenta en la teoría de tipos de Martin Löf y estudiar los efectos que ocurren ...