U. Abraham, Proper forcing In Handbook of set theory, pp.333-394, 2010.

J. E. Baumgartner, Applications of the proper forcing axiom In Handbook of set-theoretic topology, pp.913-959, 1984.

A. E. Caicedo and B. Veli?kovi´veli?kovi´c, The bounded proper forcing axiom and well orderings of the reals, Mathematical Research Letters, vol.13, issue.3, pp.393-408, 2006.
DOI : 10.4310/MRL.2006.v13.n3.a5

P. Cohen, THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS, Proceedings of the National Academy of Sciences, vol.50, issue.6, pp.1143-1148, 1963.
DOI : 10.1073/pnas.50.6.1143

K. J. Devlin and S. Shelah, A weak version of ??? which follows from 2??? 0<2??? 1, Israel Journal of Mathematics, vol.28, issue.2-3, pp.239-247, 1978.
DOI : 10.1007/BF02762012

M. Foreman, M. Magidor, and S. Shelah, Martin's Maximum, Saturated Ideals, and Non-Regular Ultrafilters. Part I, The Annals of Mathematics, vol.127, issue.1, pp.1-47, 1988.
DOI : 10.2307/1971415

T. Jech, Set theory The third millennium edition, 2003.

T. J. Jech, Some combinatorial problems concerning uncountable cardinals, Annals of Mathematical Logic, vol.5, issue.3, pp.165-19873, 1972.
DOI : 10.1016/0003-4843(73)90014-4

R. B. Jensen, The fine structure of the constructible hierarchy, Annals of Mathematical Logic, vol.4, issue.3, pp.229-308, 1972.
DOI : 10.1016/0003-4843(72)90001-0

A. Kanamori, The higher infinite Large cardinals in set theory from their beginnings, 2009.

B. König, Abstract, The Journal of Symbolic Logic, vol.43, issue.01, pp.349-360, 2007.
DOI : 10.2178/jsl/1174668399

K. Kunen, Set theory, volume 102 of Studies in Logic and the Foundations of Mathematics, 1980.

R. Laver, Making the supercompactness of ?? indestructible under ??-directed closed forcing, Israel Journal of Mathematics, vol.41, issue.4, pp.385-388, 1978.
DOI : 10.1007/BF02761175

A. Lévy and R. M. Solovay, Measurable cardinals and the continuum hypothesis, Israel Journal of Mathematics, vol.10, issue.4, pp.234-248, 1967.
DOI : 10.1007/BF02771612

M. Magidor, Combinatorial characterization of supercompact cardinals, Proceedings of the American Mathematical Society, vol.42, issue.1, pp.279-285, 1974.
DOI : 10.1090/S0002-9939-1974-0327518-9

D. A. Martin and R. M. Solovay, Internal cohen extensions, Annals of Mathematical Logic, vol.2, issue.2, pp.143-178, 1970.
DOI : 10.1016/0003-4843(70)90009-4
URL : http://doi.org/10.1016/0003-4843(70)90009-4

J. T. Moore, SET MAPPING REFLECTION, Journal of Mathematical Logic, vol.05, issue.01, pp.87-97, 2005.
DOI : 10.1142/S0219061305000407

J. T. Moore, A five element basis for the uncountable linear orders, Annals of Mathematics, vol.163, issue.2, pp.669-688, 2006.
DOI : 10.4007/annals.2006.163.669

E. Schimmerling, Combinatorial principles in the core model for one Woodin cardinal, Annals of Pure and Applied Logic, vol.74, issue.2, pp.153-201, 1995.
DOI : 10.1016/0168-0072(94)00036-3

A. Sharon, M RP and square principles

S. Shelah, Proper forcing, Lecture Notes in Mathematics, vol.940, 1982.

J. Silvervancouver and B. C. , On the singular cardinals problem, Proceedings of the International Congress of Mathematicians, pp.265-268, 1974.

M. Viale, Forcing Axioms, Supercompact Cardinals, Singular Cardinal Combinatorics, Bulletin of Symbolic Logic, vol.56, issue.01, pp.99-113, 2008.
DOI : 10.1016/0003-4843(70)90012-4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.2306

M. Viale and C. Weiß, On the consistency strength of the proper forcing axiom, Advances in Mathematics, vol.228, issue.5, pp.2672-2687, 2011.
DOI : 10.1016/j.aim.2011.07.016

C. Weiß, The combinatorial essence of supercompactness. submitted to Annals of Pure and Applied Logic

C. Weiß, Subtle and ineffable tree properties, 2010.