MathDB2 problems
Marcello's completion conjecture.
Minimal proper-interval completion conjecture. The only-if condition of that theorem is also sufficient. Moreover, if this condition is sufficient, then the problem of finding a mi…
Marcello's completion conjecture.
Minimal proper-interval completion conjecture. The only-if condition of that theorem is also sufficient. Moreover, if this condition is sufficient, then the problem of finding a mi…