Paul-Elliot Anglès d'Auriac

According to our database, Paul-Elliot Anglès d'Auriac authored at least 6 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2023

Carlson-Simpson's lemma and applications in reverse mathematics.

Paul-Elliot Anglès d'Auriac, Lu Liu, Bastien Mignoty, Ludovic Patey

Ann. Pure Appl. Log., October, 2023

2021

A Comparison of various analytic Choice Principles.

Paul-Elliot Anglès d'Auriac, Takayuki Kihara

J. Symb. Log., 2021

2019

Infinite Computations in Algorithmic Randomness and Reverse Mathematics. (Calcul infini dans l'aléatoire algorithmique et les mathématiques à rebours).

Paul-Elliot Anglès d'Auriac

PhD thesis, 2019

Genericity and Randomness with Ittms.

Benoît Monin, Paul-Elliot Anglès d'Auriac

J. Symb. Log., 2019

On more variants of the Majority Problem.

Paul-Elliot Anglès d'Auriac, Francis Maisonneuve, Vivien Maisonneuve, Emmanuel Preissmann, Myriam Preissmann

Discret. Appl. Math., 2019

2017

Another Characterization of the Higher K-Trivials.

Paul-Elliot Anglès d'Auriac, Benoît Monin

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017