Relativization with respect to formulas and its use in proofs of independence
Henkin, Leon
Compositio Mathematica, Tome 20 (1968), p. 88-106 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1968-01-01
@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},
     volume = {20},
     year = {1968},
     pages = {88-106},
     mrnumber = {234812},
     zbl = {0155.02301},
     language = {en},
     url = {http://dml.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://gdmltest.u-ga.fr/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 244048 | Zbl 0053.00401

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 0061.00902

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