8 citations · 28 across the 15 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 2 cited
Logical properties of random graphs from small addable classes
Anuj Dawar, Eryk Kopczyński
We establish zero-one laws and convergence laws for monadic second-order logic (MSO) (and, a fortiori, first-order logic) on a number of interesting graph classes. In particular, w…
cs.LO2017
A note on first-order spectra with binary relations
Eryk Kopczynski, Tony Tan
The spectrum of a first-order sentence is the set of the cardinalities of its finite models. In this paper, we consider the spectra of sentences over binary relations that use at l…