10 citations · 12 across the 11 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Extension Preservation in the Finite and Prefix Classes of First Order Logic
Anuj Dawar, Abhisekh Sankaran
It is well known that the classic Łoś-Tarski preservation theorem fails in the finite: there are first-order definable classes of finite structures closed under extensions which ar…
cs.LO2020
Relativization of Gurevich's Conjectures
Anatole Dahan, Anuj Dawar
Gurevich (1988) conjectured that there is no logic for or for . For the latter complexity class, he also showed that the existence of a…