El Método de Forcing: Algunas aplicaciones y una aproximación a sus fundamentos metamatemáticos

Abstract

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.