Pruebas de consistencia y espacios selectivamente separables

Abstract

The thesis consists of two parts: first focuses on the basics of forcing, technique used to make consistency proofs, giving the classical theorems on the subject and then make an overview of the technique of forcing. In the second part selective separable topological spaces are introduced and we make a brief description of them and then show a pair of examples of the application of forcing in the topology doing a two of proofs of consistency of statements on selective separability spaces.

La tesis consiste en dos partes: se concentra primero en los fundamentos del forcing, técnica utilizada para hacer pruebas de consistencia, exponiendo los teoremas clásicos en el tema para después hacer una exposición general de la técnica del forcing. En la segunda parte se introducen los espacios topológicos selectivamente separables y hacemos una breve exposición de ellos para después mostrar un par de ejemplos de la aplicación del forcing en la topología haciendo un dos de pruebas de consistencia de enunciados sobre espacios selectivamente separables.