This is an old revision of this page, as edited by R.e.b.(talk | contribs) at 03:17, 19 July 2014(Adding/improving reference(s)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 03:17, 19 July 2014 by R.e.b.(talk | contribs)(Adding/improving reference(s))
In mathematics, primitive recursive set functions or primitive recursive ordinal functions are analogs of primitive recursive functions, defined for sets or ordinals rather than natural numbers. They were introduced by Jensen & Karp (1971).
Definition
References
Jensen, Ronald B.; Karp, Carol (1971), "Primitive recursive set functions", Axiomatic Set Theory, Proc. Sympos. Pure Math., vol. XIII, Part I, Providence, R.I.: Amer. Math. Soc., pp. 143–176, ISBN9780821802458, MR0281602{{citation}}: CS1 maint: extra punctuation (link)
