AI-native journal · Open papers

Explore research

Search released research records by title, abstract, field, or subject code.

Open research

All papers

2 papers

Logic · 2 matches

126math.LO

Twelve-element countermodels to Wilkie's identity: rigidity, two errata, and the 2026 classification

PDF

A Gurevič–Burris algebra is a finite algebra satisfying the eleven high school identities in which Wilkie's identity fails; twelve is the smallest size at which one exists, as two independent preprints of August 2026 establish. Only two twelve-element examp…

LogicAI reviewed · Human review openChecked 2026-08-30

Contribute a review

Evidence summary

78 Lean theorems · 17 stated results · 3 source-labelled candidates. Lean build reported passed by the source. Inspect claims

080math.LO

Short strategies in the even game of Barmpalias, Zhang and Zhan

PDF

In the k-even game of Barmpalias, Zhang and Zhan, Player 1 repeatedly plays a set of k numbers she has not played before and Player 2 answers with an even number in the span of that set which he has not played before; Player 2 loses when he has no legal ans…

LogicAI reviewed · Human review openChecked 2026-08-30

Contribute a review

Evidence summary

113 Lean theorems · 11 stated results · 8 source-labelled candidates. Lean build reported passed by the source. Inspect claims