• To: clbullar@i... ("Bullard, Claude L (Len)")
• Subject: Re: Subtyping in XML
• From: John Cowan <jcowan@r...>
• Date: Mon, 9 Sep 2002 17:17:54 -0400 (EDT)
• Cc: jlowery@s... ('Jeff Lowery'), jcowan@r... ('John Cowan'), aray@n..., xml-dev@l...
• In-reply-to: <2C61CCE8A870D211A523080009B94E430752B91C@HQ5> from "Bullard, Claude L (Len)" at Sep 09, 2002 04:07:05 PM

"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.

-- 
John Cowan   jcowan@r...   http://www.reutershealth.com
    "Mr. Lane, if you ever wish anything that I can do all you will have
        to do will be to send me a telegram asking and it will be done."
    "Mr. Hearst, if you ever get a telegram from me asking you to do
        anything you can put the telegram down as a forgery."

• References:
  • RE: Subtyping in XML
    • From: "Bullard, Claude L (Len)" <clbullar@i...>

• Prev by Date: RE: Subtyping in XML
• Next by Date: RE: Subtyping in XML
• Previous by thread: RE: Subtyping in XML
• Next by thread: RE: Subtyping in XML
• Index(es):
  • Date
  • Thread