1 problem

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

Finite clique-width model property for the counting two-variable fragment