中文

Conrad纲领:从l群到逻辑代数

环与代数 2018-10-03 v1

摘要

大量研究文献已确立了格序群(l群)在逻辑中的重要作用。本文旨在为发展一种Conrad类型的逻辑代数研究方法奠定基础并作出重要的初步贡献。术语Conrad纲领指Paul Conrad研究l群的方法,该方法主要通过使用凸l子群格的严格格论性质来分析单个l群或l群类的结构。本文证明了Conrad纲领的很大一部分可以在e-循环剩余格的框架下得到有益的推广。这项工作的一个间接益处是在逻辑代数研究中引入了新工具与技术,并强化了剩余格的凸子代数格的作用。

关键词

引用

@article{arxiv.1810.01120,
  title  = {The Conrad Program: From l-groups to algebras of logic},
  author = {Michal Botur and Jan Kühr and Lianzhen Liu and Constantine Tsinakis},
  journal= {arXiv preprint arXiv:1810.01120},
  year   = {2018}
}