# Relativization with respect to formulas and its use in proofs of independence

Compositio Mathematica (1968)

- Volume: 20, page 88-106
- ISSN: 0010-437X

## Access Full Article

top## How to cite

topHenkin, Leon. "Relativization with respect to formulas and its use in proofs of independence." Compositio Mathematica 20 (1968): 88-106. <http://eudml.org/doc/88988>.

@article{Henkin1968,

author = {Henkin, Leon},

journal = {Compositio Mathematica},

keywords = {set theory},

language = {eng},

pages = {88-106},

publisher = {Wolters-Noordhoff Publishing},

title = {Relativization with respect to formulas and its use in proofs of independence},

url = {http://eudml.org/doc/88988},

volume = {20},

year = {1968},

}

TY - JOUR

AU - Henkin, Leon

TI - Relativization with respect to formulas and its use in proofs of independence

JO - Compositio Mathematica

PY - 1968

PB - Wolters-Noordhoff Publishing

VL - 20

SP - 88

EP - 106

LA - eng

KW - set theory

UR - http://eudml.org/doc/88988

ER -

## References

top- A. Tabski, A. Mostowski and R. Robinson [A] Undecidable theories. North-Holland Publishing Company, 1953 (cf. especially pp. 24-25.) Zbl0053.00401MR244048
- 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. Zbl0061.00902
- G. Birkhoff [C] Lattice theory. American Mathematical Society, 1948. Zbl0033.10103MR29876

## Citations in EuDML Documents

top## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.