Tatsuya Goto
@goto_math
I am a JSPS researcher at TU Wien and study set theory of reals.
Potrebbero piacerti
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
sites.google.com/view/brendle60/ Brendle 60の講演タイトル・アブストラクトが公開されています！ (Conference bookletのところ) 楽しみです！
United States Tendenze
- 1. Texans 33.7K posts
- 2. World Series 101K posts
- 3. CJ Stroud 5,895 posts
- 4. Mariners 87.9K posts
- 5. Blue Jays 89.6K posts
- 6. Seattle 49.6K posts
- 7. George Springer 42.2K posts
- 8. Seahawks 30.8K posts
- 9. Nick Caley 1,872 posts
- 10. #WWERaw 57.6K posts
- 11. Dan Wilson 4,011 posts
- 12. Baker 36.9K posts
- 13. Kenneth Walker 2,265 posts
- 14. White House 293K posts
- 15. Munoz 10.2K posts
- 16. Bazardo 2,940 posts
- 17. LA Knight 7,420 posts
- 18. Nico Collins 1,930 posts
- 19. Kendrick 16.4K posts
- 20. Sam Darnold 3,849 posts
Potrebbero piacerti
-
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 -
なかけん
@Nakakengch -
ナス
@ngaastue -
D1マン
@11029_8904 -
えすきす
@Esquisse1102
Something went wrong.
Something went wrong.