Home セミナー 談話会 集中講義 研究集会 教員紹介 アクセス キャンパス

セミナー情報 　今週のセミナー 　来週以降のセミナー 　過去の記録 　2014年度の記録 　 2014年　4月28日（月）〜5月2日（金） 4月28日(月)  ■整数論セミナー　13:30--15:00【会場：合同A棟801(2)】 休み 4月29日(火)  ■幾何セミナー　15:00--16:30【会場：数学棟209】 祝日（昭和の日） 5月1日(木) ■応用数学セミナー　16:00--17:30【会場：合同A棟303】 休み 5月2日(金) ■ロジックセミナー16:00-- 【会場：合同棟1201】 講演者：村上 翔太 氏（東北大学大学院理学研究科） 題目： A generalization of weak Ramseyan factorization 【概要】 　In the recent study of reverse mathematics, the strength of (logically) weak statements, especially Ramsey's theorem for pairs (RT22), has been studied by many researchers. In a joint work with T. Yamazaki and K. Yokoyama, we found a theorem equivalent to RT22, which is called Ramseyan factorization theorem for pairs. We also proved that a weaker version of Ramseyan factorization theorem is in between CAC and ADS, both strictly weaker than RT22. In this talk, we introduce a natural generalization of weak Ramseyan factorization theorem and discuss it's strength.   東北大学　　/　　理学部・理学研究科　　/　　情報科学研究科　　/　　数学専攻研究資料室　　/　　お問合せ