Abstract
For a fixed countably infinite structure
We show decidability of this problem for all structures
Citation
Manuel Bodirsky. Michael Pinsker. Todor Tsankov. "Decidability of definability." J. Symbolic Logic 78 (4) 1036 - 1054, December 2013. https://doi.org/10.2178/jsl.7804020
Information