goto_math's profile picture. I am a JSPS researcher at TU Wien and study set theory of reals.

Tatsuya Goto

@goto_math

I am a JSPS researcher at TU Wien and study set theory of reals.

club shootingってどこに何をshootしているか分からなかったんですが、もしかして「あるclub setをclub filterにshootする」ということ、つまりshootって言っているけどaddのように付け加えるという意味にすぎないですか?


新しいノートを公開しました。 Strengthening the Assumption of Judah--Repický Preservation Theorem t-goto.jp/articles/judah…

goto_math's tweet image. 新しいノートを公開しました。
Strengthening the Assumption of Judah--Repický Preservation Theorem
t-goto.jp/articles/judah…

proper forcingのcsiにおいて「極限順序数の長さのiterationの各始切片がω^ωのdominating real over Vを足さないなら、最終ステージもそうである」という定理の仮定をAxiom Aのcsiに強める代わりに証明を簡略化すること、一応うまくいったっぽい。といってもそこまで簡略化はされていない気がするが。


Repost di Tatsuya Goto

【当日のスケジュール】 当日のスケジュールを公開しています! 🔰は入門枠を、💻️はオンライン講演のマークです。 講演の詳細やアブストラクトは、第8回つどいのスケジュールページをご覧下さい! math-tsudoi.jp/8/schedule

tsudoionline's tweet image. 【当日のスケジュール】
当日のスケジュールを公開しています!
🔰は入門枠を、💻️はオンライン講演のマークです。

講演の詳細やアブストラクトは、第8回つどいのスケジュールページをご覧下さい!
math-tsudoi.jp/8/schedule

数学セミナー11月号圏論特集、若い人たちがめっちゃ記事書いててすごい


もけちまる


Repost di Tatsuya Goto

2025年度日本数学会賞建部賢弘賞 mathsoc.jp/publicity/take… おっ


(ホモトピー型理論|直観主義論理)は正しい数学って何? ZFCも正しい数学なんですけど!


マジ? > RT


Repost di Tatsuya Goto

「1時間で燃える蚊取り線香の両端から火を付ける作戦を組み合わせて計れる時間」というのは数学的になかなか面白くて、「任意の自然数nに対しある正の有理数εが存在して、n時間とn+ε時間は計れるけど、その間の時間は計れない」は成り立つけど、ペアノ算術では証明できない命題の例らしいですよ

「1時間で燃え尽きる蚊取り線香を使って45分を計れ、蚊取り線香は複数使用可」というクイズに知恵を絞るみなさん…1/4折るなどパワーで解決するのは不可 togetter.com/li/2595588.



Repost di Tatsuya Goto

Yushiro Aoki: Uniformization of ladder system colorings and stationary preca... arxiv.org/abs/2508.18900 arxiv.org/pdf/2508.18900 arxiv.org/html/2508.18900


科研費審査区分の数学基礎分野と応用数学・統計数学を併合する改正案に抗議するパブコメを送りました。


sites.google.com/view/brendle60/ Brendle 60の講演タイトル・アブストラクトが公開されています! (Conference bookletのところ) 楽しみです!


Loading...

Something went wrong.


Something went wrong.