Abstract:The infinite-domain CSP dichotomy conjecture extends the finite-domain CSP dichotomy theorem to reducts of finitely bounded homogeneous structures. Every finitely bounded homogeneous structure is uniquely described by a universal first-order sentence, and every reduct of such a structure by a sentence of the logic SNP. By Fraïssé's Theorem, testing the existence of a finitely bounded homogeneous structure for a given universal first-order sentence is equivalent to testing the amalgamation property for the class of its finite models. The present paper motivates a complexity-theoretic view on the classification problem for finitely bounded homogeneous structures. We show that this meta-problem is EXPSPACE-hard or PSPACE-hard, depending on whether the input is specified by a universal sentence or a set of forbidden substructures. By relaxing the input to SNP sentences and the question to the existence of a structure with a finitely bounded homogeneous expansion, we obtain a different meta-problem, closely related to the question of homogenizability. We show that this second meta-problem is already undecidable, even if the input SNP sentence comes from the Datalog fragment and uses at most binary relation symbols. As a byproduct of our proof, we also get the undecidability of some other properties for Datalog programs, e.g., whether they can be rewritten in the logic MMSNP, whether they solve some finite-domain CSP, or whether they define a structure with a homogeneous Ramsey expansion in a finite relational signature.

Every finite-dimensional analytic space is $σ$-homogeneous

Zero-dimensional $σ$-homogeneous spaces

Hyperspaces of the double arrow

Homogeneous isosceles-free spaces

Analytic Geometry of Homogeneous Spaces

Homogeneous locally compact spaces

Homogeneous spaces of entire functions

On the Theory of Bergman Spaces on Homogeneous Siegel Domains

Homogeneity of Infinite Dimensional Isoparametric Submanifolds

Homogeneous Spaces Associated to Certain Semi-Universal Deformations

From homogeneity to discrete homogeneity

Unforeseen observations about the homological dimension of Hilbert spaces

Spectral analysis on standard locally homogeneous spaces

Lorentzian homogeneous spaces admitting a homogeneous structure of type T1+T3

Homogeneous $(α,β)$-spaces with positive flag curvature and vanishing S-curvature

The homogeneous decomposition of dually translation invariant valuations on Lipschitz functions on the sphere

Almost Fraïssé Banach spaces

Spaces not distinguishing ideal pointwise and $σ$-uniform convergence

On uniformly continuous surjections between $C_p$-spaces over metrizable spaces

Homogeneity and Homogenizability: Hard Problems for the Logic SNP

Compact Resolutions and Analyticity