×

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

建立理论基础。 (英语) Zbl 1417.03086号

凯塞多、安德烈斯·爱德华多(编辑)等,《数学基础》。哈佛大学的逻辑学。为纪念W.Hugh Woodin 60岁生日而写的散文。2015年3月27日至29日,美国马萨诸塞州剑桥市哈佛大学哈佛会议《逻辑学报》。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。690, 289-322 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

无限单词上的不完全性定理、大基数和自动机。 (英语) 兹比尔1440.03056

Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:斯普林格。莱克特。注释计算。科学。9135, 222-233 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

地面模型可定义性。 (英语) Zbl 1358.03078号

Geschke,Stefan(编辑)等人,《无限、可计算性和元数学》。庆祝彼得·科普克和菲利普·韦尔奇60岁生日的节日。伦敦:学院出版物(ISBN 978-1-84890-130-8/hbk)。205-227 (2014).
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

分类逻辑和数学基础。 (英语) Zbl 1321.03048号

Chong,Chitat(编辑)等人,《无限与真理》。基于2011年7月25日至29日在新加坡举行的研讨会上的会谈。新泽西州哈肯萨克:世界科学(ISBN 978-981-4571-03-6/hbk;978-981-14571-05/ebook)。课堂笔记系列。数学科学研究所。新加坡国立大学25171-186(2014)。
MSC公司:03B60号
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

绝对、真理和商数。 (英语) Zbl 1321.03057号

Chong,Chitat(编辑)等人,《无限与真理》。基于2011年7月25日至29日在新加坡举行的研讨会上的会谈。新泽西州哈肯萨克:世界科学(ISBN 978-981-4571-03-6/hbk;978-981-14571-05/ebook)。课堂笔记系列。数学科学研究所。新加坡国立大学25,1-24(2014)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于全投射原Abel群的子群和循环群的直和。 (英语) Zbl 1267.20075号

Strüngmann,Lutz(编辑)等人,《群与模型理论》。为了纪念吕迪格·哥贝尔70岁生日。2011年5月30日至6月3日,德国穆尔海姆-德鲁尔会议中心“Die Wolfsburg”会议记录。普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-0-8218-6923-9/pbk;978-0-82 18-9098-1/电子书)。当代数学576205-215(2012)。
PDF格式BibTeX公司 XML格式引用

可构建性的替代精细结构和计算方法。 (英语) Zbl 1280.03002号

波恩:波恩大学,Mathematisch-Naturwissenschaftliche Fakultät(Diss.)。161页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 链接

无限图的可识别语言的决策问题。 (英语) Zbl 1244.03052号

Cégielski,Patrick(编辑),弱算术研究。加州斯坦福:CSLI出版物;法国巴黎高等教育出版社(ISBN 978-1-57586-602-4/pbk)。CSLI演讲笔记196,127-151(2010)。
PDF格式BibTeX公司 XML格式引用
全文: arXiv公司

与NF一致性相关的组合学。 (英语) Zbl 1203.03080号

Crabbé,Marcel(编辑)等人,剑桥NF会议70周年会议记录。纪念奎因的开创性论文《数学逻辑的新基础》出版70周年,英国剑桥,2007年5月26日至27日。卢瓦因·拉纽夫:布鲁兰学院(ISBN 978-2-87209-937-5/pbk)。物流中心Cahiers du Centre de Logique 16,109-136(2009)。
MSC公司:03电子70 03E35号
PDF格式BibTeX公司 XML格式引用

关于形式建模的基本框架。集合、(varepsilon)集合和概念模型。 (英语) Zbl 1177.03058号

亚琛:Shaker Verlag;柏林:TU Berlin(Diss.)(ISBN 978-3-8322-8438-1/pbk)。v、 143页。(2009).
PDF格式BibTeX公司 XML格式引用

观察证据的真实性、一致性和长度。 (英语) Zbl 1167.03005号

Ehrenfeucht,A.(编辑)等人,Andrzej Mostowski和基础研究。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-782-6/hbk)。278-288 (2008).
PDF格式BibTeX公司 XML格式引用

\(p\)-排名\(\text{分机}_ZFC的某些模型中的{\mathbb Z}(G,\mathbbZ)。 (俄语、英语) Zbl 1164.03014号

代数逻辑卡 46,第3号,369-397(2007); 代数逻辑翻译46,第3期,200-215(2007)。
PDF格式BibTeX公司 XML格式引用

集合论中的非标准对象。 (英语) Zbl 1121.03072号

Cutland,Nigel J.(编辑)等,非标准方法和数学应用。马萨诸塞州韦尔斯利:A K Peters;伊利诺伊州厄巴纳:符号逻辑协会(ASL)(ISBN 1-56881-291-4/hbk;1-56881-292-2/pbk)。逻辑课堂讲稿25,80-120(2006)。
MSC公司:03电子70 05年3月
PDF格式BibTeX公司 XML格式引用

唯一可传递的\(R\)-模块。 (英语) Zbl 1200.20035号

杜伊斯堡-埃森:杜伊斯堡大学-埃森分校,Fachbereich für Mathematik(Diss.)。108页。(2005).
PDF格式BibTeX公司 XML格式引用
全文: 链接

罗素悖论和希尔伯特(被遗忘的)集合论观点。 (英语) Zbl 1060.03017号

林克,戈德哈德(编辑),罗素悖论的一百年。数学、逻辑、哲学。基于2001年6月在德国慕尼黑举行的慕尼黑百年纪念大会。柏林:德格鲁伊特出版社(ISBN 3-11-017438-3/hbk)。de Gruyter系列《逻辑及其应用》6533-547(2004)。
MSC公司:03A05号 03E35号 03-03
PDF格式BibTeX公司 XML格式引用

代数结构存在时的收敛性。 (英语) Zbl 1029.54003号

Hušek,Miroslav(编辑)等人,一般拓扑学的最新进展II。基于2001年8月19日至25日在捷克共和国布拉格举行的布拉格拓扑研讨会。阿姆斯特丹:爱思唯尔。463-484 (2002).
PDF格式BibTeX公司 XML格式引用

独立性源于可计算性理论中的ZFC:一些开放问题。 (英语) Zbl 0962.03047号

Cholak,Peter A.(编辑)等人,《可计算性理论及其应用》。当前趋势和存在的问题。1999年AMS-IMS-SIAM联合夏季研究会议记录,美国科罗拉多州博尔德,1999年6月13日至17日。普罗维登斯,RI:美国数学学会(AMS)。康斯坦普。数学。257, 171-179 (2000).
PDF格式BibTeX公司 XML格式引用

集合论。Transl.公司。由Attila Máté从匈牙利语改编。 (英语) Zbl 0934.03057号

伦敦数学学会学生课文.48。剑桥:剑桥大学出版社。viii,316页(1999年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份