研究者詳細

<< 業績一覧に戻る

研究助成

分割表示   全件表示 >>

8 件中 1 - 8 件目

年度 Year	助成名称または科学研究費補助金研究種目名 Name of grant or research classification for scientific research funding		研究題目 Research Title
	役割（代表/非代表） Role	助成団体 Granting body	助成金額 Grant amount
2023	From omega to Omega		Forcing a simplified morass by two-sorted finite conditions
		Institute for Mathematical Sciences, National University of Singapore
	研究内容（Research Content）
	備考（Remarks） 滞在費補助
2019	Methods in Higher Forcing Axioms		Methods in Higher Forcing Axioms
		The London Mathematical Society and the School of Mathematics at the University of East Anglia
	研究内容（Research Content） We study methods in higher forcing axioms.
	備考（Remarks）
2015	Mathematical, Foundational and Computational Aspects of the Higher Infinite		Independence Results in Mathematics and Challenges in Iterated Forcing
	招待研究者	Isaac Newton Institute for Mathmatical Sciences
	研究内容（Research Content）
	備考（Remarks）
2012	京都大学数理解析研究所　共同利用研究　RIMS 研究集会		強制法による拡大と巨大基数
	代表	京都大学数理解析研究所
	研究内容（Research Content） RIMS 研究集会で、強制法による拡大と巨大基数に関連した分野の共同研究集会を開催する。
	備考（Remarks）
2012	July-December 2012 Sematic Program on Forcing and its Applications		Workshop on Iterated Forcing and Large Cardinals, A study of iterating semiproper forcing
		The Field Institute for Reseach in Mathematical Sciences
	研究内容（Research Content） Workshop チュトリアル　連続講義　において、semiproper iteration の説明を行う。
	備考（Remarks）
2005	Computational prospects of infinity, NUS		A view of a semiproper iterated forcing which adds reals only at limit stages
		Institute for Mathematical Sciences, NUS
	研究内容（Research Content）
	備考（Remarks） Invited speaker
2002	Mengenlehre		Iteratively Forcing with α-semiproper preorders
		Mathematisches Forschungsinstitut Oberwolfach, ド
	研究内容（Research Content）
	備考（Remarks） 招聘
2001	科学研究費補助金		公理的集合論の無限組合せ論への応用
		日本学術振興会
	研究内容（Research Content） 研究助成
	備考（Remarks） 研究分担

Page: [<<PREV] [1] [NEXT>>]

<< 業績一覧に戻る

△このページの先頭へ

Copyright(C) 2010 Software Research Associates, Inc. All Rights Reserved.