×

找到20个文档（结果1–20）

最新的 引文 关联
雅各布·埃梅内格;埃里克·帕尔姆格伦

集合的精确完备和构造理论。 （英语） Zbl 1485.03257号

J.塞姆。日志。 85，编号2，563-584（2020）.
审核人：阿米特·库伯（坎普尔）
MSC公司：03G30型 18A35型 18对25 18甲15 03B38型 18英镑05 18日第15天 03楼55
PDF格式BibTeX公司 XML格式引用
\textit{J.Emmeneger}和\textit{E.Palmgren}，J.Symb。日志。85，编号2，563--584（2020；Zbl 1485.03257）
全文： 内政部 arXiv公司
OA许可证
埃里克·帕尔姆格伦

论建构型理论中范畴对象的平等性。 （英语） Zbl 1528.03111号

Abel，Andreas（ed.）等人，第23届国际证明和程序类型会议，2017年类型，2017年5月24日至6月1日，匈牙利布达佩斯。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。104，第7条，第7页（2018年）。
MSC公司：03B38型 03楼50 18甲15
PDF格式BibTeX公司 XML格式引用
\textit{E.Palmgren}，LIPIcs——莱布尼茨国际程序。通知。104，第7条，第7页（2018；Zbl 1528.03111）
全文： 内政部 arXiv公司
埃里克·帕尔姆格伦

建构主义与结构主义基础。 （英语） Zbl 1314.03052号

彼得·戴布杰尔（编辑）等人，《认识论与本体论》。为纪念Per Martin-Löf撰写的关于数学哲学和基础的论文。基于2009年5月5日至8日在瑞典乌普萨拉举行的“数学的哲学和基础：认识论和本体论方面”会议。多德雷赫特：施普林格（ISBN 978-94-007-4434-9/hbk；978-94-07-4435-6/电子书）。《逻辑、认识论和科学的统一》27，265-279（2012）。
MSC公司：03楼50 03年11月15日 03层60 18甲15
PDF格式BibTeX公司 XML格式引用
\textit｛E.Palmgren｝，日志。认识论。统一科学。27、265--279（2012；Zbl 1314.03052）
全文： 内政部
埃里克·帕尔姆格伦

从直观拓扑到无点拓扑：基于同伦理论。 （英语） Zbl 1227.03080号

Lindström，Sten（编辑）等人，逻辑主义、直觉主义和形式主义。他们怎么样了？源自2004年8月在瑞典乌普萨拉举行的构造数学会议和研讨会。多德雷赫特：施普林格（ISBN 978-1-4020-8925-1/hbk；978-1-4020-8926-8/电子书）。综合图书馆341237-253（2009年）。
MSC公司：65楼03号 03楼55 99年第55季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Palmgren}，合成。伦敦银行同业拆借利率。341237--253（2009年；Zbl 1227.03080）
全文： 内政部
埃里克·帕尔姆格伦

论类型理论中的宇宙。 （英语） Zbl 0930.03090号

Sambin，Giovanni（编辑）等人，《建构主义类型理论的二十五年》。会议记录，意大利威尼斯，1995年10月19日至21日。牛津：克拉伦登出版社。牛津大学。逻辑指南。36, 191-204 (1998).
MSC公司：35楼03号
PDF格式BibTeX公司 XML格式引用
\textit{E.Palmgren}，in：建构主义类型理论25年。会议记录，意大利威尼斯，1995年10月19日至21日。牛津：克拉伦登出版社。191--204（1998年；Zbl 0930.03090）

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

软件