排序方式： 共有1条查询结果，搜索用时 15 毫秒
1
1.
Tapani Hyttinen 《Mathematical Logic Quarterly》1996,42(1):421-432
Let Δ be a set of formulas. In this paper we study the following question: under what assumptions on Δ, the concept “a complete Δ-type p over B does not fork over A ? B” behaves well. We apply the results to the structure theory of ω1-saturated models. Mathematics Subject Classification: 03C45. 相似文献
1