MarriageTheoremのこと

_ プレプリント確認状況：arXiv:math 9月2日分まで、IACR ePrint 2012/556まで

_ 気になった論文１：Dependence and Independence (Erich Grädel, Jouko Väänänen, arXiv:1208.5268)

We introduce an atomic formula intuitively saying that given variables are independent from given other variables if a third set of variables is kept constant. We contrast this with dependence logic. We show that our independence atom gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence.

_ 気になった論文２：Open and solved problems in infinite combinatorics (Shimon Garti, Saharon Shelah, arXiv:1208.6091)

We list some open problems, concerning the polarized partition relation. We solve a couple of them by showing that for every singular cardinal $\mu$ one can force the strong polarized relation with respect to the pair $\mu^+,\mu$.