Eight open Kourovka Notebook problems are resolved by explicit constructions and counterexamples, with proofs claimed to be formally verified in Lean.
Unsolved problems in ordered and orderable groups
1 Pith paper cite this work, alongside 5 external citations. Polarity classification is still indexing.
1
Pith paper citing it
5
external citations · Pith
abstract
We provide a list of (mainly unsolved) problems in ordered and orderable groups. These were originally compiled 10 years ago by the last two authors. New problems have been added to the list. Progress on some of these is noted and references provided. A few have been solved and their solutions are noted and referenced. We hope that this submission will act as a spur to mathematicians to solve some of them!
fields
math.GR 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
On Some Problems from the Kourovka Notebook
Eight open Kourovka Notebook problems are resolved by explicit constructions and counterexamples, with proofs claimed to be formally verified in Lean.