Upper bounds for growth in the Ryll-Nardzewski function of an - categorical, -stable theory

By the Ryll-Nardzewski theorem, a complete countable theory \(T\) is \(\omega\)-categorical iff the number \(s_ n(T)\) of complete \(n\)-types of \(T\) is finite, for each positive integer \(n\). For \(\omega\)-categorical, \(\omega\)-stable \(T\), the author establishes a sharp upper bound for the growth in \(s_ n(T)\). For such a theory \(T\), he proves that there is a natural number \(m\) such that \(s_ n(T)\leq 2^{mn^ 2}\), for all \(n\). The example of an infinite dimensional affine space over a finite field shows that this bound is sharp. He also proves that there is a positive integer \(q\) such that \(| \text{acl}(A)|\leq q^{| A|}\), for every non-empty finite set \(A\) in a model of \(T\). For disintegrated \(\omega\)-categorical, \(\omega\)-stable \(T\), the bound is improved: there is a natural number \(c\) such that, for all \(n\), \(s_ n(T)\leq c^ n (n!)^ r\), where \(r\) is the Morley rank of \(T\). The proof is based on the structure theory for \(\omega\)-categorical, \(\omega\)-stable structures developed by \textit{G. Cherlin}, \textit{L. Harrington} and \textit{A. Lachlan} [Ann. Pure Appl. Logic 28, 103-135 (1985; Zbl 0566.03022)]. The author notes that M. C. Laskowski and E. Hrushowski have shown that in the results above, \(\omega\)-stability cannot be replaced by stability: modifying Hrushowski's construction of \(\omega\)-categorical, stable but not \(\omega\)-stable theory, one can obtain \(\omega\)-categorical, stable theories whose sequences \(s_ n(T)\) grow arbitrarily fast.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Upper bounds for growth in the Ryll-Nardzewski function of an \(\omega{}\)- categorical, \(\omega{}\)-stable theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1802725)