Jump to content

Choice sequence

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Charles Matthews (talk | contribs) at 09:55, 22 June 2008 (expand). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In intuitionistic mathematics, a choice sequence is a constructive formulation of a sequence.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Choice_sequence&oldid=220944472"

Mathematical logic