Forking and Fundamental Order in Simple Theories
暂无分享,去创建一个
We give a characterisation of forking in the context of simple theories in terms of the fundamental order.
[1] Victor Harnik,et al. Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models , 1982, Journal of Symbolic Logic.