The hanf number for complete sentences
暂无分享，去创建一个
[1] Erwin Engeler,et al. Languages with expressions of infinite length , 1966 .
[2] E. López-Escobar. On defining well-orderings , 1966 .
[3] R. Vaught,et al. Homogeneous Universal Models , 1962 .
暂无分享，去创建一个
[1] Erwin Engeler,et al. Languages with expressions of infinite length , 1966 .
[2] E. López-Escobar. On defining well-orderings , 1966 .
[3] R. Vaught,et al. Homogeneous Universal Models , 1962 .