3 research outputs found
Homomorphism Problems for First-Order Definable Structures
We investigate several variants of the homomorphism problem: given two relational structures, is there a homomorphism from one to the other? The input structures are possibly infinite, but definable by first-order interpretations in a fixed structure. Their signatures can be either finite or infinite but definable. The homomorphisms can be either arbitrary, or definable with parameters, or definable without parameters. For each of these variants, we determine its decidability status
Definable isomorphism problem
We investigate the isomorphism problem in the setting of definable sets
(equivalent to sets with atoms): given two definable relational structures, are
they related by a definable isomorphism? Under mild assumptions on the
underlying structure of atoms, we prove decidability of the problem. The core
result is parameter-elimination: existence of an isomorphism definable with
parameters implies existence of an isomorphism definable without parameters
Canonical functions: a proof via topological dynamics
Canonical functions are a powerful concept with numerous applications in the study of groups, monoids, and clones on countable structures with Ramsey-type properties. In this short note, we present a proof of the existence of canonical functions in certain sets using topological dynamics, providing a shorter alternative to the original combinatorial argument. We moreover present equivalent algebraic characterisations of canonicity