Talk:Inductive set (axiom of infinity)
need disambig
editOK, this is not what I had in mind when I made this a redlink from list of properties of sets of reals. (Well, probably I was the one who did that.) I was thinking of inductive sets in the descriptive-set-theoretic sense. See Moschovakis.
Frankly I don't think inductive sets as defined in the current article (sets closed under the successor operation) are really notable enough for an article. Basically you use the notion once when formalizing the axiom of infinity, and then never again. The DST notion on the other hand has many uses. So my instinct would really be to rewrite the article entirely using the DST notion, with at most a disambig pointing to the closed-under-successor notion. --Trovatore 00:36, 30 August 2005 (UTC)
OK, done. See inductive set. --Trovatore 02:39, 30 August 2005 (UTC)
- Ok this is fine with me. Paul August ☎ 03:08, August 30, 2005 (UTC)