数学基礎論若手の会 2021

数学基礎論若手の会について

数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です．
講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております．
また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．
多くの方々のご参加およびご講演をお待ちしています．

---

開催方法

• Zoom によるオンライン開催です．
• Zoom の URL 等については参加登録者に対して追ってご連絡いたします．
• 講演者には zoom 上でのスライド共有による講演をお願いすることになります．
• 期間中には懇親会として zoom のブレイクアウトルームを用いた交流時間を設ける予定です．

---

参加申し込み

参加申し込みは下記のフォームからお願いします．

• 参加申し込みフォーム
• 参加申し込み締め切り：2021年11月19日（金）
• 講演希望の方は，2021年11月19日（金）までに
  • 講演タイトル
  • アブストラクト
  を，件名を「fmyg2021」としたうえで世話人までメールでお送りください．

---

プログラム

スケジュール，アブストラクト集（pdf） （12月1日版）

12月3日（金）

本田 真之	ジェネトポの逆数学
渡部 耀介	量子論理と量子集合論
益岡 幸弘	循環証明体系におけるカット除去性と帰納的述語記号の Arity
Leonardo Pacheco	Modal Semantics for Epistemic Logic
青木 悠史郎	$C(X)$ 上の準同型の自動的連続性
五十里 大将	形式体系内での連続性表現
樋口 幸治郎	自然拡張—解析基礎論的な研究—
合浦 岳彦	Complexity of set-theoretic universes
渕野 昌	有限と無限の硲 (はざま) にて

12月4日（土）

原 健三	自己定義的な述語論理の定義と再帰的な証明のダイナミズム
西村 祐輝	Internalized Tableau Calculus of Hybrid Product Logic
後藤 達哉	濃度がアレフ1の構造に対する Keisler の同型定理について
鈴木 悠大	逆数学と超フィルター
大川 裕矢	解釈可能性論理 $\mathbf{IL}$ の部分論理に対する不動点定理について
安田 泰智	The computation of ${\mathrm{HOD}}^{L(\mathbb{R})}$
南 芳明	算術の超準モデルの cofinal extension について
間庭 彬仁	A modality for iteration
小峰 航	Discrete Pigeonhole Principle と Pseudo-o-minimality
山本 健太郎	有限 Heyting 代数の Fraïssé 極限の自己同型群

12月5日（日）

石原 豪人	CA-concept の紹介
市川 航士郎	証明論と論理的複雑性
葛西 陽介	Product normality and Dowker spaces
湯山 孝雄	群の語の問題と Muller--Schupp の定理
上田 拓海	型付き $\lambda$ 計算の理論と Gödel の T
津久浦 健太	Ideals and generic large cardinals

---

リンク

日本数学会　数学基礎論若手の会のページ