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 up nothing. Every ...
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 why that notation ...
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 called Zastava ...
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 whose etymologies are ...
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?