McColm conjecture
Abstract
Gregory McColm conjectured that positive elementary inductions are bounded in a class K of finite structures if every (FO + LFP) formula is equivalent to a first-order formula in K. Here (FO + LFP) is the extension of first-order logic with the least fixed point operator. We disprove the conjecture. Our main results are two model-theoretic constructions, one deterministic and the other randomized, each of which refutes McColm's conjecture.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- November 1994
- DOI:
- 10.48550/arXiv.math/9411235
- arXiv:
- arXiv:math/9411235
- Bibcode:
- 1994math.....11235G
- Keywords:
-
- Mathematics - Logic;
- Computer Science - Logic in Computer Science
- E-Print:
- Symposium on Logic in Computer Science (1994), 10--19