Listar Matemáticas por autor "Salazar Buelvas, Elías José (Asesor/a)"
Mostrando ítems 1-1 de 1
-
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 ...