Does anyone know of a reference that explains the concept of forcing by fixing a forcing language that has a (I believe unary) predicate and does not mention the forcing poset?
For example, Kunen's development will have no one fixed forcing language. The forcing language will change depending on the particular poset with which you are trying to force,
(I realize that the question is vague and I apologize for it)