Omega-categoricity, relative categoricity and coordinatisation

DOI10.1016/0168-0072(90)90033-XzbMath0699.03016OpenAlexW1982479757WikidataQ61848384 ScholiaQ61848384MaRDI QIDQ912842

Dugald Macpherson, Wilfrid Hodges, I. M. Hodkinson

Publication date: 1990

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(90)90033-x

zbMATH Keywords

coordinatizationrelative categoricityomega-categoricity

Mathematics Subject Classification ID

Interpolation, preservation, definability (03C40) Model theory of denumerable and separable structures (03C15) Categoricity and completeness of theories (03C35)

Related Items (13)

A model and its subset: The uncountable case ⋮ Interpreting groups in ω-categorical structures ⋮ Abelian groups \(\aleph_ 0\)-categorical over a subgroup ⋮ On variants of \(o\)-minimality ⋮ A model and its subset ⋮ On the prime model property ⋮ Type reduction and powerful types ⋮ Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup ⋮ Weak elimination of imaginaries for Boolean algebras ⋮ Counterexamples to a conjecture on relative categoricity ⋮ The small index property for infinite dimensional classical groups ⋮ Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\) ⋮ Completely decomposable abelian groups \(\aleph_ 0\)-categorical over a subgroup

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Counterexamples to a conjecture on relative categoricity
• Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• Quasi finitely axiomatizable totally categorical theories
• Infinite permutation groups. II: Subgroups of small index
• \(\aleph_0\)-categoricity over a predicate
• Classification theory and the number of non-isomorphic models
• Model theory
• Une théorie de Galois imaginaire
• Subgroups of small Index in infinite General Linear Groups
• Subgroups of small Index in infinite Symmetric Groups
• Automorphism Groups of Infinite Semilinear Orders (II)
• On the category of models of a complete theory
• On the orbit-sizes of permutation groups containing elements separating finite subsets
• Naturality and Definability, I
• Logic with the quantifier “there exist uncountably many”
• On strongly minimal sets
• Countable homogeneous relational structures and ℵ₀-categorical theories
• A family of countable homogeneous graphs

This page was built for publication: Omega-categoricity, relative categoricity and coordinatisation