Ramsey property with respect to filters
On définit un filtre coanalytique sur les entiers tel que pour tout convexe compact métrisable , les fonctions boréliennes fortement affine sur , i.e. vérifiant les égalités barycentriques, soient exactement les limites simples suivant ce filtre de suites de fonctions affines continues sur .
We prove that there is no maximum element, under Borel reducibility, in the class of analytic partial orders and in the class of analytic oriented graphs. We also provide a natural jump operator for these two classes.
Page 1