2 problems

0 votes0 replies1 view
Grumbach's rational limit-law conjecture for finite counting logic
Let $\mathsf{FO}^\phi(\#)$ be first-order logic with the Härtig quantifier, interpreted over finite structures, and let an extension of this logic be given. A limit law means that,…
Conjectureopencounting-logic finite-models finite-model-theoryarXiv posted 2 days ago
0 votes0 replies0 views
Finite clique-width model property for the counting two-variable fragment
The counting two-variable fragment of first-order logic, denoted by $\mathcal{C}^2$ , is known not to have the finite-model property and does not have the finite-treewidth model pro…
Conjectureopencounting-logic finite-model-theory finite-widtharXiv posted 2 days ago

Grumbach's rational limit-law conjecture for finite counting logic