迈克尔·比森 布鲁尔和欧几里德。 (英语) Zbl 1437.03171号 印度。数学。,新序列号。 29,第1期,483-533(2018).MSC公司:03楼55 03B30型 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{M.Beeson}。数学。,新序列号。29,第1号,483--533(2018;Zbl 1437.03171) 全文: 内政部 arXiv公司
罗纳德·布朗 同伦类型的建模和计算:I。 (英语) Zbl 1423.55015号 印度。数学。,新序列号。 29,第1期,459-482(2018).MSC公司:第55页第15页 18G55型 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{R.Brown}。数学。,新序列号。29,编号1459-482(2018;兹bl 1423.55015) 全文: 内政部 arXiv公司
贝内代托·恩特里吉拉;理查德·斯塔特曼 lambda微积分中的不动点。对问题和解决方案的古怪调查。 (英语) Zbl 1437.03052号 印度。数学。,新序列号。 29,第1号,450-458(2018).MSC公司:03B40型 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{B.Intrigila}和\textit{R.Statman}。数学。,新序列号。29,第1号,450-458(2018;Zbl 1437.03052) 全文: 内政部 反向链接: 卫生官员
亚历山大·德拉尼什尼科夫。 紧度量空间的维数。 (英语) Zbl 1382.55002号 印度。数学。,新序列号。 29,第1期,429-449(2018). 审核人:宫田高久(神户) MSC公司:55M10个 54层45 55-02 54-02 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{A.N.Dranishnikov}。数学。,新序列号。29,第1号,429--449(2018;Zbl 1382.55002) 全文: 内政部
Joan R.Moschovakis。;Moschovakis,Yiannis N。 直觉主义和有效的描述性集合理论。 (英语) 兹比尔1437.03172 印度。数学。,新序列号。 29,第1号,396-428(2018).MSC公司:03楼55 03E15年 PDF格式BibTeX公司 XML格式引用 \textit{J.R.Moschovakis}和\textit{Y.N.Moschovakis},印第安纳州。数学。,新序列号。29,第1号,396--428(2018;Zbl 1437.03172) 全文: 内政部 链接
阿兰·道;萨拉、撒哈拉 关于分裂数的余终结性。 (英语) Zbl 1436.03260号 印度。数学。,新序列号。 29,第1期,382-395(2018).MSC公司:03E35号 03E17年 PDF格式BibTeX公司 XML格式引用 \textit{A.Dow}和\textit{S.Shelah},印度。数学。,新序列号。29,第1号,382--395(2018;Zbl 1436.03260) 全文: 内政部 arXiv公司
山姆·桑德斯 是否具有建设性,这不是问题。 (英语) Zbl 1437.03169号 印度。数学。,新序列号。 29,第1期,313-381(2018).MSC公司:03楼50 05时03分 03楼55 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{S.Sanders}。数学。,新序列号。29,第1号,313--381(2018;Zbl 1437.03169) 全文: 内政部 arXiv公司
尼尔·辛德曼;多纳·斯特劳斯;卢卡·桑博尼。 动力系统中的递归((X,langle T_s)和理想(beta s)。 (英语) Zbl 1385.37016号 印度。数学。,新序列号。 29,第1期,293-312(2018).MSC公司:第37页第20页 37B10号机组 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{N.Hindman}等人,Indag。数学。,新序列号。29,第1号,293--312(2018;Zbl 1385.37016) 全文: 内政部 arXiv公司
阿列克西·舒伯特;巴威·乌尔兹琴 直觉逻辑中的答案集编程。 (英语) Zbl 1437.68037号 印度。数学。,新序列号。 29,第1期,276-292(2018).MSC公司:68N17号 03B20型 03B40型 03楼55 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Schubert}和\textit{P.Urzyczyn},印度。数学。,新序列号。29,第1号,276--292(2018;Zbl 1437.68037) 全文: 内政部
本诺·范登伯格;洛特·范·斯洛滕 算术守恒结果。 (英语) Zbl 1437.03170号 印度。数学。,新序列号。 29,第1号,260-275(2018).MSC公司:03楼50 03英尺30英寸 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{B.van den Berg}和\textit{L.van Slooten},印第安纳州。数学。,新序列号。29,第1号,260-275(2018;Zbl 1437.03170) 全文: 内政部 arXiv公司
戴维·里纳尔迪;彼得·舒斯特;丹尼尔·韦塞尔 通过析取消除来消除析取。 (英语) Zbl 1437.03163号 印度。数学。,新序列号。 29,第1号,226-259(2018).MSC公司:03年3月 65楼03号 03E25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Rinaldi}等人,Indag。数学。,新序列号。29,第1号,226--259(2018;Zbl 1437.03163) 全文: 内政部
阿汉格尔斯基。;范·密尔,J。 拓扑群维数理论的一些方面。 (英语) Zbl 1385.54011号 印度。数学。,新序列号。 29,第1期,202-225(2018). 审核人:Kohzo Yamada(静冈) MSC公司:54层45 54甲11 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Arhangel’skii}和textit{J.van Mill},印度。数学。,新序列号。29,第1号,202--225(2018;Zbl 1385.54011) 全文: 内政部
维姆·维尔德曼 回顾康托尔在布鲁沃公司的第一步。 (英语) Zbl 1423.03250号 印度。数学。,新序列号。 29,第1期,161-201(2018).MSC公司:03楼55 26A03号 PDF格式BibTeX公司 XML格式引用 \印第安纳州textit{W.Veldman}。数学。,新序列号。29,第1号,161--201(2018;Zbl 1423.03250) 全文: 内政部 arXiv公司
拉夫·博克兰特 咖啡中的倒影。 (英语) Zbl 1381.58003号 印度。数学。,新序列号。 第1号第29页,第150-160页(2018).MSC公司:58C30个 55平方米 53天37分 14J33型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bocklandt},印度。数学。,新序列号。29,编号1,150-160(2018;兹bl 1381.58003) 全文: 内政部 arXiv公司
卡洛·安吉利;罗伯特·哈珀 更高维度的意义解释。 (英语) 兹伯利1436.03102 印度。数学。,新序列号。 29,第1期,135-149(2018).MSC公司:03B38型 55单位35 PDF格式BibTeX公司 XML格式引用 \textit{C.Angiuli}和\textit{R.Harper},印度。数学。,新序列号。29,第1号,135--149(2018;Zbl 1436.03102) 全文: 内政部
谢尔盖·阿特莫夫 建构性知识和正当的真实信念范式。 (英语) Zbl 1436.03107号 印度。数学。,新序列号。 29,第1期,125-134(2018).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov},印度。数学。,新序列号。29,第1号,125--134(2018;Zbl 1436.03107) 全文: 内政部
达西堡利马Gonçalves;约翰·瓜西 值映射的不动点、不动点性质和曲面的情况——辫子方法。 (英语) Zbl 1381.55002号 印度。数学。,新序列号。 29,第1期,91-124(2018). 审核人:乔·佩雷斯·维埃拉(里约克拉罗) MSC公司:55平方米 36楼20层 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Gonçalves}和\textit{J.Guaschi},印度。数学。,新序列号。29,第1号,91-124(2018;Zbl 1381.55002) 全文: 内政部 arXiv公司
塔德乌兹·利塔克;阿尔伯特·维瑟 Lewis与Brouwer会面:建设性的严格暗示。 (英语) Zbl 1436.03137号 印度。数学。,新序列号。 29,第1号,36-90(2018).MSC公司:03B45号 03B20型 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}和\textit{A.Visser},印度。数学。,新序列号。29,第1号,36--90(2018;Zbl 1436.03137) 全文: 内政部 arXiv公司
约翰·范·本特姆 施工代理人。 (英语) Zbl 1436.03117号 印度。数学。,新序列号。 29,第1期,23-35(2018).MSC公司:03B42号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},印度。数学。,新序列号。29,第1号,23-35(2018;Zbl 1436.03117) 全文: 内政部
雅普·范·奥斯汀;尼尔斯·沃诺内维尔 Scott图模型和Kleene第二代数的推广。 (英语) Zbl 1436.03239号 印度。数学。,新序列号。 29,第1号,5-22(2018).MSC公司:03D65年 03B40型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{J.van Oosten}和\textit{N.Voorneveld},印度。数学。,新序列号。29,第1号,第5--22号(2018;Zbl 1436.03239) 全文: 内政部 arXiv公司
布鲁尔,L.E.J。 罗伯特·福克金(编辑) 关于维度的自然概念。 (英语) Zbl 1378.01026号 印度。数学。,新序列号。 29,编号1,1-4(2018).MSC公司:01A75号 54-03 PDF格式BibTeX公司 XML格式引用 \textit{L.E.J.Brouwer}和\textit{R.Fokkink}(编辑),印度。数学。,新序列号。29,编号1,1--4(2018;Zbl 1378.01026) 全文: 内政部