数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0269132人目の素数さん
2014/11/30(日) 14:49:24.66なぜなら体が決定不能なので、それに0とpを同一視する公理を加えたものも決定不能なる
だたし、実閉体のような決定可能な理論に標数を設定した場合は逐一確かめないとならない
実閉体に関しては標数をpとしても決定可能性を保てる
また、体に可換性の公理を加えても体が決定不能なのでやはり決定不能
つまり、課題2の解答はすべて決定不能
■ このスレッドは過去ログ倉庫に格納されています