×

找到60个文档（结果1-60）

最新的 引文 关联
大卫·阿斯珀罗;塔帕尼·海蒂宁;瓦迪姆·库利科夫;米盖尔·莫雷诺

在大基数假设下由非平稳理想产生的等价关系的可约性。 （英语） Zbl 1472.03049号

圣母院J.形式逻辑 60，第4号，665-682（2019）。
MSC公司：03E15年 03C45号机组 03E35号 03E55型 03E05号
PDF格式BibTeX公司 XML格式引用
\textit｛D.Asperó｝等人，《圣母院J·形式逻辑60》，第4期，第665-682页（2019；Zbl 1472.03049）
全文： 内政部 欧几里得 链接
塔帕尼·海蒂宁;瓦迪姆·库利科夫

广义Baire空间和无限语言中的Borel*集。 （英语） Zbl 1437.03143号

van Ditmarsch，Hans（ed.）等人，Jaakko Hintikka关于知识和博弈论语义。献给Jaakko Hintikka。查姆：斯普林格。Outst公司。控制日志。12, 395-412 (2018).
MSC公司：03E15年 03C45号机组 03C75号
PDF格式BibTeX公司 XML格式引用
\textit{T.Hyttinen}和\textit{V.Kulikov}，Outst。控制日志。12395-412（2018年；Zbl 1437.03143）
全文： 内政部 arXiv公司 链接
塔帕尼·海蒂宁;Gianluca Paolini

在无原子布尔代数中将数据库独立性简化为除法。 （英语） Zbl 1341.03045号

架构（architecture）。数学。逻辑 55，编号3-4，505-518（2016）。
审核人：朱尼斯·切鲁利斯（里加）
MSC公司：03C45号机组 03C30号 05年6月 60A99型 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{T.Hyttinen}和\textit{G.Paolini}，拱门。数学。逻辑55，No.3--4，505--518（2016；Zbl 1341.03045）
全文： 内政部 arXiv公司
Sy-David弗里德曼;塔帕尼·海蒂宁;瓦迪姆·库利科夫

广义描述集理论和分类理论。 （英语） Zbl 1402.03047号

内存。美国数学。Soc公司。1081，v，第80页（2014年）。
MSC公司：03C55号 03C45号机组 03C75号 03E15年 03E35号 03E47型 03-02
PDF格式BibTeX公司 XML格式引用
\textit{S.-D.Friedman}等人，广义描述集理论和分类理论。普罗维登斯，RI：美国数学学会（AMS）（2014；Zbl 1402.03047）
全文： 内政部 arXiv公司
塔帕尼·海蒂宁

同构结构中的局部模块性。 （英语） Zbl 1102.03038号

Stoltenberg-Hansen，Viggo（编辑）等人，《逻辑学术讨论会》03。符号逻辑协会（ASL）欧洲夏季年会论文集，芬兰赫尔辛基，2003年8月14日至20日。马萨诸塞州韦尔斯利：A K Peters；伊利诺伊州乌尔班纳：符号逻辑协会（ASL）（ISBN 1-56881-293-0/hbk；1-56881-2094-9/pbk）。逻辑课堂讲稿24，118-132（2006）。
MSC公司：03元52分 03C45号机组
PDF格式BibTeX公司 XML格式引用
\textit{T.Hyttinen}，莱克特。注释日志。24、118——132（2006；Zbl 1102.03038）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段