Abstract
In this project we study some applications of Forcing and methods of Symmetric Submodels on the study of consequences of the Axiom of Choice, by analyzing in details the construction of several models of ZF in which known implications of AC do not hold.