11 ms·

Aha Poire And also https://en.wikipedia.org/wiki/Grothendieck_inequality#Grothendieck_constant_of_order_d https://en.wikipedia.org/wiki/Grothendieck_inequality

• 082349872349872 2y ago
  Seems highly likely that that J-L Krivine is (up to isomorphism, anyway) the same as the eponym of the https://en.wikipedia.org/wiki/Krivine_machine https://en.wikipedia.org/wiki/Krivine_machine . (being the advisor of J-Y Girard is evidence that « un train peut en cacher un autre ») EDIT: s/highly likely/certain/, see publication list: https://www.irif.fr/~krivine/ https://www.irif.fr/~krivine/
  • deleted 2y ago
    [deleted]
  • vinnyvichy 2y ago
    The Karenin stratification