典型的可数代数
The typical countable algebra
摘要:
我们认为,这是有意义的,讨论格的“典型”性质,然后表明,有,同构,一个唯一的可数格L*(有限格类的Fraisse极限),具有所有的“典型”性质。这些特性包括:L* 是简单的局部有限的,每个保序函数都可以用格多项式插值,每个有限格或可数局部有限格都嵌入到L* 中.同样的论点适用于其他类别的代数,假设它们有一个Fraisse极限,并满足有限嵌入性质。
英文摘要:
We argue that it makes sense to talk about ``typical'' properties of lattices, and then show that there is, up to isomorphism, a unique countable lattice L* (the Fraisse limit of the class of finite lattices) that has all ``typical'' properties. Among these properties are: L* is simple and locally finite, every order preserving function can be interpolated by a lattice polynomial, and every finite lattice or countable locally finite lattice embeds into L*. The same arguments apply to other classes of algebras assuming they have a Fraisse limit and satisfy the finite embeddability property.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。