>>15
超実数体の構造が一意なんてことをいっているのは何を考えていってるの?
って感じ。一意なら、ω_1-saturated のものを考えるなんてことが起こらない。