法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 带有无限量词的一元谓词逻辑模型理论。 (英语) Zbl 07541620号 拱门。数学。逻辑 61,编号3-4,465-502(2022).MSC公司:03C80号 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{F.Carreiro}等人,Arch。数学。逻辑61,编号3--4,465--502(2022;Zbl 07541620) 全文: 内政部 arXiv公司
乔瓦娜·达戈斯蒂诺 \(\mu\)-插值级别。 (英语) Zbl 1429.03080号 Odintsov,Sergei(编辑),Larisa Maksimova关于蕴涵、插值和可定义性。查姆:斯普林格。Outst公司。控制日志。15, 155-170 (2018).MSC公司:03B45号 03C40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.D'agostino},出局。控制日志。15、155-170(2018年;Zbl 1429.03080) 全文: 内政部
盖尔·方丹;维尼马,伊德 模态演算的一些模型理论:语义属性的句法表征。 (英语) 兹比尔1459.03022 日志。计算方法。科学。 14,第1号,第14号论文,51页(2018年).MSC公司:03B45号 03B70号 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fontaine}和\textit{Y.Venema},日志。计算方法。科学。14,第1号,第14号论文,51页(2018;Zbl 1459.03022) 全文: 内政部 arXiv公司