1 Hit in 2.1 sec

Tameness in least fixed-point logic and McColm's conjecture [article]

Siddharth Bhaskar, Alex Kruckman
2021 arXiv   pre-print
We investigate four model-theoretic tameness properties in the context of least fixed-point logic over a family of finite structures.  ...  McColm conjectured that least fixed-point definability collapses to first-order definability exactly when proficiency fails. McColm's conjecture is known to be false in general.  ...  Acknowledgements We started this project in 2017 when we were both postdocs at Indiana University, Bloomington. We would like to thank Larry Moss and the logic group at IU for their support.  ... 
arXiv:1708.00148v8 fatcat:4qszai6bjbar5gfofg4grc6z3u