On Thu, February 12, 2009 9:21 am, Paul Libbrecht wrote: > I think that the fact that Robert and myself didn't find it proves > that a symbol having the semantic of > set_of_expression_results_suchthat is wished. But what precisely would the seminatics be to avoid Russell's paradox. I think you need to start with a ground set, AS IN map. Maybe the name needs improvement, but I am unclear whetehr you are suggesting different semantics, and if so, which. > Since we have a "defining FMP" anyone can do so anytime... > But consider here my suggestion (once we find a right name!) for > inclusion into set1. Fair comment. Indeed, if the DefMP proposal ever gets formalised along the line of <FMP type="defining">, we could even consider <FMP type="alias"> as a simpled form for this case.
James Davenport Hebron & Medlock Professor of Information Technology Formerly Undergraduate Director of Studies, CS Dept Lecturer on CM30070, 30078, 50209, 50123, 50199 Chairman, Powerful Computing WP, University of Bath OpenMath Content Dictionary Editor IMU Committee on Electronic Information and Communication _______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
