A decidable $ℵ_0$-categorical theory with a non-recursive Ryll-Nardzewski function
Tom 98 / 1978
Fundamenta Mathematicae 98 (1978), 121-125
DOI: 10.4064/fm-98-2-121-125