[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] [Axiom-mail] Does Axiom support infinite sets

From: Page, Bill
Subject: [Axiom-developer] [Axiom-mail] Does Axiom support infinite sets
Date: Fri, 18 Feb 2005 19:18:19 -0600

On Thursday, February 17, 2005 3:29 PM Ning Wang wrote:
> Can I define an infinite set by the axiom of comprehension
> or the axiom of replacement?

The short (but incomplete) answer is "no". At least not in an
entirely abstract manner. But Axiom does provide tools
specifically for dealing with "infinite", i.e. indefinitely
large, lists called streams.

Perhaps you will find the following web page useful. It
summarizes some of the properties of streams.

If you have other questions please let us know.

Bill Page.

Axiom-mail mailing list

forwarded from

reply via email to

[Prev in Thread] Current Thread [Next in Thread]