安东·弗伦德 集合理论反射等价于对基础良好的类进行归纳。 (英语) Zbl 1484.03105号 程序。美国数学。Soc公司。 148,编号10,4503-4515(2020).MSC公司:03E30年 03B30型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Freund},程序。美国数学。Soc.148,No.10,4503--4515(2020;Zbl 1484.03105) 全文: 内政部 arXiv公司
卡洛斯·马丁内斯·拉内罗;哈维尔·乌特雷拉斯;卡洛斯·维德拉。 \(\mathbb{Q}^{(2)}\)的不可判定性。 (英语) Zbl 1455.11166号 程序。美国数学。Soc公司。 148,第3期,961-964(2020). 审核人:Alexandra Shlapentkh(格林维尔) MSC公司:2005年11月 03B25号 11兰特 PDF格式BibTeX公司 XML格式引用 \textit{C.Martínez-Ranero}等人,Proc。美国数学。Soc.148,No.3,961--964(2020;Zbl 1455.11166) 全文: 内政部 arXiv公司
Chong,C.T。;李伟;王伟;杨,岳 关于具有正测度的集合的完美子集的可计算性。 (英语) Zbl 1484.03077号 程序。美国数学。Soc公司。 147,第9号,4021-4028(2019).MSC公司:03天32分 35楼03号 03层60 03英尺30英寸 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Chong}等人,Proc。美国数学。Soc.147,No.9,4021--4028(2019;Zbl 1484.03077) 全文: 内政部 arXiv公司
刘璐;伯努瓦·莫宁;卢多维奇·佩蒂 变量词定理的可计算分析。 (英语) Zbl 1484.03017号 程序。美国数学。Soc公司。 147,编号2,823-834(2019).MSC公司:03B30型 35楼03号 05年05月05日 PDF格式BibTeX公司 XML格式引用 \textit{L.Liu}等人,Proc。美国数学。Soc.147,No.2,823--834(2019;Zbl 1484.03017) 全文: 内政部 arXiv公司 哈尔
洛伦佐·卡卢奇 Hindman有限和定理的“弱但强”限制。 (英语) Zbl 1477.03174号 程序。美国数学。Soc公司。 146,第2期,819-829(2018).MSC公司:03天80 10年5月 35楼03号 03B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Carlucci},程序。美国数学。Soc.146,No.2,819--829(2018;Zbl 1477.03174) 全文: 内政部 arXiv公司
彼得·乔拉克;Charlie C.S.C.McCoy。 有效素数唯一性。 (英语) Zbl 1377.03033号 程序。美国数学。Soc公司。 145,第12号,5363-5379(2017). 审核人:Jamalbek Tussupov(阿斯塔纳) MSC公司:03D45号 03B30型 03C57 PDF格式BibTeX公司 XML格式引用 \textit{P.Cholak}和\textit{C.C.S.C.McCoy},程序。美国数学。Soc.145,No.12,5363--5379(2017;Zbl 1377.03033) 全文: 内政部 arXiv公司
达米尔·扎法罗夫。;卢多维奇·佩蒂;里德·所罗门;琳达·布朗·韦斯特里克 Ramsey的单子定理和强可计算约化性。 (英语) Zbl 1423.03159号 程序。美国数学。Soc公司。 145,第3号,1343-1355(2017).MSC公司:03天80 35楼03号 10年5月 03B30型 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Dzhafarov}等人,Proc。美国数学。Soc.145,No.3,1343--1355(2017;Zbl 1423.03159) 全文: 内政部 arXiv公司 哈尔
保罗·沙弗 Tietze扩张定理的逆向数学。 (英语) Zbl 1528.03096号 程序。美国数学。Soc公司。 144,第12号,5359-5370(2016).MSC公司:03B30型 35楼03号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{P.Shafer},程序。美国数学。Soc.144,No.12,5359--5370(2016;Zbl 1528.03096) 全文: 内政部 arXiv公司 链接
赖,特里;约尔格恩德鲁利斯;劳伦斯·莫斯。 大多数有向图。 (英语) Zbl 1338.05102号 程序。美国数学。Soc公司。 144,第9期,3701-3715(2016).MSC公司:05C20号 05C62号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{T.Lai}等人,Proc。美国数学。Soc.144,No.9,3701--3715(2016;Zbl 1338.05102) 全文: 内政部 arXiv公司
亚历山大·克鲁泽。 测量理论和高阶算法。 (英语) Zbl 1386.03016号 程序。美国数学。Soc公司。 143,第12号,5411-5425(2015).MSC公司:03B30型 35楼03号 03层60 03E35号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer},程序。美国数学。Soc.143,No.12,5411--5425(2015;Zbl 1386.03016) 全文: 内政部 arXiv公司
泽维尔·维多;卡洛斯·维德拉。 嵌套平方根的完全真实塔中自然数的定义。 (英语) Zbl 1392.03023号 程序。美国数学。Soc公司。 143,第10号,4463-4477(2015).MSC公司:03B25号 03C60型 11卢比80 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{X.Vidaux}和\textit{C.R.Videla},Proc。美国数学。Soc.143,No.10,4463--4477(2015;Zbl 1392.03023) 全文: 内政部
达米尔·扎法罗夫。 连贯的避免和强烈的减少。 (英语) Zbl 1386.03055号 程序。美国数学。Soc公司。 143,第2期,869-876(2015).MSC公司:03天80 03B30型 35楼03号 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Dzhafarov},程序。美国数学。Soc.143,编号2,869-876(2015;兹bl 1386.03055) 全文: 内政部 arXiv公司
克里斯托夫·巴萨 递归环上丢番图方程的解的个数。 (英语) Zbl 1281.11105号 程序。美国数学。Soc公司。 141,第12期,4175-4178(2013). 审核人:Alexandra Shlapentkh(格林维尔) MSC公司:2005年11月 03B25号 11点45分 PDF格式BibTeX公司 XML格式引用 \textit{C.Baxa},程序。美国数学。Soc.141,No.12,4175--4178(2013;Zbl 1281.11105) 全文: 内政部
阿拉·西罗科夫斯基 关于有限域上多项式的指数谓词。 (英语) Zbl 1196.03050号 程序。美国数学。Soc公司。 138,编号7,2569-2583(2010).MSC公司:03C60型 03B25号 12升05 12升12 PDF格式BibTeX公司 XML格式引用 \textit{A.Sirokofskich},程序。美国数学。Soc.138,No.7,2569--2583(2010;Zbl 1196.03050) 全文: 内政部
Chong,C.T。;斯特芬·勒普;杨,岳 关于二阶逆向数学中(Sigma^0_2)公式的集合原理的作用。 (英语) Zbl 1195.03015号 程序。美国数学。Soc公司。 138,第3号,1093-1100(2010). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{C.T.Chong}等人,Proc。美国数学。Soc.138,No.3,1093--1100(2010;Zbl 1195.03015) 全文: 内政部
Kirsten Eisenträger;格雷厄姆·埃佛勒斯 椭圆曲线上的下降和希尔伯特的第十个问题。 (英语) Zbl 1267.11120号 程序。美国数学。Soc公司。 137,第6期,1951-1959(2009). 审核人:Alexandra Shlapentkh(格林维尔) MSC公司:2005年11月 03B25号 11G05号 PDF格式BibTeX公司 XML格式引用 \textit{K.Eisenträger}和\textit{G.Everest},程序。美国数学。Soc.137,No.61951-1959(2009;Zbl 1267.11120) 全文: 内政部 arXiv公司
丹尼斯·赫施费尔特(Denis R.Hirschfeldt)。 可计算树、素数模型和相对可判定性。 (英语) Zbl 1099.03024号 程序。美国数学。Soc公司。 134,第5期,1495-1498(2006).MSC公司:03C57 03D45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Hirschfeldt},程序。美国数学。Soc.134,No.5,1495-1498(2006;Zbl 1099.03024) 全文: 内政部
詹姆斯·施默尔(James H.Schmerl)。 最小生成树。 (英语) Zbl 1032.05031号 程序。美国数学。Soc公司。 132,第2期,333-340(2004).MSC公司:05二氧化碳 03B30型 03天80 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Schmerl},程序。美国数学。Soc.132,No.2,333--340(2004;Zbl 1032.05031) 全文: 内政部
拉兹科维奇,M。 从涉及初等函数的一些不可判定问题中删除\(\pi\)。 (英语) Zbl 1016.03008号 程序。美国数学。Soc公司。 131,第7期,2235-2240(2003).MSC公司:03B25号 03D40号 26A09号 PDF格式BibTeX公司 XML格式引用 \textit{M.Laczkovich},程序。美国数学。Soc.131,No.7,2235--2240(2003;Zbl 1016.03008) 全文: 内政部
卡洛斯·维德拉。 分圆塔的不可判定性。 (英语) Zbl 0957.03013号 程序。美国数学。Soc公司。 128,第12期,3671-3674(2000). 审核人:Thanases Pheidas(伊拉克利翁) MSC公司:03B25号 12升05 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Videla},程序。美国数学。Soc.128,No.12,3671--3674(2000;Zbl 0957.03013) 全文: 内政部
Kunitaka Shoji 有限半群表示扩张性质的可判定性。 (英语) Zbl 0970.20049号 程序。美国数学。Soc公司。 128,编号5,1313-1317(2000). 审核人:A.Vernitskii(科尔切斯特) MSC公司:20立方米 2005年5月20日 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{K.Shoji},程序。美国数学。Soc.128,No.5,1313---1317(2000;Zbl 0970.20049) 全文: 内政部
蒂埃里·库伯伊斯;阿纳托勒·赫利夫 自由群中的方程不是有限近似的。 (英语) Zbl 0914.20031号 程序。美国数学。Soc公司。 127,第4期,963-965(1999). 审核人:G.Rosenberger(多特蒙德) MSC公司:2010年1月20日 20E05年 03B25号 20F05型 20E18年 PDF格式BibTeX公司 XML格式引用 \textit{T.Coulbois}和\textit{A.Khelif},程序。美国数学。Soc.127,No.4,963--965(1999;Zbl 0914.20031) 全文: 内政部
朱拉吉·辛科 在无量纲空间之间可度量和\(\mathbb R\)-可度量。 (英语) Zbl 0906.03007号 程序。美国数学。Soc公司。 127,第2期,323-325(1999). 审核人:V.V.潘布奇(凤凰城) MSC公司:03B30型 03元52分 51F99型 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{J.Simko},程序。美国数学。Soc.127,No.2,323--325(1999;Zbl 0906.03007) 全文: 内政部
丹尼尔·斯塔尔沃思(Daniel T.Stallworth)。;弗雷德·劳什(Fred W.Roush)。 定积分的一个不可判定性质。 (英语) 兹比尔0864.03006 程序。美国数学。Soc公司。 125,第7期,2147-2148(1997).MSC公司:03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.T.Stallworth}和\textit{F.W.Roush},程序。美国数学。Soc.125,No.7,2147--2148(1997;Zbl 0864.03006) 全文: 内政部
Oleg V·Belegradek。 有限群一阶决策问题的不可解度。 (英语) Zbl 0839.03027号 程序。美国数学。Soc公司。 124,第2期,623-625(1996).MSC公司:03日30分 2010年1月20日 03B25号 20英尺18英寸 PDF格式BibTeX公司 XML格式引用 \textit{O.V.Belegradek},程序。美国数学。Soc.124,No.2,623--625(1996;Zbl 0839.03027) 全文: 内政部
罗伯特·蒙德里斯;帕沃尔·兹拉托什 可度量间关系的公理化和不可判定性结果。 (英语) Zbl 0818.03002号 程序。美国数学。Soc公司。 123,第3期,873-882(1995). 审核人:V.V.潘布奇(凤凰城) MSC公司:03B30型 03B25号 03元52分 51克05 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{R.Mendris}和\textit{P.Zlatoš},程序。美国数学。Soc.123,No.3,873--882(1995;Zbl 0818.03002) 全文: 内政部
卡洛斯·维德拉。 特征2中有理函数域的希尔伯特第十个问题。 (英语) Zbl 0795.03015号 程序。美国数学。Soc公司。 120,第1期,249-253(1994). 审核人:Thanases Pheidas(伊拉克利翁) MSC公司:03B25号 12升05 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{C.R.Videla},程序。美国数学。Soc.120,No.1,249--253(1994;Zbl 0795.03015) 全文: 内政部
Kim,K.H。;F.W.罗什。 多项式方程参数解的不可解性。 (英语) Zbl 0779.12004号 程序。美国数学。Soc公司。 118,第2期,345-348(1993). 审核人:T.Pheidas(伊拉克利翁) MSC公司:12升05 2005年11月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{K.H.Kim}和\textit{F.W.Roush},程序。美国数学。Soc.118,编号2345-348(1993年;Zbl 0779.12004) 全文: 内政部
梗,Veronique 具有顺序、可除性、幂函数、幂谓词和常数的自然数集的存在性理论的可判定性。 (英语) Zbl 0806.03011号 程序。美国数学。Soc公司。 114,第3期,809-816(1992).MSC公司:03B25号 03英尺30英寸 PDF格式BibTeX公司 XML格式引用 \textit{V.梗},程序。美国数学。Soc.114,No.3,809--816(1992;Zbl 0806.03011) 全文: 内政部
佛朗哥·帕拉米奥;阿尔贝托,Policriti 关于“无穷公理的逻辑最简单形式”的注释。 (英语) Zbl 0694.03031号 程序。美国数学。Soc公司。 108,第1期,285-286(1990).MSC公司:03E30年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti},程序。美国数学。Soc.108,No.1,285--286(1990;Zbl 0694.03031) 全文: 内政部 链接
Pheidas、Thanases 一类代数整数环的希尔伯特第十个问题。 (英语) Zbl 0697.12020号 程序。美国数学。Soc公司。 104,第2期,611-620(1988). 审核人:D.布斯内格 MSC公司:12升05 11D99号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Pheidas},程序。美国数学。Soc.104,No.2,611--620(1988;Zbl 0697.12020) 全文: 内政部
佛朗哥·帕拉米奥;阿尔贝托,Policriti 无穷公理在逻辑上最简单的形式。 (英语) Zbl 0681.03032号 程序。美国数学。Soc公司。 103,第1期,274-276(1988).MSC公司:03E30年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{F.Parlamento}和\textit{A.Policriti},程序。美国数学。Soc.103,No.1,274--276(1988;Zbl 0681.03032) 全文: 内政部
米奥德拉格·拉什科维奇 奇异双概率模型的完备性定理。 (英语) Zbl 0647.03033号 程序。美国数学。Soc公司。 102,No.2,389-392(1988).MSC公司:03C80号 03B48号 03C70号 03H10年上半年 PDF格式BibTeX公司 XML格式引用 \textit{M.Rašković},程序。美国数学。Soc.102,No.2,389--392(1988;Zbl 0647.03033) 全文: 内政部
董世平 多项式环上的可判定句子。 (英语) Zbl 0643.03007号 程序。美国数学。Soc公司。 102,第2期,383-388(1988). 审核人:J.M.普洛金 MSC公司:03B25号 12升05 PDF格式BibTeX公司 XML格式引用 \textit{S.-P.Tung},Proc。美国数学。Soc.102,No.2,383--388(1988;Zbl 0643.03007) 全文: 内政部
Pheidas、Thanases 正特征幂级数环的不可判定性结果。二、。 (英语) Zbl 0664.03008号 程序。美国数学。Soc公司。 100, 526-530 (1987).MSC公司:03B25号 12升05 13层25 2005年11月 11天88 PDF格式BibTeX公司 XML格式引用 \textit{T.Pheidas},程序。美国数学。Soc.100526--530(1987;Zbl 0664.03008) 全文: 内政部
Pheidas、Thanases 正特征幂级数环的一个不可判定性结果。 (英语) Zbl 0639.03009号 程序。美国数学。Soc公司。 99, 364-366 (1987). 审核人:R.鲁梅利 MSC公司:03B25号 2005年11月 12升05 03天35分 13层25 13升05 PDF格式BibTeX公司 XML格式引用 \textit{T.Pheidas},程序。美国数学。Soc.99,364--366(1987;Zbl 0639.03009) 全文: 内政部
内梅蒂,我。 弱结合关系代数的可判定性。 (英语) Zbl 0638.03061号 程序。美国数学。Soc公司。 100, 340-344 (1987). 审核人:C.S.卡尔法 MSC公司:03G15年 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{I.Németi},程序。美国数学。Soc.100340--344(1987;Zbl 0638.03061) 全文: 内政部
Douglas N.胡佛。 关于普遍句模型的概率。 (英语) Zbl 0623.03026号 程序。美国数学。Soc公司。 98, 294-297 (1986).MSC公司:03B48号 03C13号机组 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.N.胡佛},程序。美国数学。Soc.98,294--297(1986;Zbl 0623.03026) 全文: 内政部
卢·范登·德里斯 三角恒等式的完备性定理和指数函数的各种结果。 (英语) Zbl 0619.03012号 程序。美国数学。Soc公司。 96, 345-352 (1986). 审核人:S.R.科加洛夫斯基 MSC公司:03B30型 03C05号机组 03C35号 03C25号 26A09号 PDF格式BibTeX公司 XML格式引用 \textit{L.van den Dries},程序。美国数学。Soc.96,345--352(1986;Zbl 0619.03012) 全文: 内政部
古雷维奇,R。 带指数运算的正数方程理论。 (英语) Zbl 0572.03014号 程序。美国数学。Soc公司。 94, 135-141 (1985).MSC公司:03C05号机组 03C13号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gurevč},程序。美国数学。Soc.94135--141(1985;Zbl 0572.03014) 全文: 内政部
彼得·帕帕斯 Laurent多项式环的丢番图问题。 (英语、英语) Zbl 0532.10032号 程序。美国数学。Soc公司。 93713-718(1985年).MSC公司:2005年11月 03B25号 1999年第11天 11天88 PDF格式BibTeX公司 XML格式引用 \textit{P.Pappas},程序。美国数学。Soc.93,713--718(1985;Zbl 0532.10032) 全文: 内政部
Emil W.接吻。 有限布尔表示变种。 (英语) Zbl 0558.08006号 程序。美国数学。Soc公司。 89, 579-582 (1983). 审核人:A.A.Iskander公司 MSC公司:08B10号 08B15号 03C05号机组 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.W.亲吻},程序。美国数学。Soc.89579--582(1983年;Zbl 0558.08006) 全文: 内政部
李·鲁贝尔(Lee A.Rubel)。 环的保角不等式与PSL(2,R)子群的一阶理论。 (英语) Zbl 0512.03008号 程序。美国数学。Soc公司。 88, 679-683 (1983).MSC公司:03B10号机组 20G20年 30摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Rubel},程序。美国数学。索克88,679-683(1983年;兹bl 0512.03008) 全文: 内政部
西塞,德特勒夫;彼得·塔希克;马丁·威斯 平稳逻辑中的不确定理论。 (英语) 兹比尔0515.03002 程序。美国数学。Soc公司。 84, 563-567 (1982).MSC公司:03B25号 03C75号 PDF格式BibTeX公司 XML格式引用 \textit{D.Seese}等人,程序。美国数学。Soc.84563--567(1982;Zbl 0515.03002) 全文: 内政部
大卫·豪斯勒 语言代数的模型完备性。 (英语) Zbl 0478.03014号 程序。美国数学。Soc公司。 83, 371-374 (1981).MSC公司:03C60型 03B25号 70年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Haussler},程序。美国数学。Soc.83,371--374(1981;Zbl 0478.03014) 全文: 内政部
科佩尔,莫舍 一些可判定的Diophantine问题:Davis、Matijasevic和Robinson问题的积极解决方案。 (英语) Zbl 0424.03020号 程序。美国数学。Soc公司。 77, 319-323 (1979).MSC公司:03D20日 03B25号 2005年11月 11U99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Koppel},程序。美国数学。Soc.77319--323(1979;Zbl 0424.03020) 全文: 内政部
卢·范登·德里斯 代数数的新的可判定域。 (英语) Zbl 0396.12020号 程序。美国数学。Soc公司。 77, 251-256 (1979).MSC公司:12升05 03C60型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{L.van den Dries},程序。美国数学。Soc.77251--256(1979;Zbl 0396.12020) 全文: 内政部
Makkai,M。;迈基尔斯基,J。 没有模型的(L_{\omega_1\omega})完整一致理论。 (英语) Zbl 0383.03009号 程序。美国数学。Soc公司。 62, 131-133 (1977).MSC公司:03B10号机组 03C35号 03B25号 03E35号 03月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Makkai}和\textit{J.Mycielski},程序。美国数学。Soc.62131--133(1977年;Zbl 0383.03009) 全文: 内政部
莱昂纳德·利普希茨 代数数环中加法和可除性的不可判定存在性问题。二、。 (英语) Zbl 0365.02019 程序。美国数学。Soc公司。 64, 122-128 (1977).MSC公司:68瓦99 2005年11月 03B99号 2007年11月 PDF格式BibTeX公司 XML格式引用 \textit{L.Lipshitz},程序。美国数学。Soc.64122-128(1977;Zbl 0365.02019) 全文: 内政部
马丁·威斯 带有量词“存在无穷多”的布尔代数理论的可判定性。 (英语) Zbl 0321.02011号 程序。美国数学。Soc公司。 第64135-138页(1977年).MSC公司:03B25号 05年6月 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{M.Weese},程序。美国数学。Soc.64,135--138(1977;Zbl 0321.02011) 全文: 内政部
沃尔特·鲍尔 具有子群的阿贝尔群理论的不可判定性。 (英语) Zbl 0328.02032号 程序。美国数学。Soc公司。 55, 125-128 (1976).MSC公司:03B25号 20K99美元 PDF格式BibTeX公司 XML格式引用 \textit{W.Baur},程序。美国数学。Soc.55125-128(1976;Zbl 0328.02032) 全文: 内政部
所罗门·加芬克尔;詹姆斯·施默尔(James H.Schmerl)。 带有额外谓词的群胚理论的不可判定性。 (英语) Zbl 0273.02032号 程序。美国数学。Soc公司。 42, 286-289 (1974).MSC公司:03B25号 20升05 PDF格式BibTeX公司 XML格式引用 \textit{S.Garfunkel}和\textit{J.H.Schmerl},程序。美国数学。Soc.42286--289(1974年;Zbl 0273.02032) 全文: 内政部
所罗门·加芬克尔;詹姆斯·施默尔(James H.Schmerl)。 带有额外谓词的群胚理论的不可判定性。 (英语) 兹比尔0253.02048 程序。美国数学。Soc公司。 42, 286-289 (1974).MSC公司:03B25号 20升05 PDF格式BibTeX公司 XML格式引用 \textit{S.Garfunkel}和\textit{J.H.Schmerl},Proc。美国数学。Soc.42286-289(1974年;兹bl 0253.02048) 全文: 内政部
利普希茨,L。;萨拉西诺,D。 无幂零元交换环理论的模型伴侣。 (英语) Zbl 0267.02040号 程序。美国数学。Soc公司。 38, 381-387 (1973).MSC公司:03C60型 03B25号 13升05 PDF格式BibTeX公司 XML格式引用 \textit{L.Lipshitz}和\textit{D.Saracino},Proc。美国数学。Soc.38,381--387(1973;Zbl 0267.02040) 全文: 内政部
J.米希尔。 关于指示器功能的注释。 (英语) Zbl 0262.02026号 程序。美国数学。Soc公司。 39, 181-183 (1973).MSC公司:03B55型 1999年3月 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{J.Myhill},程序。美国数学。Soc.39,181--183(1973;Zbl 0262.02026) 全文: 内政部
乔治·萨瑟多特。 群论中有一些不可判定的问题。 (英语) Zbl 0259.02036号 程序。美国数学。Soc公司。 36231-238(1972年).MSC公司:03B25号 03天80 20A10年 PDF格式BibTeX公司 XML格式引用 \textit{G.S.Sacerdote},程序。美国数学。Soc.36231-238(1972年;兹bl 0259.02036) 全文: 内政部
蒙克·J·唐纳德 有限多变量的可证明性。 (英语) Zbl 0216.01004号 程序。美国数学。Soc公司。 27, 353-358 (1971).MSC公司:03B20型 03G99型 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Monk},程序。美国数学。Soc.27353--358(1971;Zbl 0216.01004) 全文: 内政部
阿莫罗索,S。;库珀,G。 有限构形的Garden-of-Eden定理。 (英语) Zbl 0219.02025号 程序。美国数学。Soc公司。 26, 158-164 (1970).MSC公司:03B30型 05B45号 PDF格式BibTeX公司 XML格式引用 \textit{S.Amoroso}和\textit{G.Cooper},程序。美国数学。Soc.26,158--164(1970;Zbl 0219.02025) 全文: 内政部
多尔夫·乌尔里奇 解决Kalicki提出的问题。 (英语) Zbl 0207.00503号 程序。美国数学。Soc公司。 22, 728-729 (1969).MSC公司:03B99号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ulrich},程序。美国数学。Soc.22728--729(1969;Zbl 0207.00503) 全文: 内政部