33 citations · 33 across the 3 of their papers we have counts for
3 papers
Five Conferences on Undecidability
Nicolas Bouleau, Jean-Yves Girard, Alain Louveau
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalizatio…
The complexity of classifying separable Banach spaces up to isomorphism
Valentin Ferenczi, Alain Louveau, Christian Rosendal
It is proved that the relation of isomorphism between separable Banach spaces is a complete analytic equivalence relation, i.e., that any analytic equivalence relation Borel reduce…
Borel partitions of infinite subtrees of a perfect tree
Alain Louveau, Boban Veličković, Saharon Shelah
A theorem of Galvin asserts that if the unordered pairs of reals are partitioned into finitely many Borel classes then there is a perfect set P such that all pairs from P lie in th…