独立性(概率论)
财产(哲学)
数学
离散数学
组合数学
认识论
统计
哲学
标识
DOI:10.1142/s0219061321500252
摘要
We consider existentially closed fields with several orderings, valuations, and [Formula: see text]-valuations. We show that these structures are NTP 2 of finite burden, but usually have the independence property. Moreover, forking agrees with dividing, and forking can be characterized in terms of forking in ACVF, RCF, and [Formula: see text]CF.
科研通智能强力驱动
Strongly Powered by AbleSci AI