Tatsuya Goto
@goto_math
I am a JSPS researcher at TU Wien and study set theory of reals.
You might like
club shootingってどこに何をshootしているか分からなかったんですが、もしかして「あるclub setをclub filterにshootする」ということ、つまりshootって言っているけどaddのように付け加えるという意味にすぎないですか?
新しいノートを公開しました。 Strengthening the Assumption of Judah--Repický Preservation Theorem t-goto.jp/articles/judah…
proper forcingのcsiにおいて「極限順序数の長さのiterationの各始切片がω^ωのdominating real over Vを足さないなら、最終ステージもそうである」という定理の仮定をAxiom Aのcsiに強める代わりに証明を簡略化すること、一応うまくいったっぽい。といってもそこまで簡略化はされていない気がするが。
【当日のスケジュール】 当日のスケジュールを公開しています! 🔰は入門枠を、💻️はオンライン講演のマークです。 講演の詳細やアブストラクトは、第8回つどいのスケジュールページをご覧下さい! math-tsudoi.jp/8/schedule
「1時間で燃える蚊取り線香の両端から火を付ける作戦を組み合わせて計れる時間」というのは数学的になかなか面白くて、「任意の自然数nに対しある正の有理数εが存在して、n時間とn+ε時間は計れるけど、その間の時間は計れない」は成り立つけど、ペアノ算術では証明できない命題の例らしいですよ
「1時間で燃え尽きる蚊取り線香を使って45分を計れ、蚊取り線香は複数使用可」というクイズに知恵を絞るみなさん…1/4折るなどパワーで解決するのは不可 togetter.com/li/2595588.
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
United States Trends
- 1. Austin Reaves 58.9K posts
- 2. #LakeShow 3,396 posts
- 3. Trey Yesavage 39.9K posts
- 4. jungkook 550K posts
- 5. Jake LaRavia 7,219 posts
- 6. Jeremy Lin 1,062 posts
- 7. #LoveIsBlind 4,840 posts
- 8. Happy Birthday Kat N/A
- 9. jungwoo 123K posts
- 10. Blue Jays 63K posts
- 11. Rudy Gobert 1,513 posts
- 12. doyoung 88.5K posts
- 13. $KITKAT 10.4K posts
- 14. Kacie 1,959 posts
- 15. #Lakers 1,246 posts
- 16. #SellingSunset 4,061 posts
- 17. #PokemonTCGPocket 2,775 posts
- 18. Dodgers in 7 1,719 posts
- 19. Devin Booker 1,372 posts
- 20. Kenny Smith N/A
You might like
-
arXiv math.LO Logic
@mathLOb -
バファリヌス・テンシーツ
@Bufferinus -
Taichi Uemura
@t_uemura669101 -
Takehiko Gappo
@takehikogappo -
H. E.
@henomoto1025 -
H. Miyoshi (ALC 2025 is finished. Thank you)
@metaphusika -
Yukihiro ODA
@Yukihiro0036 -
Taishi Kurahashi (倉橋太志)
@Kurahashi16 -
K.Hirata
@Venriched -
Ikegami Daisuke
@DaiskeIkegami -
mosaico ioscinaga
@mosaico -
ナス
@ngaastue -
D1マン
@11029_8904 -
えすきす
@Esquisse1102 -
Hanul Jeon
@hanuljeon95
Something went wrong.
Something went wrong.