满足高中恒等式但不满足Wilkie恒等式
SATisfying the High School Identities but not Wilkie's Identity
首次发表
浏览论文内容
中文总结 AI 辅助
本研究解决塔斯基高中代数问题的开放问题，通过将问题编码为SAT实例验证不存在11元代数满足高中恒等式但反驳Wilkie恒等式，还得到新的非同构12元反模型。
中文摘要 AI 辅助
我们解决了与塔斯基高中代数问题相关的一个开放问题，证明不存在11元代数能满足高中恒等式却反驳Wilkie恒等式。我们将该搜索问题编码为SAT实例并独立验证了结果，作为副产品，得到了一个与已知非同构的新12元反模型。
英文摘要
We settle an open question related to Tarski's High School Algebra problem by showing that no 11-element algebra can satisfy the High School Identities while refuting Wilkie's identity. We encode the search as a SAT instance and independently verify the result. As a byproduct, we obtain a new 12-element countermodel that is not isomorphic to the previously known one.
