阿弥陀佛·班纳吉;穆罕默德·哈立德 在相对化语义上没有等式的一阶逻辑。 (英语) Zbl 1453.03072号 Ann.纯粹应用。逻辑 169,第11期,1227-1242(2018).MSC公司:03G25号 03G15年 03B45号 03C95号 PDF格式BibTeX公司 XML格式引用 \textit{A.Banerjee}和\textit{M.Khaled},Ann.Pure Appl。逻辑169,No.11227--1242(2018;Zbl 1453.03072) 全文: 内政部 arXiv公司 链接
保罗·波吉特 算法随机序列和布朗运动。 (英语) 兹比尔1453.03043 Ann.纯粹应用。逻辑 169,第11号,1210-1226(2018).MSC公司:03天32分 68问题30 42A20个 第42页第38页 60J65型 PDF格式BibTeX公司 XML格式引用 \textit{P.Potgieter},Ann.纯苹果。逻辑169,No.111210--1226(2018;Zbl 1453.03043) 全文: 内政部 arXiv公司
A.Alibek。;拜扎诺夫,B.S。;库尔普肖夫,B.Sh。;赞巴纳亚,T.S。 凸秩为1的弱o-极小理论的Vaught猜想。 (英语) Zbl 1412.03017号 Ann.纯粹应用。逻辑 169,第11期,1190-1209(2018). 审核人:阿图尔·皮·科什(克拉科夫) MSC公司:03C64号 03C15号 03C07号机组 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{A.Alibek}等人,Ann.Pure Appl。逻辑169,No.11190--1209(2018;Zbl 1412.03017) 全文: 内政部
史蒂文·吉万特;哈伊纳尔·安德雷卡 可测关系代数的一个表示定理。 (英语) Zbl 1453.03071号 Ann.纯粹应用。逻辑 第11号第169页,第1117-1189页(2018).MSC公司:03G15年 20甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Givant}和\textit{H.Andréka},Ann.Pure Appl。逻辑169,No.11,1117--1189(2018;Zbl 1453.03071) 全文: 内政部 arXiv公司 链接