Oxford English Dictionary, s.v. "model, n., sense I.8.b", July 2023. Oxford University Press. The fact that such classes constitute a model of the traditional real number system was pointed out by Dedekind.[1]
Jeavons, Peter; Cohen, David; Pearson, Justin (1998), "Constraints and universal algebra", Annals of Mathematics and Artificial Intelligence, 24: 51–67, doi:10.1023/A:1018941030227, S2CID15244028.
semanticscholar.org
api.semanticscholar.org
Jeavons, Peter; Cohen, David; Pearson, Justin (1998), "Constraints and universal algebra", Annals of Mathematics and Artificial Intelligence, 24: 51–67, doi:10.1023/A:1018941030227, S2CID15244028.
