数学基礎論若手の会 2021

数学基礎論若手の会 2021 は終了いたしました.たくさんの方のご参加,どうもありがとうございました.

今年度は昨年度と同様に新型コロナウィルスの影響によりオンライン開催となります.

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

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

開催方法


参加申し込み

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

プログラム

スケジュール,アブストラクト集(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 の同型定理について
鈴木 悠大逆数学と超フィルター
大川 裕矢解釈可能性論理 IL の部分論理に対する不動点定理について
安田 泰智The computation of HODL(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 の定理
上田 拓海型付き λ 計算の理論と Gödel の T
津久浦 健太Ideals and generic large cardinals

リンク

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