Countable homogeneous relational structures and ℵ0-categorical theories

DOI10.2307/2272734zbMath0259.02040OpenAlexW2137099410MaRDI QIDQ5675712

C. Ward Henson

Publication date: 1972

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272734

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Structure theory of algebraic structures (08A05) Other degrees and reducibilities in computability and recursion theory (03D30) Categoricity and completeness of theories (03C35) Other classical first-order model theory (03C68)

Related Items (37)

Bjarni Jónsson's contributions in algebra ⋮ Antichains of copies of ultrahomogeneous structures ⋮ Coarse groups, and the isomorphism problem for oligomorphic groups ⋮ Stable generic structures ⋮ 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 ⋮ Countable homogeneous partially ordered sets ⋮ Countable Ultrahomogeneous Undirected Graphs ⋮ COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS ⋮ Homogeneous 1‐based structures and interpretability in random structures ⋮ RETRACTIONS OF REVERSIBLE STRUCTURES ⋮ On automatic homeomorphicity for transformation monoids ⋮ Non-dichotomies in Constraint Satisfaction Complexity ⋮ Age and weak indivisibility ⋮ Omega-categoricity, relative categoricity and coordinatisation ⋮ Countable homogeneous multipartite graphs ⋮ A universal partition result for infinite homogeneous \(K_n\)-free and related graphs ⋮ Simplicity of some automorphism groups. ⋮ Countable homogeneous Steiner triple systems avoiding specified subsystems ⋮ ON CONSTRAINTS AND DIVIDING IN TERNARY HOMOGENEOUS STRUCTURES ⋮ Partition properties of the dense local order and a colored version of Milliken's theorem ⋮ INVARIANT MEASURES CONCENTRATED ON COUNTABLE STRUCTURES ⋮ Indivisible homogeneous directed graphs and a game for vertex partitions ⋮ Forbidden substructures and combinatorial dichotomies: WQO and universality ⋮ A survey of homogeneous structures ⋮ On k-homogeneous posets and graphs ⋮ Homogeneity conditions in graphs ⋮ Permutation groups with small orbit growth ⋮ Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture ⋮ Extending partial isomorphisms for the small index property of many \(\omega\)-categorical structures ⋮ Asymptotic probabilities of extension properties and random \(l\)-colourable structures ⋮ Unnamed Item ⋮ Countable Homogeneous Tournaments ⋮ Using model theory to find decidable and tractable description logics with concrete domains ⋮ Strongly determined types ⋮ Minimal antichains in well-founded quasi-orders with an application to tournaments ⋮ Description logics with concrete domains and general concept inclusions revisited

Cites Work

• Universal relational systems
• Homogeneous Universal Models.
• Homogeneous Universal Relational Systems.

This page was built for publication: Countable homogeneous relational structures and ℵ₀-categorical theories