[Trac] [OpenMath] #61: CD list1

[OpenMath]

#61: CD list1
-----------------------------+----------------------------------------------
    Reporter:  jauecker      |           Owner:  kohlhase  
        Type:  proposal      |          Status:  new       
    Priority:  major         |       Milestone:  CD3 Draft1
   Component:  OM3 Standard  |         Version:            
    Keywords:                |   Include_gantt:  0         
Dependencies:                |      Due_assign:  YYYY/MM/DD
   Due_close:  YYYY/MM/DD    |  
-----------------------------+----------------------------------------------
 '''Chris:'''


 <list/> tells me very little about how I should think of a list; I
 suspect that they are a bit like ordered sets (which probably also
 need defining somewhere).

 Is 'list' a mathematical idea at all?

 <suchthat/> for lists looks subtly wrong to me, but what is a list?

 I could follow it if it started from a list, but an unordered set
 cannot produce an ordered list like this, can it? (In maths, I know it
 can in a computer implementation/data-type sense).

-- 
Ticket URL: <https://trac.kwarc.info/OM3/ticket/61>
OpenMath <http://www.openmath.org>
The development of the OpenMath Standard and Content Dictionaries.