Tatsuya Goto
@goto_math
I am a JSPS researcher at TU Wien and study set theory of reals.
Вам может понравиться
ChatGPTに手伝ってもらって、LaTeX+amsthmにおいて ・thmの証明内のclaimにはthmの番号由来の番号が付くように ・claimの証明終了マークはthmの終了マークと違うものにする という機能を実装することに成功した。
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
United States Тренды
- 1. Clay Higgins 27.1K posts
- 2. Grisham 4,820 posts
- 3. Scotland 95K posts
- 4. Peggy 7,926 posts
- 5. Saudi 269K posts
- 6. Cashman 1,354 posts
- 7. Dominguez 3,239 posts
- 8. Bellinger 2,824 posts
- 9. Switch 2 26.7K posts
- 10. Nicki 137K posts
- 11. Dearborn 66.3K posts
- 12. Mary Bruce 7,560 posts
- 13. Gemini 3 55.1K posts
- 14. Khashoggi 62.3K posts
- 15. #UNBarbie 18K posts
- 16. Kyle Teel N/A
- 17. Jeffrey Epstein 343K posts
- 18. Shota 10.6K posts
- 19. Tierney 16.7K posts
- 20. The House 561K 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.