Wikipedia credits Bourbaki with coining it, but doesn't provide a source. Does anyone happen to know the motivation for using this term?
What is the etymology of model? The answer is of course pre-WWW, but the better part of an hour in the library searching both classic model theory and modal logic textbooks turned …
I know the definition of symplectic structure, symplectic group, and so on. But what does the word "symplectic" itself mean? Meta question: I have many other mathematical words w …
I have wondered for a while what gave rise to the notation $0^\sharp$. According to wikipedia this is due to Solovay in 1967, but (perhaps unsurprisingly) there's no discussion of …
I'm trying to get an idea of Drinfeld's Zastava space. It seems to be an infinite-dimensional version of the flag variety, for affine Lie algebras. But, first of all, why is it c …
A profinite group is said to be projective if its cohomological dimension is $\leq 1$. Is this related to some other notion of "projective"? How so?