collaborators

1 paper

cs.LO2026

SATisfying the High School Identities but not Wilkie's Identity

Agon Hajdari, Johannes Niederhauser

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 iden…