Publication v4
Canonical question, exact result scopes, proof evidence, contributors, history and explanatory examples.
Formal proofs: No complete Lean, Isabelle or other proof-assistant artifact was identified in the selected manuscript; a mathematical reduction is supplied.
AI-assisted work: The paper separately credits model discovery, model-assisted simplification and Peters’s mathematical and expository work.
Selected primary manuscript versions and their cited original literature, checked on 14 October 2026. This is not an exhaustive literature review.
Checked Oct 14, 2026 · independent review pending.
Three-voter decision NP-completeness proved in the preprint · observed Oct 14, 2026
Source status dated Jul 28, 2026 · observed Oct 14, 2026
Strict complete ballots, unbounded number of alternatives, integer score threshold.
Dominik Peters · metadata-link · Source document rights apply; OpenMath publishes original paraphrases.
Linked proof prose is not republished. Any copied graph data is CC0, as specified by its archive. Rights / source terms
kemeny-three-voters:entry:question:v1kemeny-three-voters:entry:decision:v1kemeny-three-voters:entry:implications:v1Source-linked pilot import; independent mathematical review remains pending.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.
Reviewed reader correction: preserve assertion history, exact citations and scoped assessments; task evidence names its exact Claim target.