Spread (intuitionism)

In intuitionistic mathematics, a species is a collection. A spread is a particular kind of species of infinite sequences defined via finite decidable properties. In modern terminology, a spread is an inhabited closed set of sequences. The notion of spread was first proposed by L. E. J. Brouwer (1918B), and was used to define the real numbers. As Brouwer's ideas were developed, the use of spreads became common in intuitionistic mathematics, especially when dealing with choice sequences and the foundations of intuitionistic analysis.


In intuitionistic mathematics, a species is a collection. A spread is a particular kind of species of infinite sequences defined via finite decidable properties. In modern terminology, a spread is an inhabited closed set of sequences. The notion of spread was first proposed by L. E. J. Brouwer (1918B), and was used to define the real numbers. As Brouwer's ideas were developed, the use of spreads became common in intuitionistic mathematics, especially when dealing with choice sequences and the foundations of intuitionistic analysis.
Read article on Wikipedia