Relativization with respect to formulas and its use in proofs of independence
Compositio Mathematica, Tome 20 (1968), pp. 88-106
Cet article a éte moissonné depuis la source Numdam
@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},
year = {1968},
publisher = {Wolters-Noordhoff Publishing},
volume = {20},
mrnumber = {234812},
zbl = {0155.02301},
language = {en},
url = {http://geodesic.mathdoc.fr/item/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://geodesic.mathdoc.fr/item/CM_1968__20__88_0/