Abstract
This project aims to develop the new foundational approach to forcing which was initially proposed in "An Axiomatic Approach to Forcing and Generic Extensions", by Rodrigo Freire, covering cases that were left open. At the same time, in order to achieve this end goal, we will provide a conceptual analysis of the relevant notions as an attempt to illuminate forcing in a general setting.For…