阿兰·梅克勒;马塔提胡·鲁宾;查尔斯·斯坦霍恩 Dedekind完备性和\（o\）-极小结构的代数复杂性。 （英语） Zbl 0767.03016号 可以。数学杂志。 44，第4期，843-855（1992）.MSC公司：03C07号机组 03C65号 PDF格式BibTeX公司 XML格式引用 \textit｛A.Mekler｝等人，Can。数学杂志。44，编号4，843-855（1992年；Zbl 0767.03016） 全文： 内政部
维多利亚州古尔德 相干幺半群。 （英语） Zbl 0769.20030号 J.奥斯特。数学。Soc.，爵士。A类 53，第2期，166-182（1992）. 审核人：U.Knauer（奥尔登堡） MSC公司：20M50型 20个M10 20立方米 03C07号机组 03C20号 03C60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Gould}，J.Aust（J.奥斯特）。数学。Soc.，爵士。A 53，No.2，166--182（1992；Zbl 0769.20030）
易、波;徐家福 类比模型和类比对应。 （英语） Zbl 0768.68197号 科学。中国，Ser。A类 35，第3期，374-384（1992）.MSC公司：68T27型 68立方英尺 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Yi}和\textit{J.Xu}，科学。中国，Ser。A 35，编号3，374--384（1992；Zbl 0768.68197）
广岛塔巴塔;肯尼奇·阿拉加内 自由结构和McNulty提供的结构之间的连接。 （英语） Zbl 0763.03018号 数学。日本。 37，第4期，737-741（1992）.MSC公司：03C07号机组 03B20型 PDF格式BibTeX公司 XML格式引用 \textit｛H.Tabata｝和\textit｛K.Aragane｝，数学。日本。37，编号4，737-741（1992年；Zbl 0763.03018）
乔治·韦弗 小型模型。 （英语） Zbl 0765.03018号 国防部。日志。 2，第4期，351-364（1992）.MSC公司：03C75号 03C15号 03C07号机组 03C20号 03元50分 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{G.韦弗}，Mod。日志。2，第4号，351--364（1992；Zbl 0765.03018）
杜内夫，V.G。;O.V.泽特基纳。 一些谓词可以用自由半群的正理论表示。 （俄语） Zbl 0819.20064 Onishchik，A.L.（编辑），群论和同调代数问题。科学著作集。雅罗斯拉夫尔大学。29-34 (1992). 审核人：B.泽林卡（利伯雷语） MSC公司：2005年5月20日 08A50号 03C60型 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.G.Durnev}和\textit{O.V.Zetkina}，in：Voprosy teorii grupp i gomologicheskoj algebry。斯博尼克·纳什尼赫·特鲁多夫（Sbornik nauchnykh trudov）。雅罗斯拉夫尔大学。29-34（1992年；Zbl 0819.20064）
曼弗雷德·德罗斯特 泛域的有限公理化。 （英语） Zbl 0776.68080号 J.日志。计算。 第2期，第119-131页（1992年）. 审核人：C.Masalagiu（伊阿西） MSC公司：68问题55 06B35号 03C07号机组 18B99型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Droste｝，J.日志。计算。2，第2号，119--131（1992；Zbl 0776.68080） 全文： 内政部
罗伯特·德莫洛姆 域相关公式子集的语法特征。 （英语） Zbl 0799.68061号 J.助理计算。机器。 39，第1期，71-94（1992）.MSC公司：第68页，共15页 68第20页 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Demolombe}，J.协会计算。机器。39，编号1，71--94（1992；Zbl 0799.68061） 全文： 内政部
英明生 紧性、Löwenheim-Skolem性质和真值格的直积。 （英语） Zbl 0798.03022号 Z.数学。Logik Grundlagen数学。 38，第5-6号，第521-524页（1992年）.MSC公司：03B50号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying}，Z.数学。Logik Grundlagen数学。38，编号5--6，521--524（1992；Zbl 0798.03022） 全文： 内政部
莫里齐奥·内格里 部分结构中的泛函数。 （英语） Zbl 0793.08004号 Z.数学。Logik Grundlagen数学。 38，第3期，253-268（1992）. 审核人：M.Negri（米兰） MSC公司：08A55号 03C07号机组 03D75号 08A40号 PDF格式BibTeX公司 XML格式引用 \textit{M.Negri}，Z.数学。Logik Grundlagen数学。38，第3号，253-268（1992年；Zbl 0793.08004） 全文： 内政部
保罗·维洛索。 关于保守扩展的另一个警示：一个具有计算风格的简单案例。 （英语） Zbl 0751.03013号 牛。EATCS公司 46, 188-192 (1992).MSC公司：03C07号机组 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}，公牛。EATCS 46、188--192（1992；Zbl 0751.03013）
沃尔夫冈·劳滕贝格 哥德尔完备性定理。（德哥德什·沃尔斯塔恩迪盖茨塔茨） （德语） Zbl 0794.03047号 数学。塞梅斯特伯。 39，第1期，13-28（1992）.MSC公司：03C07号机组 03-01 PDF格式BibTeX公司 XML格式引用 \textit{W.Rautenberg}，数学。塞梅斯特伯。39，编号1，13--28（1992；Zbl 0794.03047） 全文： 内政部
沙布宁，L.V。 某些无限的、有限表示的拟群理论的可判定性。 （英语。俄文原件） Zbl 0819.20076 俄罗斯数学。 36，第3号，74-80（1992）; Izv的翻译。维什。乌切布。扎韦德。，Mat.1992，第3号（358），74-79（1992）。 审核人：G.A.Noskov（鄂木斯克） MSC公司：20号05 08C10号 03C60型 2010年1月20日 2007年7月20日 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.V.Shabunin}，俄罗斯数学。36，第3、1号（1992；Zbl 0819.20076）；Izv的翻译。维什。乌切布。扎韦德。，材料1992，第3号（358），74-79（1992）
马特·考夫曼 Boyer-Moore定理证明器的扩展，以支持一阶量化。 （英语） 兹比尔0784.68076 J.汽车。推理 第9期，第3期，第355-372页（1992年）.MSC公司：68吨15 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.考夫曼}，J.Autom。推理9，No.3，355--372（1992；Zbl 0784.68076） 全文： 内政部
迪米特里·帕尔库诺夫。;阿兰·图雷尔 关于布尔代数和Heyting代数之间的一些联系。 （英语） Zbl 0779.06010号 科学年鉴。布莱斯·帕斯卡·克莱蒙·费勒德大学II 98，数学。28, 5-16 (1992).MSC公司：99年6月 06D20日 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.E.Pal’chunov}和\textit{A.Touraille}，《科学年鉴》。布莱斯·帕斯卡·克莱蒙·费勒德大学II，数学。98（28），5-16（1992；Zbl 0779.06010） 全文： Numdam编号 欧洲DML
H.D.麦克弗森。;普泽特，M。;伍德罗，R.E。 给定年龄的可数结构。 （英语） Zbl 0764.03011号 J.塞姆。日志。 57，第3期，992-1010（1992）. 审核人：H.D.Macpherson（伦敦） MSC公司：03C07号机组 03C15号 03C35号 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{H.D.Macpherson}等人，J.Symb。日志。57，第3号，992--1010（1992；Zbl 0764.03011） 全文： 内政部
米库拉斯（Mikulás，Szabolcs）;伊尔迪科·塞恩;西蒙，安德拉斯 具有投影元素的关系代数的方程理论的复杂性。 （英语） Zbl 0770.03021号 牛。第节。日志。，波兰。阿卡德。科学。 21，第3期，第103-111页（1992年）.MSC公司：03G15年 03C05号机组 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.MikuláS}等人，公牛。第节。逻辑，Pol。阿卡德。科学。21，第3号，103--111（1992；Zbl 0770.03021）
范·达伦（D.van Dalen）。 连续体和一阶直觉主义逻辑。 （英语） Zbl 0766.03036号 J.塞姆。日志。 57，第4期，1417-1424（1992）. 审核人：D.van Dalen先生 MSC公司：03楼55 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{D.van Dalen}，J.Symb。日志。57，第4号，1417--1424（1992；Zbl 0766.03036） 全文： 内政部
佩特里，A。 分层语言。 （英语） Zbl 0785.03017号 J.塞姆。日志。 57，第4期，1366-1376（1992）.MSC公司：03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Pétry}，J.Symb。日志。57，编号4，1366--1376（1992；Zbl 0785.03017） 全文： 内政部
里卡多·比安科尼 在集合上\（所有\）-可从Pfaffian函数定义。 （英语） Zbl 0771.03012号 J.塞姆。日志。 57，编号2688-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 0769.03012号 螺柱日志。 51，第2期，195-214（1992）. 审核人：T.Hosoi（野田佳彦/千叶） MSC公司：03B55号 03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}，研究日志。51，第2号，195--214（1992；Zbl 0769.03012） 全文： 内政部
Sudolatov，S.V.公司。 平面定向理论和非半导体理论中的基本性质。 （俄语） Zbl 0773.03023号 同胞。材料Zh。 33，No.5，218（1992）.MSC公司：03C07号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Sudoplatov}，西布。材料Zh。33，No.5，218（1992；Zbl 0773.03023）
乔治·韦弗 统一了Henkin结构的一些修改。 （英语） Zbl 0768.03009号 圣母院J.形式逻辑 33，第3期，450-460（1992）.MSC公司：03C07号机组 03年10月 PDF格式BibTeX公司 XML格式引用 \textit｛G.Weaver｝，圣母院J.形式逻辑33，第3期，450-460（1992；Zbl 0768.03009） 全文： 内政部