William Gaudelier

Orcid: 0009-0003-4251-347X

According to our database¹, William Gaudelier authored at least 2 papers in 2024.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2024

Computable analysis of Ramsey-type theorems. (Analyse calculatoire des théorèmes de type Ramsey).

[DOI]

PhD thesis, 2024

THE REVERSE MATHEMATICS OF ${\mathsf {CAC\ FOR\ TREES}}$.

[DOI]

J. Symb. Log., 2024