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

Application of the Axiomatic Set Theory to the Infinitary Combinatorics

Research Project

Project/Area Number 12640098
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionChubu University (2001)
Kitami Institute of Technology (2000)

Principal Investigator

FUCHINO Sakae  Chubu University, Dept.of Engineering, Professor, 工学部, 教授 (30292098)

Co-Investigator(Kenkyū-buntansha) MIYAMOTO Tadatoshi  Nanzan Univ., Dept.of MS and IT, Ass.Prof., 情報管理学科, 助教授 (70229889)
BRENDLE Jorg  Kobe Univ., Grad.School for Sci.and Tech., Ass.Prof., 自然科学研究科, 助教授 (70301851)
TITANI Satoko  Chubu University, Dept.of Engineering, Professor, 工学部, 教授 (90207283)
塩谷 真弘  筑波大学, 数学系, 講師 (30251028)
嘉田 勝  北見工業大学, 工学部, 助手 (00312447)
Project Period (FY) 2000 – 2001
Project Status Completed (Fiscal Year 2001)
Budget Amount *help
¥2,200,000 (Direct Cost: ¥2,200,000)
Fiscal Year 2001: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 2000: ¥1,100,000 (Direct Cost: ¥1,100,000)
Keywordsweak Freeese-Nation property / SEP / ideal property / Cohen model / random model / real-valued measurability / club principle / cardinal invariants / maximal almost disjoint family / Heckler real / Blumberg's theorem / OCA / club principle / 強制法 / Solovay model / random実数 / 測度代数 / 可測基数 / 実数値可測基数
Research Abstract

The main subjects of this research project were:
(1)study of the principle asserting that P(ω) has the weak Freese-Nation property (WFN), and its variations;
(2)study of the models of set theory where the continuum has some large cardinal property like real-valued measurability (RVM) or its categorical dual;
(3)other set-theoretic or combinatoric subjects including problems from the set-theory of reals.
Concerning (1), Fuchino and Stefan. Geschke could obtain some fundamental results conserning the property SEP which is a weakening of WFN of P(ω) introduced by I.Juhasz and K.Kunen. Building on a recent result by S.Shelah, Fuchino could reconstruct a theorem by Juhasz, Soukup, Szentmiklossy on the principle C^s(κ) and showed the connections of this principle with variations of WFN of P(ω).
For (2), Puchino and S.Shelah gave a positive answer to a question by David Fremlin whether there is a model of RVM which is different from Solovey's standard model of RVM by some "mathematical" property. The model found Fuchino and Shelah satisfies the club principle for some cardinal -κ, which is not the case for the standard model by Solovey.
Concerning (3), Fuchino together with Stefan Geschke and Lajos Soukup studied some new type of cardinal invariants connected with almost disjoint family of subsets of ω and could obtain some consistency results on these cardinal invariants.

Report

(3 results)
  • 2001 Annual Research Report   Final Research Report Summary
  • 2000 Annual Research Report
  • Research Products

    (29 results)

All Other

All Publications (29 results)

  • [Publications] Jorg Brendle: "Cardinal invariants of the continuum-a survey"数理解析研究所講究録. 1202. 7-32 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Fuchino, S.Geschke, L.Soukup: "On the weak Freese-Nation property of P(ω)"Archive for Mathematical Logic. 40. 425-435 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Fuchino, S.Geschke, S.Shelah, L.Soukup: "On the weak Freese-Nation property of complete Boolean algebras"Annals of Pure and Applied Logic. 110. 89-105 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] 渕野 昌: "加法的関数の連続性について"中部大学工学部紀要. 37. 55-64 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Tadatoshi Miyamoto: "Adding No Random Reals and Semiproper Iterations"General Topology Symposium報告集. 106-109 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Masahiro Shioya: "Generating the club filter on P_κλ"Topology and Its Applications. to appear.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Jorg Brendle, W.Just, C.Laflamme: "On the refinement and countable refinement numbers"Questions and Answers in General Topology. 18. 123-128 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Jorg Brendle: "A new method for iterating σ-centered forcing"Kokyuroku of Research Institute of Mathematical Sciences (Kyoto University). 1143. 1-7 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Jorg Brendel: "Cardinal invariants of the continuum -a Survey"Kokyuroku of Research Institute of Mathematical Sciences (Kyoto University). 1202. 7-32 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Fuchino, S.Geschke, L.Soukup: "on the weak Freese-Nation property of P(ω)"Archive for Mathematical Logic. 40. 425-435 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] S.Fuchino, S.Geschke, S.selah, L.soukup: "On the weak Freese-Nation property of complete Boolean algebras"Annals of Pure and Applied Logic. 110. 89-105 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Sakae Fuchino: "On continuity of additive functions"Memoirs of College of Engineering (Chubu University). 37. 55-64 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Masaru Kada: "More on Cichon's diagram and infinite games"Journal of Symbolic Logic. 65. 1713-1724 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Tadatoshi Miyamoto: "On the Notion of Forcing for The complete Boundingness"Academia (Nanzan University (Math.Sciences and Information Engineering)). 1. 69-81 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Tadatoshi Miyamoto: "Adding No Random Reals and Semiproper Iterations"Proceeding of Topology Symposium (Nanzan University). 106-109 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] Masahiro Shioya: "Generating the club filter on P_κλ"Topology and Its Applications. (to appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2001 Final Research Report Summary
  • [Publications] J.Brendle: "Cardinal invariants of the continuum -a survey"京都大学数理解析研究所講究録. 1202. 7-32 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] J.Brendle: "Evasion and prediction III -constant prediction and dominating reals"Journal of the Mathematical Society of Japan. (to appear). (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] S.Fuchino, S.Geschke, L.Soukup: "On the weak Freese-Nation property of P(ω)"Archive for Mathematical Logic. 40. 425-435 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] S.Fuchino, S.Geschke, S.Shelah, L.Soukup: "On the weak Freese-Nation property of complete Boolean algebras"Annals of Pure and Applied Logic. 110. 89-105 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] S.Fuchino: "On real-valued measurability"京都大学数理解析研究所講究録. 1202. 38-60 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] T.Miyamoto: "On the Notion of Forcing for The complete Boundingness"南山大学アカデミア,数理情報編. 1. 69-81 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Jorg Brendle: "Martin's axiom and the dual distributivity number"Mathematical Logic Quarterly. 46. 241-248 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 渕野昌: "generic realsの無理数度について"Proceeding of General Topology Symposium at Nanzan University. 54-57 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] Sakae Fuchino,Stefan Geschke,Lajos Soukup and Saharon Shelah: "On the weak Freese-Nation property of complete Boolean algebras"Annals of Pure and Applied Logic. (in press). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] Sakae Fuchino and Saharon Shelah: "Models of real-valued measurablility"数理解析研究所講究録. (to appear). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] Masaru Kada: "Block branching Miller forcing and covering numbers for prediction"Topology and its Applications. (to appear).

    • Related Report
      2000 Annual Research Report
  • [Publications] Masahiro Shioya: "Generating the club filter on P_κλ"Topology and Its Applications. (to appear).

    • Related Report
      2000 Annual Research Report
  • [Publications] 渕野昌 他(共同執筆): "20世紀の予想,現代数学の軌跡"日本評論社. i-iv,1-235 (2000)

    • Related Report
      2000 Annual Research Report

URL: 

Published: 2000-04-01   Modified: 2021-04-07  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi