MathDB1 problem
- 0 votes0 replies0 views
The semiring CFI conjecture on the limitations of first-order and fixed point logic
Semiring CFI conjecture. By lifting the well-known CFI-construction to semirings, one can show that there is no semiring for which first-order logic, and even fixed point logic, is…