Relativization with respect to formulas and its use in proofs of independence
Compositio Mathematica, Tome 20 (1968), pp. 88-106. 
@article{CM_1968__20__88_0,
     author = {Henkin, Leon},
     title = {Relativization with respect to formulas and its use in proofs of independence},
     journal = {Compositio Mathematica},
     pages = {88--106},
     publisher = {Wolters-Noordhoff Publishing},
     volume = {20},
     year = {1968},
     mrnumber = {234812},
     zbl = {0155.02301},
     language = {en},
     url = {http://www.numdam.org/item/CM_1968__20__88_0/}
}
TY  - JOUR
AU  - Henkin, Leon
TI  - Relativization with respect to formulas and its use in proofs of independence
JO  - Compositio Mathematica
PY  - 1968
SP  - 88
EP  - 106
VL  - 20
PB  - Wolters-Noordhoff Publishing
UR  - http://www.numdam.org/item/CM_1968__20__88_0/
LA  - en
ID  - CM_1968__20__88_0
ER  - 
%0 Journal Article
%A Henkin, Leon
%T Relativization with respect to formulas and its use in proofs of independence
%J Compositio Mathematica
%D 1968
%P 88-106
%V 20
%I Wolters-Noordhoff Publishing
%U http://www.numdam.org/item/CM_1968__20__88_0/
%G en
%F CM_1968__20__88_0
Henkin, Leon. Relativization with respect to formulas and its use in proofs of independence. Compositio Mathematica, Tome 20 (1968), pp. 88-106. http://www.numdam.org/item/CM_1968__20__88_0/

A. Tabski, A. Mostowski and R. Robinson [A] Undecidable theories. North-Holland Publishing Company, 1953 (cf. especially pp. 24-25.) | MR | Zbl

K. Gödel [B] The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory. Princeton University Press, 1940. | Zbl

G. Birkhoff [C] Lattice theory. American Mathematical Society, 1948. | MR | Zbl