Resumo
Neste projeto propomos o estudo de alguns métodos baseados em ordens parciais que podem ser aplicados à topologia e à geometria de espaços de Banach. Dentre os métodos, destacamos alguns axiomas como o axioma de Martin, o axioma do forcing próprio e o axioma do máximo de Martin. Consideraremos também o método de forcing, introduzido por Cohen no século XX para resolver o problema da hipót…