← back to paper

Review history

arxiv: 2603.27163 · 2 revisions

Hindman and Owings-like theorems without the Axiom of Choice

1. 2026-05-22 UNVERDICTED LOW v0.9.0 novelty 7.0
   41573 ms 5695 in 1321 out 2026-05-22T10:55:39.142671+00:00
2. 2026-05-14 UNVERDICTED LOW v0.9.0 novelty 8.0
   44189 ms 5464 in 1317 out 2026-05-14T22:19:22.789226+00:00