幂等线性 Maltsev 条件的随机模型 I：幂等素性
逻辑
2019-01-21 v1 组合数学
摘要
我们将 Murski\v{\i} 的一个著名定理推广到强幂等线性 Maltsev 条件的恒等式系统 的有限模型概率空间中。我们对 的模型进行了刻画，使其能够容易地转化为生成 的随机有限模型的算法，并证明了在对 的温和限制下， 的随机有限模型几乎必然是幂等素的。这意味着，即使这样的 可以通过 的一个有限模型 与另一个幂等线性 Maltsev 条件区分开来，随机搜索具有此性质的 的有限模型 也几乎必然会失败。
引用
@article{arxiv.1901.06316,
title = {Random Models of Idempotent Linear Maltsev Conditions. I. Idemprimality},
author = {Clifford Bergman and Agnes Szendrei},
journal= {arXiv preprint arXiv:1901.06316},
year = {2019}
}