15/05/05 16:48:58.13 8svvg2D/.net
>>299 ここに戻る
"Theorem above that any automorphism that can be constructed in a finitely
generated extension of Q can be extended to C."
finitelyに限定された証明なので、" 6. Concluding remarks の
3. As the final comment I mention an additional bit of mathematical folklore.
In [1] it is claimed，without proof or reference to the proof，that the
cardinality of the set of automorphisms of C is 2^(2^ALFo*). I have heard this from other
sources and am convinced that it is true although I do not know where the proof may be found.">>285
なんだね
finitelyの限定を外すのが、けっこう大変なんだろうね