格的同余格的不可解一维提升问题
摘要：分配的{∨，0}-半格S。在以前的文章中，第二作者证明了以下结果：假设S是一个格。让K是一个格，让$phi$:Con K -> S是一个{∨，0}-同态。那么$phi$在同构意义上等于Conc f，其中L是一个格，f是一个格同态函数。在上面的陈述中，Conc K通常表示K的所有有限生成的同余的{∨，0}-半格。我们在这里证明这个陈述描述了S是一个格。
作者：Jiri Tuma (MFF-UK), Friedrich Wehrung (LMNO)
论文ID：math/0501377
分类：General Mathematics
分类简称：math.GM
提交时间：2007-05-23