A survey of homogeneous structures

DOI10.1016/j.disc.2011.01.024zbMath1238.03032OpenAlexW2058971493WikidataQ55885818 ScholiaQ55885818MaRDI QIDQ2275386

Dugald Macpherson

Publication date: 8 August 2011

Published in: Discrete Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.disc.2011.01.024

zbMATH Keywords

survey paperpermutation groupconstraint satisfactionPolish grouphomogeneous structureRamsey classomega-categoricaloligomorhic group

Mathematics Subject Classification ID

Descriptive set theory (03E15) Ramsey theory (05D10) Classification theory, stability, and related concepts in model theory (03C45) Properties of classes of models (03C52) Basic properties of first-order languages and structures (03C07) Model theory of denumerable and separable structures (03C15) Infinite automorphism groups (20B27) Groups as automorphisms of other structures (22F50) Categoricity and completeness of theories (03C35)

Related Items

On a stronger reconstruction notion for monoids and clones ⋮ A topological characterisation of endomorphism monoids of countable structures ⋮ Lattice of definability (of reducts) for integers with successor ⋮ Boundedness and nuclearity of pseudo-differential operators on homogeneous trees ⋮ IB-homogeneous graphs ⋮ The poset of morphism-extension classes of countable graphs ⋮ A classification of orbits admitting a unique invariant measure ⋮ When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems ⋮ Homogenizable structures and model completeness ⋮ Antichains of copies of ultrahomogeneous structures ⋮ Polymorphism clones of homogeneous structures: gate coverings and automatic homeomorphicity ⋮ Polymorphism clones of homogeneous structures: generating sets, Sierpiński rank, cofinality and the Bergman property ⋮ Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures ⋮ Fraïssé limits in comma categories ⋮ Automorphism groups of generic structures: extreme amenability and amenability ⋮ Betweenness relations in a categorical setting ⋮ On sets with rank one in simple homogeneous structures ⋮ PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS ⋮ RELATIVELY EXCHANGEABLE STRUCTURES ⋮ Beyond Lebesgue and Baire. III: Steinhaus' theorem and its descendants ⋮ On the definition of the small index property ⋮ \(>k\)-homogeneous infinite graphs ⋮ The 42 reducts of the random ordered graph ⋮ Fraïssé sequences: category-theoretic approach to universal homogeneous structures ⋮ Polish topologies on endomorphism monoids of relational structures ⋮ Big Ramsey degrees of 3-uniform hypergraphs are finite ⋮ NIP ω$\omega$‐categorical structures: The rank 1 case ⋮ Permutation monoids and MB-homogeneity for graphs and relational structures ⋮ Automorphism invariant measures and weakly generic automorphisms ⋮ THE AUTOMORPHISM GROUP OF THE FRAÏSSÉ LIMIT OF FINITE HEYTING ALGEBRAS ⋮ Bowtie‐free graphs and generic automorphisms ⋮ COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS ⋮ Homogeneous 1‐based structures and interpretability in random structures ⋮ Properties of the automorphism group and a probabilistic construction of a class of countable labeled structures ⋮ The conjugacy problem for automorphism groups of countable homogeneous structures ⋮ Ultrahomogeneous tensor spaces ⋮ The lattice of definability: origins, recent developments, and further directions ⋮ Monadic stability and growth rates of ω$\omega$‐categorical structures ⋮ Solving infinite-domain CSPs using the patchwork property ⋮ GENERALIZED AMALGAMATION AND HOMOGENEITY ⋮ RETRACTIONS OF REVERSIBLE STRUCTURES ⋮ Unnamed Item ⋮ The classification of homomorphism homogeneous tournaments ⋮ Group topologies on automorphism groups of homogeneous structures ⋮ On automatic homeomorphicity for transformation monoids ⋮ Unitary representations of oligomorphic groups ⋮ Action of endomorphism semigroups on definable sets ⋮ THE REDUCTS OF THE HOMOGENEOUS BINARY BRANCHING C-RELATION ⋮ ON PRODUCTS OF ELEMENTARILY INDIVISIBLE STRUCTURES ⋮ Countable homogeneous linearly ordered posets ⋮ Positive families and Boolean chains of copies of ultrahomogeneous structures ⋮ Reducts of the random partial order ⋮ Homogeneous 2-partite digraphs ⋮ Simplicity of some automorphism groups. ⋮ Non-universality of automorphism groups of uncountable ultrahomogeneous structures ⋮ Conjugacy for homogeneous ordered graphs ⋮ Infinite lexicographic products ⋮ The lattice of definable equivalence relations in homogeneous \(n\)-dimensional permutation structures ⋮ ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES ⋮ Constants and finite unary relations in qualitative constraint reasoning ⋮ Characterizations of monadic NIP ⋮ Fraïssé's construction from a topos-theoretic perspective ⋮ Isomorphic and strongly connected components ⋮ BINARY PRIMITIVE HOMOGENEOUS SIMPLE STRUCTURES ⋮ INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES ⋮ Tractability of quantified temporal constraints to the max ⋮ Eliminating unbounded search in computable algebra ⋮ Binary simple homogeneous structures are supersimple with finite rank ⋮ Extending partial isometries of antipodal graphs ⋮ The back-and-forth method and computability without delay ⋮ Two Fraïssé-style theorems for homomorphism-homogeneous relational structures ⋮ Universal locally finite maximally homogeneous semigroups and inverse semigroups ⋮ WQO dichotomy for 3-graphs ⋮ \(\aleph_0\)-categoricity of semigroups. II. ⋮ Homogeneous actions on the random graph ⋮ Binary simple homogeneous structures ⋮ The classification of homogeneous finite-dimensional permutation structures ⋮ Automorphism groups of finite topological rank ⋮ Equations in oligomorphic clones and the constraint satisfaction problem for ω-categorical structures ⋮ Weakly almost periodic functions, model-theoretic stability, and minimality of topological groups ⋮ Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture ⋮ Permutation groups containing infinite symplectic linear groups and reducts of linear spaces over the two element field ⋮ FOUNDATIONS OF ONLINE STRUCTURE THEORY ⋮ On holographic structures ⋮ On highly regular strongly regular graphs ⋮ Topological dynamics of unordered Ramsey structures ⋮ Categoricity in multiuniversal classes ⋮ Supersimple \(\omega\)-categorical theories and pregeometries ⋮ A characterization of retracts in certain Fraïssé limits ⋮ Using model theory to find decidable and tractable description logics with concrete domains ⋮ Description logics with concrete domains and general concept inclusions revisited ⋮ MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES ⋮ The automorphism group of Hall’s universal group ⋮ On the automorphism group of homogeneous structures ⋮ ON THE AUTOMORPHISM GROUP OF THE UNIVERSAL HOMOGENEOUS MEET-TREE ⋮ The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom ⋮ Functional reducts of the countable atomless Boolean algebra

Cites Work

• The classification of countable homogeneous directed graphs and countable homogeneous 𝑛-tournaments
• Relations related to betweenness: their structure and automorphisms
• On an algebra related to orbit-counting
• UBIQUITY OF FREE SUBGROUPS
• Finite Covers, Cohomology and Homogeneous Structures
• Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures
• UNCOUNTABLE COFINALITIES OF PERMUTATION GROUPS
• Autour De La Propriété Du Petit Indice
• Über die Permutationsgruppe der natürlichen Zahlenfolge
• Model Theory
• AFFINE COVERS OF LIE GEOMETRIES AND THE AMALGAMATION PROPERTY
• Aut (M ) Has a Large Dense Free Subgroup for Saturated M
• Finite Homogeneous 3‐Graphs
• Classification of Infinite Primitive Jordan Permutation Groups
• Primitive Permutation Groups with Primitive Jordan Sets
• Extending partial automorphisms and the profinite topology on free groups
• Countable Homogeneous Tournaments
• Reconstruction of classical geometries from their automorphism group
• Cores of Countably Categorical Structures
• Reconstruction of homogeneous relational structures
• One-dimensional asymptotic classes of finite structures
• Minimality conditions on circularly ordered structures
• GENERATING INFINITE SYMMETRIC GROUPS
• Strongly Bounded Groups and Infinite Powers of Finite Groups
• Constraint Satisfaction Problems with Infinite Templates
• A Constructive Solution to a Tournament Problem
• Countable homogeneous relational structures and ℵ₀-categorical theories
• Generating automorphism groups of chains
• Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis
• The probability of generating the symmetric group
• A family of countable homogeneous graphs
• Notes on infinite permutation groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Set-homogeneous directed graphs
• \({\aleph_{0}}\)-categorical structures: endomorphisms and interpretations
• Generic expansions of countable models
• Counterexamples to a conjecture on relative categoricity
• The small index property for infinite dimensional classical groups
• Finite presentation of homogeneous graphs, posets and Ramsey classes
• Automorphisms of homogeneous structures
• Homogenizable relational structures
• Posets, homomorphisms and homogeneity
• Countable connected-homogeneous graphs
• Non-nesting actions of Polish groups on real trees.
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• Quasi finitely axiomatizable totally categorical theories
• On countable stable structures which are homogeneous for a finite relational language
• Stable structures homogeneous for a finite binary language
• Finite axiomatizations for existentially closed posets and semilattices
• Infinite permutation groups. II: Subgroups of small index
• Countable homogeneous partially ordered sets
• Graphs which contain all small graphs
• Combinatorially homogeneous graphs
• A polynomial bound for the orders of primitive solvable groups
• Finite axiomatizability and theories with trivial algebraic closure
• Extending partial isomorphisms of graphs
• Transitivity of permutation groups on unordered sets
• Homogeneous graphs
• Partitions of finite relational and set systems
• Classification theory and the number of non-isomorphic models
• Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures
• Generic structures and simple theories
• Automorphism groups of countable highly homogeneous partially ordered sets
• Set-homogeneous graphs
• A census of infinite distance-transitive graphs
• Some counting problems related to permutation groups
• Comeagre conjugacy classes and free products with amalgamation
• Homogeneous permutations
• Extending partial isomorphisms on finite structures
• Semilinear tower of Steiner systems
• On countable homogeneous \(3\)-hypergraphs
• Infinite homogeneous bipartite graphs with unequal sides
• Reducts of random hypergraphs
• On \(\aleph_0\)-categorical weakly o-minimal structures
• Minimal functions on the random graph
• Extending partial isometries
• On stabilizers of some moieties of the random tournament
• Homomorphism-homogeneous partially ordered sets
• Fraïssé limits, Ramsey theory, and topological dynamics of automorphism groups
• A locally finite dense group acting on the random graph
• The reducts of equality up to primitive positive interdefinability
• The Small Index Property for Free Groups and Relatively Free Groups
• Generic Automorphisms of Homogeneous Structures
• Model Companions for ℵ 0 -Categorical Theories
• Äquivalenzklassen von n‐Tupeln
• Orbits of Infinite Permutation Groups
• Growth Rates in Infinite Graphs and Permutation Groups
• Homomorphism-Homogeneous Relational Structures
• Constraint Satisfaction with Countable Homogeneous Templates
• Turbulence, amalgamation, and generic automorphisms of homogeneous structures
• When is the orbit algebra of a group an integral domain ? Proof of a conjecture of P.J. Cameron
• Countable homogeneous coloured partial orders
• The 116 reducts of (ℚ, <, a)
• A topological version of the Bergman property
• Random hypergraphs in pseudofinite fields
• Structure of partially ordered sets with transitive automorphism groups
• The group of the countable universal graph
• Infinite Permutation Groups of Rapid Growth
• Subgroups of small Index in infinite General Linear Groups
• Subgroups of small Index in infinite Symmetric Groups
• GROUPS OF AUTOMORPHISMS OF N₀-CATEGORICAL STRUCTURES
• SOME TREELIKE OBJECTS
• Automorphism Groups of Infinite Semilinear Orders (I)
• Automorphism Groups of Infinite Semilinear Orders (II)
• Stable Finitely Homogeneous Structures
• Definable Sets in Ordered Structures. I
• Subgroups of Infinite Symmetric Groups
• Countable Ultrahomogeneous Undirected Graphs
• Orbits of Permutation Groups on Unordered Sets, II
• Application de la Notion de Relation Presque‐Enchainable au Denombrement des Restrictions Finies D'une Relation
• Reducts of the random graph
• Interpreting groups in ω-categorical structures
• The permutation group induced on a moiety
• Ends of graphs
• Les automorphismes d'un ensemble fortement minimal
• Smoothly Embeddable Subgraphs
• Probabilities on finite models
• Model theory of difference fields
• Generic expansions of ω-categorical structures and semantics of generalized quantifiers
• The Small Index Property for ω‐Stable ω‐Categorical Structures and for the Random Graph
• Uncountable Saturated Structures have the Small Index Property
• On The Profinite Topology on a Free Group
• On the Reconstruction of ℵ₀ -Categorical Structures from their Automorphism Groups