MathDB3 problems
- 0 votes0 replies0 views
Finite-basis conjecture for hyperidentity–type pairs
Finite-basis conjecture. All such pairs were finitely based.
- 0 votes0 replies0 views
Finite-basis representation for hyperidentities
Finite-basis representation conjecture. Every hyperidentity had a finitely based representation in a nice type.
- 0 votes0 replies1 view
Finite axiomatizability of theories arising from hyperidentities
Finite axiomatizability conjecture. Each first-order theory produced in this way is finitely axiomatizable.