以前「余代数のグラフ表現について」という記事を書いた。 arxiv.hatenablog.com 最後の方に述べた注意で、例4に挙げたdivided power coalgebraはグラフ余代数（またはその剰余）として表すことが出来ない（知られていない）が、適切な重みを付けてやれば良…

MathPowerの会場がスパイラルホール(東京・青山)に変更されたらしいです。 www.spiral.co.jp こんな直近で変えられるものなのか（驚愕）参加者が増えたのだと思いましょう。 あと正多角形の作図は作図ソフトgeogebraを用いて行われるそうです。賢明な判断だ…

前回（1章と2章の前半まで）は以下の記事。 arxiv.hatenablog.com 今回は2章の残りと3章まで読んだ。時間が掛かった割りには進捗がよろしくない模様。 第II章 モデル理論と証明論（後半） 完全性定理の証明は地味で面倒だったが、この定理は然るべき定義をす…

キューネンの本を読む時間が増えてしまい（あとゲームのイベントとか）、ブログの更新が暫く滞ってしまっています。なんとかしなくては……。 数学の祭典、MATH POWER、今年はやらないのかなーと思ってたら普通に10月7日にやるみたいです。今年の耐久企画は正6…