13/12/05 22:42:17.53
>>346
Nat(x)は、xの前者yで、yもNatであるようなものが必ず存在する、
ということしか言っていませんから、
これでは順序型としてω＋Z・Q
みたいな、ωの後にZと順序同型のブロックがずっと続くような構造を排除できていませんし、
実際超準モデルは順序集合としてはそういう構造になります。
URLﾘﾝｸ(www.math.uchicago.edu)
13/12/05 22:42:17.53
>>346
Nat(x)は、xの前者yで、yもNatであるようなものが必ず存在する、
ということしか言っていませんから、
これでは順序型としてω＋Z・Q
みたいな、ωの後にZと順序同型のブロックがずっと続くような構造を排除できていませんし、
実際超準モデルは順序集合としてはそういう構造になります。
URLﾘﾝｸ(www.math.uchicago.edu)