← back to paper

Review history

arxiv: 2605.08274 · 2 revisions

Bourbaki--Zorn Normal Forms for Maximality Arguments

1. 2026-05-13 CONDITIONAL LOW v0.9.0 novelty 7.0
   34848 ms 5520 in 1270 out 2026-05-13T07:50:40.071463+00:00
2. 2026-05-12 UNVERDICTED LOW v0.9.0 novelty 6.0
   53840 ms 5457 in 1376 out 2026-05-12T01:09:26.845152+00:00