Thesis
El Método de Forcing: Algunas aplicaciones y una aproximación a sus fundamentos metamatemáticos
Registro en:
Autor
Galindo, Franklin
Institución
Resumen
Es conocido que el método de forcing es una de las técnicas de construcción de modelos más importantes de la Teoría de conjuntos en la actualidad, siendo el mismo muy útil para investigar problemas de matemática y de fundamentos de la matemática. El objetivo del siguiente trabajo es estudiar tal método, describir algunas de sus aplicaciones y ofrecer una aproximación a sus fundamentos metamatemáticos. Se aspira que este texto sirva de apoyo para aprender dicho método.