×

找到663个文档(结果1-100)

亚稳定收敛和逻辑紧性。 (英语) Zbl 07787393号

Iovino,José(编辑),超越一阶模型理论。第二卷。佛罗里达州博卡拉顿:CRC出版社。3-41 (2023).
PDF格式BibTeX公司 XML格式引用

\模型理论家的(C_p)理论。 (英语) Zbl 07787392号

JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。177-214 (2023).
PDF格式BibTeX公司 XML格式引用

Lf群,aec融合,少数自同构。 (英语) Zbl 07787389号

JoséIovino(编辑),《超越一阶模型理论》。第二卷。佛罗里达州博卡拉顿:CRC出版社。141-173 (2023).
PDF格式BibTeX公司 XML格式引用

超越一阶模型理论。第二卷。 (英语) Zbl 1523.03002号

佛罗里达州博卡拉顿:CRC出版社(ISBN 978-0-367-20826-4/hbk;978-0-367-20836-3/套;978-0-429-26363-7/电子书)。xix,第306页。(2023).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可计算性。随机性、逆向数学和超可计算性。(Calculabilité.Aléatoire,mathematiquesárebours et hypercalculabiliteé) (法语) Zbl 1516.03001号

黑Tableau107.巴黎:Calvage et Mounet(ISBN 978-2-916352-96-1/hbk)。第二十二、828页。(2022).
PDF格式BibTeX公司 XML格式引用

有限富签名的谓词计算之间的虚拟代数同构。 (英语。俄文原件) Zbl 1515.03166号

代数逻辑 60,编号6,389-406(2022); 《代数逻辑学》60,第6期,587-611(2021)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数学逻辑。第三版。 (英语) Zbl 07356209号

数学研究生课程291.查姆:施普林格出版社(ISBN 978-3-030-73838-9/hbk;978-3-0.30-73841-9/pbk;978-10-73839-6/ebook)。ix,304页。(2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

延伸和可解释性。 (英语) Zbl 1490.03019号

Mojtahedi、Mojtaba(编辑)等人,《数学、逻辑及其哲学》。纪念穆罕默德·阿尔德斯希尔的文章。查姆:斯普林格。日志。认识论。统一科学。49, 53-92 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

计算机支持的类模型分类公理化探索。 (英语) Zbl 1509.68328号

Fahrenberg,Uli(编辑)等人,《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12062, 302-317 (2020).
PDF格式BibTeX公司 XML格式引用

如果玛拉的模型没有元素呢? (西班牙语) Zbl 1487.03050号

阿隆索、恩里克(编辑)等人,《宗教的世界》。恩萨约斯向玛丽亚·曼扎诺致敬。伦敦:大学出版社。库德。洛格。认识论。冷。13, 175-189 (2019).
MSC公司:03C07号机组
PDF格式BibTeX公司 XML格式引用

极小理论的二进制隔离公式的分布代数。 (英语。俄文原件) 兹比尔1468.03049

代数逻辑 57,第6号,429-444(2019); 《代数逻辑》57,第6期,662-683(2018)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算一阶逻辑扩展的Gaifman范式。 (英语) Zbl 1499.03028号

Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第133条,第14页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定义理论的模型理论保守扩展。 (英语) Zbl 1434.03028号

Alves,Sandra(编辑)等人,逻辑和语义框架与应用第十二次研讨会论文集(LSFA 2017),巴西巴西利亚,2017年9月23日至24日。阿姆斯特丹:爱思唯尔。电子。注释Theor。计算。科学。338, 133-145 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定性约束满足问题组合的复杂性。 (英语) Zbl 1511.68123号

Galmiche,Didier(编辑)等人,《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10900, 263-278 (2018).
PDF格式BibTeX公司 XML格式引用

一阶级联理论的可判定和不可判定片段。 (英语) Zbl 1509.03094号

Manea,Florin(编辑)等人,《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议,CiE 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10936, 244-253 (2018).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份