Omega-categoricity, relative categoricity and coordinatisation (Q912842): Difference between revisions
From MaRDI portal
Revision as of 15:35, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Omega-categoricity, relative categoricity and coordinatisation |
scientific article |
Statements
Omega-categoricity, relative categoricity and coordinatisation (English)
0 references
1990
0 references
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.
0 references
omega-categoricity
0 references
coordinatization
0 references
relative categoricity
0 references
0 references