摘要
我们将半隔离作为完全型轨迹上的二元关系进行研究，并证明了在一些额外的假设下，它诱导了严格序性质。
引用
下载引文
谢尔盖·苏多普拉托夫。
Predrag Tanović。
“半隔离和严格顺序属性。”
圣母院J.形式逻辑
56
(4)
555 - 572,
2015
https://doi.org/10.1215/00294527-3153579
问询处
收到日期：2012年11月12日;接受日期：2013年8月27日;发布日期：2015年
首次在欧几里德项目中提供：2015年9月30日
数字对象标识符：10.1215/00294527-3153579
受试者：
主要用户：03C15号
次要：03C45号机组
关键词：非隔离型,强力型,半隔离,小理论
版权所有©2015圣母大学
