Topic: characteristic predicate
Andrew Ashworth (Aug 07 2019 at 20:36):
I think I found the oldest reference to this notion so far: a paper published in 1986. The author calls them characteristic formulae. (https://www.sciencedirect.com/science/article/pii/S0019995886800316)
Andrew Ashworth (Aug 07 2019 at 20:37):
And if you go further in time which is how I originally found out about it, people are still calling them characteristic formulae. So now there is an "official" name for this idea, I guess?
Kevin Buzzard (Aug 07 2019 at 20:48):
We're talking about Stricklandization? Both Patrick and Neil will be very pleased to hear this :-)
Last updated: May 06 2021 at 18:20 UTC