Computing and dominating the Ryll-Nardzewski function
Algebra i logika, Tome 53 (2014) no. 2, pp. 271-281
Voir la notice de l'article provenant de la source Math-Net.Ru
For a countably categorical theory $\mathrm T$, we study the complexity of computing and the complexity of dominating the function specifying the number of $n$-types consistent with $\mathrm T$.
Keywords:
countably categorical theory, Ryll-Nardzewski function, complexity of function.
@article{AL_2014_53_2_a7,
author = {U. Andrews and A. M. Kach},
title = {Computing and dominating the {Ryll-Nardzewski} function},
journal = {Algebra i logika},
pages = {271--281},
publisher = {mathdoc},
volume = {53},
number = {2},
year = {2014},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/AL_2014_53_2_a7/}
}
U. Andrews; A. M. Kach. Computing and dominating the Ryll-Nardzewski function. Algebra i logika, Tome 53 (2014) no. 2, pp. 271-281. http://geodesic.mathdoc.fr/item/AL_2014_53_2_a7/