vix.ing · top · new · best · stats · spec

Patey, Ludovic Levy

  1. Conservation of Ramsey's theorem for pairs and well-foundedness
    2024/02/18 by Houérou, Quentin Le, Patey, Ludovic Levy, Yokoyama, Keita · 2 citations
    #FOS: Mathematics #Logic (math.LO)
  2. Π04 conservation of the Ordered Variable Word theorem
    2024/04/29 by Houérou, Quentin Le, Patey, Ludovic Levy · 1 citation
    #03B30 #03F30 #05D10 #FOS: Mathematics #Logic (math.LO)