characteristic predicate

Stream: maths

[Andrew Ashworth]

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]

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]

We're talking about Stricklandization? Both Patrick and Neil will be very pleased to hear this :-)