2022-09-25 ブルバキ多様体の定式化の一般化. 日記 ここ 5 年くらい取り組んでいた, ブルバキ多様体の定式化の一般化が終了しました. スカラー体 K が離散でない可換付値体の場合, そして, 1 ≦ r ≦ ω に対する C^r 級の場合についての精密な定式化です. research gate に掲載している pdf で, スキャナーで読み込んだやつは, 定式化の一般化の前の古いファイルですが, 時期を見てスキャナーで新しいものを読み込んで, up したいと思います. (新しいとは言っても, 補足説明を書き加えただけですが.)