Salazar Buelvas, Elías José (Asesor/a)Carrillo Blanquicett, Alexis2019-08-262019-08-262014T514.224 / C235https://hdl.handle.net/11227/9093http://dx.doi.org/10.57799/11227/9370Tesis (Matemático).--Universidad de Cartagena. Facultad de Ciencias Exactas y Naturales. Programa de Matemáticas, 2014Este 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 en la prueba del teorema, el cambio de la estructura de reticulo en los que se de nen los filtros, sistemas de vecindades y operador interior.application/pdfapplication/pdfspahttps://creativecommons.org/licenses/by-nc-nd/4.0https://creativecommons.org/licenses/by-nc-nd/4.0Topología - EstructurasTrabajo de grado - PregradoopenAccessopenAccess