Foundations of Forcing I am currently studying Forcing methods in order to understand some independence results and model's constructions.
Now I am interested on formalizing the main notions around forcing such as consistency, completeness, transitive models, well-founded relations, absoluteness, reflection principle, etc. in the logical point of view.
I have heard that Shoenfield has a good work on that, I think I want something related to his approach or something improved (if it uses classical logic).
People said to me that Shoenfield's book Mathematical Logic is a good reference for what I am looking for.
Allerting that I have no trainning in basic logic (but I intent to start it next semester), can someone help me with a study guide with a few reference texts? Which topics should I see in order to have a solid understanding of Forcing in the logical approach?
Thank you

Try A beginner's guide to forcing by Timothy Chow.
http://arxiv.org/abs/0712.1320
