• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2009 Fiscal Year Annual Research Report

アレフ1上の組合せ的命題の独立性と強制法理論

Research Project

Project/Area Number 19740048
Research InstitutionShizuoka University

Principal Investigator

依岡 輝幸  Shizuoka University, 理学部, 准教授 (60432192)

Keywords公理的集合論 / 強制法
Research Abstract

当該年度は、BaloghのDowker spaceの構成法を研究し、Dowker spaceに関する未解決問題に取り組んだ。また、ladder systemの色づけを一意化する強制法と、研究代表者が導入した強制法に関するrectangle refining propertyの関係を調べ、Martin's Axiomのfragmentsに関する研究を行った。それにより完成させた論文"Uniformizing Ladder system colorings and the rectangle refining property"は、Proceedings of the American Mathematical Societyに掲載が決定された。
当該年度は、ウィーン(オーストリア)で二週間行われた集合論の国際会議ESI workshop on □large, cardinals and descriptive set theoryに招待され、講演を行った。そこで石宇哲也氏などと研究打ち合わせを行い、Suslin treesの積に関する研究を行った。それらの成果などを、2009年度日本数学会秋季総合分科会において発表した。

  • Research Products

    (2 results)

All 2010 2009

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (1 results)

  • [Journal Article] A non-implication between fragments of Martin's Axiom related to some property which comes from Aronszain trees2010

    • Author(s)
      Teruyuki Yorioka
    • Journal Title

      Annals of Pure and Applied Logic 161

      Pages: 469-487

    • Peer Reviewed
  • [Presentation] CCC without random reals2009

    • Author(s)
      Teruyuki Yorioka
    • Organizer
      ESI workshop on □large cardinals and descriptive set theory
    • Place of Presentation
      The Erwin Schr6dinger International Institute for Mathematical Physics
    • Year and Date
      2009-06-18

URL: 

Published: 2011-06-16   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi