Zulip Chat Archive

Stream: maths

Topic: characteristic predicate


view this post on Zulip 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)

view this post on Zulip 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?

view this post on Zulip 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