Internet Archive Scholar
Filters
























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

Preserved Fulltext

fulltext thumbnail
Web Archive Capture PDF (360.0 kB)
https://web.archive.org/web/20210128100239/https://arxiv.org/pdf/1708.00148v8.pdf

A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL. The file type is application/pdf.

Other Versions

2017 pre-print
arXiv:1708.00148v2 fatcat:txit2j534jdeniuufcpovrbcei
2017 pre-print
arXiv:1708.00148v1 fatcat:utqawsoin5bqvoyeyrf3na4ame
2020 pre-print
arXiv:1708.00148v7 fatcat:5xqfxa7xbvemvfmrs4t4kzye6e
2020 pre-print
arXiv:1708.00148v5 fatcat:sdskzog3wrfndgt25oz6acpz6i
2020 pre-print
arXiv:1708.00148v6 fatcat:6v2wklq3g5alpg4hjb6mmogcjq
2018 pre-print
arXiv:1708.00148v3 fatcat:mkhpynqkvjai7oikseel2ghe3i
2018 pre-print
arXiv:1708.00148v4 fatcat:pppplkup7jct7eiw45a5kxw24u
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
Open Access Multiple Versions
Citation

Siddharth Bhaskar, Alex Kruckman. "Tameness in least fixed-point logic and McColm's conjecture." arXiv (2021)