• Home
  • About
  • Notes

2019.12

2019.12.12 16:00
数学基礎論若手の会2019発表スライド
数学基礎論若手の会2019@愛知県青年の家にて発表したスライドです。前半はタイトルそのままSilver-Solovayの問題とPrikry強制について話しました。後半はRowbottomの定理に頼らない「令和」のPrikry強制のお話です。来年はスライドに絵を載せて視覚的にも分かりやすいスライドにしたいなぁと思います。
2019.12.10 01:41
Martin's Maximumの無矛盾性証明
この記事はMathematical Logic Advent Calendar 2019の10日目の記事です。

数学の本質は自由にあり

サイト内が充実したものになるかは分からないし、運用方針についても未定です。

Copyright © 2025 数学の本質は自由にあり.

Powered byAmebaOwnd無料でホームページをつくろう