O.M.塔巴奇尼科娃。 线性方程和数学逻辑的无限系统。 （英语） Zbl 0997.15002号 线性代数应用。 343-344, 473-475 (2002). 一阶逻辑的紧性定理被应用于无穷多（有限）齐次线性方程组的集合。讨论了非平凡（h）-解的性质。然后通过指数（p）有限群中斐波那契数列的基本周期问题来说明这个过程。审核人：瓦克拉夫·布尔扬（普拉哈） 引用于2文件 MSC公司： 15A06号 线性方程组（线性代数方面） 11层39 斐波那契和卢卡斯数、多项式和推广 11立方英尺83 特殊序列和多项式 03C07号机组 一阶语言和结构的基本性质 03B80号 逻辑的其他应用 关键词：紧性定理;斐波那契数列;一阶逻辑;一阶语言;有限齐次方程 PDF格式BibTeX公司 XML格式引用 \textit{O.M.Tabachnikova}，线性代数应用。343--344、473--475（2002；Zbl 0997.15002） 全文： DOI程序 参考文献： [1] 艾丁，H。；Smith，G.C.，一些循环呈现群的有限商，J.London Math。Soc.，49，2，83-92（1994）·Zbl 0807.20029号 [2] H.Aydin，R.Dikici，G.C.Smith，Walland Vinson reviewed，in：《第五届国际会议关于斐波那契数及其应用的会议记录》，1993年第5卷，第61-68页；H.Aydin，R.Dikici，G.C.Smith，Walland Vinson重温，《第五届国际会议关于斐波那契数及其应用的会议记录》，1993年第5卷，第61-68页 [3] Enderton，H.B.，《逻辑数学导论》（1972），学术出版社：纽约学术出版社·Zbl 0298.0202号 [4] Hamilton，A.G.，《数学家的逻辑》（1978），剑桥大学出版社：剑桥大学出版社·兹伯利0383.0303 [5] C.F.Miller III，《数理逻辑：导论》，墨尔本大学，1995年；C.F.Miller III，《数理逻辑：导论》，墨尔本大学，1995年 [6] 诺维科夫，P.S.，《数理逻辑的要素》（1973），《瑙卡：瑙卡-莫斯科》，俄语版 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。