Les structures infinies et l'efficacité,

En théorie des ensembles on cherche à developper une théorie descriptive d’espaces qui ne sont pas polonais. Il y a beaucoup de difficultés reliées au fait que la relation entre les analogues des hierarchies classiques n’est pas aussi étroite que dans les espaces polonais. Nous proposons une autre vision possible de ce que l’efficacité pourrait être, en commençant par les automates et non pas avec la hiérarchie de Borel.