The conjugacy problem for automorphism groups of countable homogeneous structures

DOI10.1002/malq.201500004zbMath1432.03087arXiv1405.2859OpenAlexW1625734883WikidataQ123238649 ScholiaQ123238649MaRDI QIDQ2958218

Paul Ellis, Samuel Coskey, Martino Lupini

Publication date: 1 February 2017

Published in: Fundamenta Mathematicae, Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1405.2859

zbMATH Keywords

infinitary logicPolish group actionUrysohn spheremodel theory for metric structures

Mathematics Subject Classification ID

Finite automorphism groups of algebraic, geometric, or combinatorial structures (20B25) Complete metric spaces (54E50) Descriptive set theory (03E15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Directed graphs (digraphs), tournaments (05C20) Models of other mathematical theories (03C65) Model theory of denumerable and separable structures (03C15) Abstract model theory (03C95)

Related Items

Metric Scott analysis, CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS, Encoding complete metric structures by classical structures, Conjugacy for homogeneous ordered graphs, Polish \(G\)-spaces and continuous logic, On the classification of automorphisms of trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Omitting types for infinitary \([0,1\)-valued logic]
• The conjugacy problem for the automorphism group of the random graph
• On the geometry of Urysohn's universal metric space
• Some geometric and dynamical properties of the Urysohn space
• Model theoretic forcing in analysis
• A universal topological group with countable base
• A survey of homogeneous structures
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• GREY SUBSETS OF POLISH SPACES
• A Borel reductibility theory for classes of countable structures
• Borel Structure in Groups and Their Duals
• Countable Ultrahomogeneous Undirected Graphs
• Orbits of Permutation Groups on Unordered Sets, II
• Invariant sets in topology and logic
• An interpolation theorem for denumerably long formulas
• Borel equivalence relations and classifications of countable models