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

Leon Henkin

Compositio Mathematica (1968)

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

How to cite

top

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

NotesEmbed ?

top

You must be logged in to post comments.

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

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.