Yeah, my understanding is that analysts are often quite strong in that domain of mathematical logic (there’s a similar where algebraic topologists are often inc

Yeah, my understanding is that analysts are often quite strong in that domain of mathematical logic (there’s a similar where algebraic topologists are often incredibly comfortable with categorical logic).