[Om3] trouble with container markup example

[Professor James Davenport]

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