Comment by ajtulloch

There’s a big long list of these in https://web.math.princeton.edu/generals/, not just Tao’s.