[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

RE: Subtyping in XML

• To: 'John Cowan' <jcowan@r...>
• Subject: RE: Subtyping in XML
• From: "Bullard, Claude L (Len)" <clbullar@i...>
• Date: Mon, 9 Sep 2002 16:23:26 -0500
• Cc: jlowery@s..., aray@n..., xml-dev@l...

Cantor The Mad.  Back to the denumerability thing 
and quantum foaming at the mouth...

Ok.  Still, he said 

"types first and formost define a concept of membership.
Such definitions must be formal and unambiguous."

So are you saying "unambiguous" means countable?

len

-----Original Message-----
From: John Cowan [mailto:jcowan@r...]

"Bullard, Claude L (Len)" scripsit:

> Doesn't that make type synonymous with set?

No.  Types have to be specifiable: there are only countably many types,
but there are uncountably many sets, indeed $2^\aleph_0$ of them.
An easy way to achieve this is to require that types have names.

• Follow-Ups:
  • Re: Subtyping in XML
    • From: John Cowan <jcowan@r...>

• Prev by Date: Re: Subtyping in XML
• Next by Date: Re: Dave Winer's RSS 2.0
• Previous by thread: Re: Subtyping in XML
• Next by thread: Re: Subtyping in XML
• Index(es):
  • Date
  • Thread