Decidability of Definability
From MaRDI portal
Publication:5407040
DOI10.2178/jsl.7804020zbMath1327.03008arXiv1012.2381OpenAlexW2078586522MaRDI QIDQ5407040
Todor Tsankov, Manuel Bodirsky, Michael Pinsker
Publication date: 4 April 2014
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1012.2381
Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40)
Related Items (29)
Constraint satisfaction and semilinear expansions of addition over the rationals and the reals ⋮ Homogeneous structures: model theory meets universal algebra. Abstracts from the workshop held January 3--9, 2021 (online meeting) ⋮ Infinitely many reducts of homogeneous structures ⋮ Gowers' Ramsey theorem with multiple operations and dynamics of the homeomorphism group of the Lelek fan ⋮ PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS ⋮ The 42 reducts of the random ordered graph ⋮ Ramsey properties of products and pullbacks of categories and the Grothendieck construction ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ Topological dynamics of kaleidoscopic groups ⋮ Reducts of the generic digraph ⋮ The wonderland of reflections ⋮ Reducts of the random partial order ⋮ Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem ⋮ Permutations on the random permutation ⋮ UNIVERSAL MINIMAL FLOWS OF GENERALIZED WAŻEWSKI DENDRITES ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Reducts of the Henson graphs with a constant ⋮ Schaefer's Theorem for Graphs ⋮ Permutation groups with small orbit growth ⋮ Permutation groups containing infinite symplectic linear groups and reducts of linear spaces over the two element field ⋮ Topological dynamics of unordered Ramsey structures ⋮ Constraint Satisfaction Problems for Reducts of Homogeneous Graphs ⋮ Fixed points in compactifications and combinatorial counterparts ⋮ A Dichotomy for First-Order Reducts of Unary Structures ⋮ PROJECTIVE CLONE HOMOMORPHISMS ⋮ CORES OVER RAMSEY STRUCTURES ⋮ Unnamed Item ⋮ A Dichotomy Theorem for the Inverse Satisfiability Problem ⋮ Unnamed Item
This page was built for publication: Decidability of Definability
