Constructive models of N1-categorical theories
暂无分享，去创建一个
An example of an N1-categorical, but not N0-categorical, theory, for which only a prime model is constructible, is constructed.
[1] John T. Baldwin,et al. On strongly minimal sets , 1971, Journal of Symbolic Logic.
[2] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .