でぃぐのページ

プロフィール

ハンドルネーム: でぃぐ (fujidig)
某大学システム情報学研究科D3

発表スライド・資料

等式x(yz)=(xy)(xz)を満たす代数系 (2024年3月発表; 第5回すうがく徒のつどい)
N上の超フィルターの性質のイデアルによる特徴付け (2023年9月発表; 第4回すうがく徒のつどい@オンライン)
Cichoń’s maximumの証明 (2022年9月発表; Cichoń’s maximum祭り)
CPAおよび単位閉区間の上へ連続的に写せる実数の集合について (2022年5月発表; 第3回すうがく徒のつどい@オンライン)
Suslin木を壊しまくる話 (2021年9月発表; 第2回すうがく徒のつどい@オンライン)
Bartoszyńskiの定理add(null)≦add(meager)の証明 (2021年5月発表; 名古屋ロジック系学生自主ゼミ)
ハウスドルフ測度に関する基数不変量 (2021年3月発表; 数学基礎論若手の会)
分配数𝔥 ― ブール代数の分配法則と点列コンパクトの直積 (2021年2月発表; 名古屋ロジック系学生自主ゼミ)
点列コンパクト空間の直積，タワーおよび分割 (2021年1月発表; 名古屋ロジック系学生自主ゼミ)
ボルツァーノ・ワイエルシュトラスの定理から始める基数不変量 (2020年9月発表; 名古屋ロジック系学生自主ゼミ)
集合論のブール代数値モデルおよびハイティング代数値モデル (2020年8月発表; 都内数学科学生集合8月総会)
強制法および連続体仮説の独立性証明 (2020年1月発表; 筑波大学数学類卒業研究発表会)
任意の集合が全順序付けできるが素イデアル定理が成り立たないZFAのモデルの構成 (2019年12月発表; BPIオフ)
Lにおける実数の正則性 (2019年11月発表; 筑波大学ロジック系学生自主ゼミ)
HF上の∆1関係とrecursiveの同値性 (2019年11月発表; 内輪)
非可算個の駅にとまる列車 (2019年11月発表; 筑波大学数学の会)
組み合わせ数え上げとランダム写像の漸近解析 (2019年10月発表; 第12回関西すうがく徒のつどい)
ウルトラフィルターの空間 (2019年5月発表; 筑波大学ロジック系学生自主ゼミ)
短いループのできる確率 (2018年12月発表; 数物セミナー愛媛談話会)
無限ゲームで遊ぼう (2018年7月発表; 数つくば)
三角級数の一意性 (2017年10月発表; 数物セミナー愛媛談話会)
計算理論の初歩 (2017年9月発表; 内輪)
決定不能問題特にタイル貼り問題 (2016年9月発表; 愛大ゼミ講演会)
ガロア理論と正n角形の作図 (2016年7月発表; 愛大ゼミ講演会)

記事

安定的でないモデルの超冪のギャップの長さについて (2023/12/23)
Lにおける補解析的MAD族 (2023/12/20)
ShelahによるBoole代数の融合 (2023/12/12)
Ramseyの定理の応用 (2023/12/5)
えいちしーた⭐ (2023/12/3)
無限Hedetniemiの予想の反例 (Mathlog; 2023/3/11)
ランダム強制法はKnasterの性質を満たす (Mathlog; 2023/3/10)
可測基数ノート (2023/3/8)
超フィルター全体の集合の上のRudin-Keisler順序が全順序でないことの証明 (Mathlog; 2023/2/19)
共終数の初歩 (2023/2/1)
PTfg: non(meager)を上げる強制法 (2023/1/25)
Keisler-Shelahの定理の応用――あるいは、牛刀割鶏 (Mathlog; 2022/12/31)
nullイデアル上の閉包作用素で値域がBorel集合族に含まれるものの存在の独立性 (2022/12/10)
Shoenfield絶対性の応用としての∑^1_1 Lebesgue可測性 (2022/12/8)
ℵ₁ ≤ 𝔰とℵ₁ ≤ 𝔯の証明 (2022/12/4)
フィボナッチ数列の1項飛ばし数列の漸化式を作ろう～C-finite数列への誘い～ (Mathlog; 2021/7/4)
強いフビニの定理の独立性 (Mathlog; 2020/12/13)
F_2線形演算と算術和が絡む連立方程式が解を持つか判定する問題はNP完全 (2019/12/14)
記述集合論覚え書き (2019/12/13)
集合論の言語の有限構造がZFCの各公理を満たすか判定するプログラム (2019/12/9)
Davisのゲーム (2019/12/5)
メルセンヌツイスタの周期の最長性 (2017/12/9)
ミンコフスキーの定理と線形合同法の多次元疎結晶構造 (Marsagliaの定理) (2016/1/5)

動画

驚きの定理：平面の雲による被覆 (2023/2/26)
Lebesgue可測性と巨大基数その1 (2023/1/21)
【モデル理論】60年経て2021年に逆が証明された定理の話【集合論】 (2023/1/8)
完全集合定理 (2022/8/10)
単位閉区間の直積は何個まで点列コンパクトか？ (2022/8/6)
ゲーデルのLとコーエンの強制法 (2022/8/2)
club集合入門～院試過去問を題材に～ (2022/1/30)

ゼミ資料

Random and Cohen Reals ゼミ第1回 (2020/3/4)

演習問題解答

Moschovakis, Descriptive Set Theory

Exercises 1A (2/2)
Exercises 1B (6/6)
Exercises 1C (4/6)
Exercises 1E (5/5)
Exercises 1F (1/7)
Exercises 2A (2/2)
Exercises 2B (3/3)
Exercises 3B (4/4)
Exercises 3C (8/9)
Exercises 3D (7/15)
Exercises 6A (1/13)

Kunen, Set Theory

Exercises III.1

その他

ブログ

http://fujidig.hatenablog.com/

記事一覧: http://fujidig.hatenablog.com/archive

リンク

連絡先

e-mail: fuji.rosen [at] gmail.com