Omega-categoricity, relative categoricity and coordinatisation (Q912842): Difference between revisions

Let L and \(L^-\) be countable first-order languages, \(L^-\subset L\) and P a unary relation symbol, \(P\in L\setminus L^-\). Suppose that in any model B of the complete L-theory T the set \(P^ B\) is the domain of a substructure P(B) of the \(L^-\) reduct of B. T is said to be relatively categorical if for any models B and \(B'\) of T each isomorphism of P(B) onto \(P(B')\) can be extended to an isomorphism of B onto \(B'\). For T with \(\omega\)-categorical P(B), among related questions, the relationship between relative categoricity and other model-theoretical notions as ``B is algebraic over P(B)'', ``B is coordinatisable over P(B)'', ``there is a natural embedding of Aut(P(B)) in Aut(B)'' are studied.