PhD Thesis
Here is my PhD thesis, Functions of the first Baire class (pdf), jointly supervised by Jacques Duparc from the University of Lausanne and Olivier Finkel from the University Paris 7  Denis Diderot. It gathers the articles Playing in the first Baire class and A quasiorder on continuous functions. The general summary at the beginning is in french, the remainder of the thesis is in english.Published or accepted papers

Sigmacontinuity with closed witnesses (joint work with Benjamin D. Miller)
To appear in Fundamenta Mathematicae (pdf)
We use variants of the G0 dichotomy to establish a refinement of Solecki's basis theorem for the family of Baireclass one functions which are not σcontinuous with closed witnesses.

Epimorphisms between linear orders (joint work with Riccardo Camerlo and Alberto Marcone)
Order, 32, pp.387400 (pdf)
We study the relation on linear orders induced by order preserving surjections. In particular we show that its restriction to countable orders is a bqo.
To respect the copyright agreement signed with Order, the file available on this page is a preprint. The published version of this article is available on Order's website or on demand by mail.

From well to better, the space of ideal (joint work with Yann Pequignot).
Fundamenta Mathematicae, 227, pp 247270 (pdf)
On the one hand, the ideals of a well quasiorder (wqo) naturally form a compact topological space into which the wqo embeds. On the other hand, NashWilliams' barriers are given a uniform structure by embedding them into the Cantor space. We prove that every map from a barrier into a wqo restricts on a barrier to a uniformly continuous map, and therefore extends to a continuous map from a countable closed subset of the Cantor space into the space of ideals of the wqo. We then prove that, by shrinking further, any such continuous map admits a canonical form with regard to the points whose image is not isolated. As a consequence, we obtain a simple proof of a result on better quasiorders (bqo); namely, a wqo whose set of non principal ideals is bqo is actually bqo.

Playing in the first Baire class
Mathematical Logic Quarterly, volume 60, n. 12, pp. 118132, 2014 (DOI 10.1002/malq.201200064) (pdf).
We present a selfcontained analysis of some reduction games, which characterise various natural subclasses of the first Baire class of functions ranging from and into 0dimensional Polish spaces. We prove that these games are determined, without using Martin's Borel determinacy, and give precise descriptions of the winning strategies for Player I. As an application of this analysis, we get a new proof of the Baire's lemma on pointwise convergence.
To respect the copyright agreement signed with MLQ, the file available on this page is a preprint. The published version of this article is available on MLQ's website or on demand by mail.

A quasiorder on continuous functions
Journal of Symbolic Logic, volume 78, n. 2, pp. 633648, june 2013. (pdf)
We define a quasiorder on Borel functions from a zerodimensional Polish space into another that both refines the order induced by the Baire hierarchy of functions and generalises the embeddability order on Borel sets. We study the properties of this quasiorder on continuous functions, and we prove that the closed subsets of a zerodimensional Polish space are wellquasiordered by bicontinuous embeddability.

Decomposing Baire class one functions
Future Directions for Logic, Proceedings of PhD's in Logic III, pp 111, 2012.
This is a conference paper that prepares Playing in the first Baire class.
Articles either submitted or in preparation

Topological embeddability among functions: order and chaos (joint work with Yann Pequignot and Zoltán Vidnyánszky)
In preparation

Bases for functions beyond the first Baire class (Joint work with Benjamin D. Miller)
Submitted (pdf)

Linear orders: when embeddability and epimorphisms agree (Joint work with Riccardo Camerlo and Alberto Marcone)
Submitted (pdf)
Descriptive Cosmology (Joint work with Johan Comparat)
In preparation

Open graphs, Hurewiczstyle dichotomies and the JayneRogers Theorem (Joint work with Benjamin D. Miller)
Submitted (pdf)
Some Notes

Some advice on a first article, gathered here and there
There is no real reason to let someone in the dark for his/her first article (in english), when some tricks are wellknown! I have gathered some here, please feel free to comment/correct/add.

Making a tree with a function?
Following a talk, Taras Banakh suggested a quasiorder between functions that is bqo for simple reasons. I explain here on an example why it does not respect the Borel complexity of preimages, or Borel degree function. (pdf)