Buscar
Mostrando ítems 1-1 de 1
El teorema de Tychonoff sobre varias estructuras topológicas Trabajo de grado - Pregrado
(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 ...