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…
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 الاتجاهات
- 1. Dodgers 759K posts
- 2. World Series 402K posts
- 3. World Series 402K posts
- 4. Blue Jays 155K posts
- 5. Yamamoto 237K posts
- 6. Will Smith 53.2K posts
- 7. jungkook 342K posts
- 8. Miguel Rojas 45.9K posts
- 9. Yankees 16.5K posts
- 10. #Worlds2025 37.8K posts
- 11. Kershaw 39.3K posts
- 12. Carlos Manzo 311K posts
- 13. Nigeria 761K posts
- 14. Baseball 173K posts
- 15. Kendrick 19K posts
- 16. Vladdy 23.3K posts
- 17. #T1WIN 12.5K posts
- 18. Dave Roberts 15.2K posts
- 19. Ohtani 93.3K posts
- 20. Mets 11.9K posts
قد يعجبك
-
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.