大卫·巴拉德;卡尔·赫巴切克 非标准分析的标准基础。 (英语) Zbl 0766.03038号 J.塞姆。日志。 57,第2期,741-748(1992)。 审核人:D.巴拉德 MSC公司:99年3月 03E65年 PDF格式BibTeX公司 XML格式引用 \textit{D.Ballard}和\textit{K.Hrbacek},J.Symb。日志。57,第2号,741--748(1992;Zbl 0766.03038) 全文: 内政部
库切拉,T.G。;普雷斯特,M。 模块中“几何”稳定性理论的四个概念。 (英语) Zbl 0772.03016号 J.塞姆。日志。 57,No.2,724-740(1992)。MSC公司:03C45号机组 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{T.G.Kucera}和\textit{M.Prest},J.Symb。日志。57,No.2,724--740(1992;Zbl 0772.03016) 全文: 内政部
库切拉,T.G。;普雷斯特,M。 虚拟模块。 (英语) Zbl 0768.03018号 J.塞姆。日志。 57,第2期,698-723(1992)。 审核人:T.G.Kucera(温尼伯) MSC公司:03C60型 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.G.Kucera}和\textit{M.Prest},J.Symb。日志。57,第2号,698--723(1992;Zbl 0768.03018) 全文: 内政部
里卡多·比安科尼 在集合上\(所有\)-可从Pfaffian函数定义。 (英语) Zbl 0771.03012号 J.塞姆。日志。 57,第2期,688-697(1992)。 审核人:R.Bianconi(圣保罗) MSC公司:03C65号 03C40号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Bianconi},J.Symb。日志。57,第2号,688--697(1992;Zbl 0771.03012) 全文: 内政部
瓦伦蒂娜·哈里扎诺夫;马丁·库默;吉姆·欧文斯 频率计算和基数定理。 (英语) Zbl 0763.03024号 J.塞姆。日志。 57,第2期,682-687(1992)。 审核人:M.Kummer先生 MSC公司:03D20日 PDF格式BibTeX公司 XML格式引用 \textit{V.Harizanov}等人,J.Symb。日志。57,第2号,682--687(1992;Zbl 0763.03024) 全文: 内政部
马丁·库默 Beigel基数猜想的证明。 (英语) Zbl 0763.03025号 J.塞姆。日志。 57,第2期,677-681(1992)。 审核人:M.Kummer先生 MSC公司:03D20日 65年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kummer},J.Symb(J.塞姆)。日志。57,第2号,677--681(1992;Zbl 0763.03025) 全文: 内政部
吉安·伊夫·吉拉德;达格·诺曼 ptykes的可嵌入性。 (英语) Zbl 0777.03015号 J.塞姆。日志。 57,第2期,659-676(1992)。 审核人:H.Pfeiffer(汉诺威) MSC公司:2015年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{J.-Y.Girard}和\textit{D.Normann},J.Symb。日志。57,编号2,659-676(1992年;Zbl 0777.03015) 全文: 内政部
卢多米尔·纽埃尔斯基 模型及其子集。 (英语) Zbl 0774.03015号 J.塞姆。日志。 57,第2期,644-658(1992)。MSC公司:03C15号 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Newelski},J.Symb。日志。57,No.2,644--658(1992;Zbl 0774.03015) 全文: 内政部
黑山E.,卡洛斯H。 大基数上的组合数学。 (英语) Zbl 0773.03034号 J.塞姆。日志。 57,第2期,617-643(1992)。 审核人:J.高桥(神户) MSC公司:03E05号 03E55型 PDF格式BibTeX公司 XML格式引用 \textit{C.H.黑山E.},J.塞姆。日志。57,第2号,617--643(1992;Zbl 0773.03034) 全文: 内政部
佐菲亚·阿达莫维奇 有界Matijasevich猜想和端延问题的尖锐版本。 (英语) Zbl 0789.03037号 J.塞姆。日志。 57,第2期,597-616(1992)。 审核人:R.Kossak(纽约) MSC公司:03C62号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Adamowicz},J.Symb。日志。57,第2号,597--616(1992;Zbl 0789.03037) 全文: 内政部
张庆龙 满足不可访问的r.e.度的密度。 (英语) Zbl 0776.03019号 J.塞姆。日志。 57,第2号,585-596(1992)。 审核人:R.Sh.Omanadze(第比利斯) MSC公司:03D25号 PDF格式BibTeX公司 XML格式引用 \textit{Q.Zhang},J.Symb。日志。57,第2号,585--596(1992;Zbl 0776.03019) 全文: 内政部
马尔滕·德·里杰克 不等式的模态逻辑。 (英语) Zbl 0788.03019号 J.塞姆。日志。 57,第2期,566-584(1992)。 审核人:V.Shekhtman(莫斯科) MSC公司:03B45号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{M.de Rijke},J.Symb。日志。57,No.2,566--584(1992;Zbl 0788.03019) 全文: 内政部 链接
石原、Hajime 构造数学中的连续性。 (英语) Zbl 0771.03018号 J.塞姆。日志。 57,第2期,557-565(1992)。 审核人:克鲁森斯基(代尔夫特) MSC公司:03层60 46 S30 PDF格式BibTeX公司 XML格式引用 \textit{H.石原慎太郎},J.塞姆。日志。57,第2号,557--565(1992;Zbl 0771.03018) 全文: 内政部
科林·麦克拉蒂 NF中的笛卡尔封闭性失效。 (英语) Zbl 0764.18002号 J.塞姆。日志。 57,第2期,555-556(1992)。 审核人:C.麦克拉蒂 MSC公司:18甲15 03E30年 03E70型 18个B05 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{C.McLarty},J.Symb。日志。57,第2号,555--556(1992;Zbl 0764.18002) 全文: 内政部
弗兰克·瓦格纳。 阿尔提出的déquations génériques。 (英语) Zbl 0768.03021号 J.塞姆。日志。 57,第2期,548-554(1992)。 审核人:F.O.瓦格纳 MSC公司:03C60型 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.O.Wagner},J.Symb。日志。57,第2号,548--554(1992;Zbl 0768.03021) 全文: 内政部
Janusz,Pawlikowski 使用\({\omega{}}^\omega\)边界偏序集添加支配实域。 (英语) Zbl 0767.03027号 J.塞姆。日志。 57,第2期,540-547(1992)。 审核人:J.鲍利科夫斯基 MSC公司:03E35号 03E05号 PDF格式BibTeX公司 XML格式引用 \textit{J.Pawlikowski},J.Symb。日志。57,第2号,540--547(1992;Zbl 0767.03027) 全文: 内政部
金仁玲 \超有限时间线的(U)-单子拓扑。 (英语) Zbl 0770.03024号 J.塞姆。日志。 57,第2期,534-539(1992)。 审核人:R.S.卢巴斯基(兰卡斯特) MSC公司:03时15分 PDF格式BibTeX公司 XML格式引用 \文本{R.Jin},J.Symb。日志。57,第2号,534--539(1992;Zbl 0770.03024) 全文: 内政部
金仁玲 \超有限时间线中的(U \)-Lusin集。 (英语) Zbl 0770.03023号 J.塞姆。日志。 57,第2期,528-533(1992)。 审核人:R.S.卢巴斯基(兰卡斯特) MSC公司:03时15分 PDF格式BibTeX公司 XML格式引用 \textit{R.Jin},J.Symb。日志。57,第2号,528--533(1992;Zbl 0770.03023) 全文: 内政部
金仁玲 超有限时间线中的剪切。 (英语) Zbl 0770.03022号 J.塞姆。日志。 57,第2期,522-527(1992)。 审核人:R.S.卢巴斯基(兰卡斯特) MSC公司:03时15分 PDF格式BibTeX公司 XML格式引用 \textit{R.Jin},J.Symb。日志。57,第2号,522--527(1992;Zbl 0770.03022) 全文: 内政部
罗杰·维尔梅尔 模块理论在直接积下闭合。 (英语) Zbl 0805.03021号 J.塞姆。日志。 57,第2期,515-521(1992)。 审核人:R.Villemaire(蒙特利尔) MSC公司:03C60型 03C20号 03元52分 PDF格式BibTeX公司 XML格式引用 \textit{R.Villemaire},J.Symb。日志。57,第2号,515--521(1992;Zbl 0805.03021) 全文: 内政部 链接
拉克伦,A.H。 \({\aleph{}}0\)-范畴树可分解结构。 (英语) 兹比尔0765.03017 J.塞姆。日志。 57,第2期,501-514(1992)。 审核人:D.Busneag(克雷奥瓦) MSC公司:03C35号 20B07型 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Lachlan},J.Symb。日志。57,第2号,501--514(1992;Zbl 0765.03017) 全文: 内政部
肖恩·拉文 cPC\(_d(\mathbb{A})\)类的一个Spector-Gandy定理。 (英语) Zbl 0764.03012号 J.塞姆。日志。 57,第2期,478-500(1992)。 审核人:S.Lavine(纽约) MSC公司:03C70号 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{S.Lavine},J.Symb(J.塞姆)。日志。57,第2号,478--500(1992;Zbl 0764.03012) 全文: 内政部
维克托·哈尼克 直觉有界算法的可证明总函数。 (英语) Zbl 0778.03019号 J.塞姆。日志。 57,第2期,466-477(1992)。 审核人:F.G.阿森霍(匹兹堡) MSC公司:30楼03号 PDF格式BibTeX公司 XML格式引用 \文本{V.Harnik},J.Symb。日志。57,第2号,466--477(1992;Zbl 0778.03019) 全文: 内政部
朱利叶斯·巴巴内尔。 关于Kunen和Pelletier结果的注释。 (英语) Zbl 0763.04001号 J.塞姆。日志。 57,第2期,461-465(1992)。 审核人:巴巴内尔 MSC公司:03E05号 PDF格式BibTeX公司 XML格式引用 \textit{J.B.Barbanel},J.Symb。日志。57,第2号,461--465(1992;Zbl 0763.04001) 全文: 内政部
阿萨纳西奥斯·祖瓦拉斯 关于Peano算法模型对替代集合论模型的可扩展性。 (英语) Zbl 0772.03023号 J.塞姆。日志。 57,第2期,452-460(1992)。 审核人:K.采达(普拉哈) MSC公司:03E70型 03C62号 03C25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tzouvaras},J.Symb。日志。57,No.2,452--460(1992;Zbl 0772.03023) 全文: 内政部
李·鲁贝尔(Lee A.Rubel)。 关于微分代数整函数的环。 (英语) Zbl 0763.03022号 J.塞姆。日志。 57,第2期,449-451(1992)。 审核人:卢布 MSC公司:03C60型 12H20型 30D20天 PDF格式BibTeX公司 XML格式引用 \textit{L.A.Rubel},J.Symb。日志。57,第2号,449--451(1992;Zbl 0763.03022) 全文: 内政部
你好,劳里;科科·洛斯托 ({mathcal L}(Q_{alpha}))的Beth-closure不是有限生成的。 (英语) 兹伯利0785.03024 J.塞姆。日志。 57,第2期,442-448(1992)。MSC公司:03C75号 03C80号 PDF格式BibTeX公司 XML格式引用 \textit{L.Hella}和\textit{K.Luosto},J.Symb。日志。57,编号2,442--448(1992;Zbl 0785.03024) 全文: 内政部
凯克里斯,A.S。;A.卢瓦尔。 描述性集合理论与调和分析。 (英语) Zbl 0766.03026号 J.塞姆。日志。 57,编号2,413-441(1992)。 审核人:P.Vojtáš(科希策) MSC公司:03E15年 42A99型 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Kechris}和\textit{A.Louveau},J.Symb。日志。57,编号2,413--441(1992;Zbl 0766.03026) 全文: 内政部 链接
弗拉基米尔·乌斯彭斯基。 科尔莫戈洛夫和数理逻辑。 (英语) Zbl 0767.03003号 J.塞姆。日志。 57,第2期,385-412(1992)。 审核人:R.Murawski(波兹南) MSC公司:03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Uspenskij},J.Symb。日志。57,No.2,385--412(1992;Zbl 0767.03003) 全文: 内政部