Omega-categoricity, relative categoricity and coordinatisation
From MaRDI portal
Publication:912842
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
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 ℵ0-categorical theories
- A family of countable homogeneous graphs
This page was built for publication: Omega-categoricity, relative categoricity and coordinatisation