[Trac] [OpenMath] #27: symbols for basic sts types?

[OpenMath]

#27: symbols for basic sts types?
----------------------------+-----------------------------------------------
     Reporter:  kohlhase    |          Owner:  jhd             
         Type:  proposal    |         Status:  assigned        
     Priority:  major       |      Milestone:  MathML3CD Draft1
    Component:  MathML CDs  |        Version:                  
   Resolution:              |       Keywords:                  
Include_gantt:  0           |   Dependencies:                  
   Due_assign:  YYYY/MM/DD  |      Due_close:  YYYY/MM/DD      
----------------------------+-----------------------------------------------
Changes (by jhd):

  * status:  new => assigned

Comment:

 Not quite sure what is meant here.
 If one means
 <Signature name="times">
 <OMOBJ>
  <OMA>
   <OMS name="mapsto" cd="sts"/>
   <OMA>
    <OMS name="nassoc" cd="sts"/>
    <OMV name="AbelianSemiGroup"/>
   </OMA>
   <OMV name="AbelianSemiGroup"/>
  </OMA>
 </OMOBJ>
 </Signature>

 then AbelianSemiGroup is a variable not a constant deliberately: STS
 (Davenport2000) does NOT impose a fixed classification of types, and the
 semantics of AbelianSemiGroup are NOT specified. In particular, there are
 differences between constructive and non-constructive semantics here
 (Davenport et al1991a). Moving to a fixed classification would be a major
 change.

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