Canonical functions: a proof via topological dynamics

MaRDI QIDQ5154970zbMATH OpenFDO

Authors Michael Pinsker, Manuel Bodirsky

Publication date 5 October 2021

Full work available at URL https://arxiv.org/abs/1610.09660, https://cdm.ucalgary.ca/article/view/71724

zbMATH Keywords

Ramsey propertycanonical functionoligomorphic permutation group\( \omega \)-categorical structureextremely amenable permuation group

Mathematics Subject Classification ID

Groups as automorphisms of other structures (22F50) Categoricity and completeness of theories (03C35) Infinite automorphism groups (20B27)

Recommendations

• Topologically inseparable functions II: Infinitary case
• Topologically inseparable functions I: Finitary case
• Definability in functional analysis
• Ultrafilters and Ramsey-type shadowing phenomena in topological dynamics
• Representation of algebraic theories and non-expanding maps

Cites work

• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 6862042 (Why is no real title available?)
• A complexity dichotomy for poset constraint satisfaction
• A uniform Birkhoff theorem
• Automorphism groups and Ramsey properties of sparse graphs
• CORES OVER RAMSEY STRUCTURES
• Constraint satisfaction problems for reducts of homogeneous graphs
• Decidability of definability
• Dynamics of non-Archimedean Polish groups
• Equivalence constraint satisfaction problems
• Ergodic Ramsey theory: a dynamical approach to static theorems
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• Locally finite constraint satisfaction problems
• PROJECTIVE CLONE HOMOMORPHISMS
• Permutations on the random permutation
• Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
• Reducts of the Henson graphs with a constant
• Reducts of the generic digraph
• Reducts of the random partial order
• The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems
• The reducts of the homogeneous binary branching \(C\)-relation
• The wonderland of reflections
• \(2^{\aleph_{0}}\) pairwise nonisomorphic maximal-closed subgroups of \(\mathrm{Sym}(\mathbb N)\) via the classification of the reducts of the Henson digraphs
• \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations

Cited in

(13)

• On the descriptive complexity of temporal constraint satisfaction problems
• Hardness of Network Satisfaction for Relation Algebras with Normal Representations
• The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom
• Topological realization of transfer functions in canonical forms
• Complexity classification transfer for CSPs via algebraic products
• When symmetries are not enough: a hierarchy of hard constraint satisfaction problems
• Equations in oligomorphic clones and the constraint satisfaction problem for \(\omega \)-categorical structures
• Smooth approximations and CSPs over finitely bounded homogeneous structures
• Polish topologies on endomorphism monoids of relational structures
• Canonical Functions: a proof via topological dynamics
• Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough
• Solving equation systems in ω-categorical algebras
• Constraint satisfaction problems for reducts of homogeneous graphs

This page was built for publication: Canonical functions: a proof via topological dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5154970)