 | This article includes a list of general references, but it lacks sufficient corresponding inline citations. (June 2018) |
In intuitionistic mathematics, a spread is a particular kind of species of infinite sequences defined via finite decidable properties. Here a species is a collection, a notion similar to a classical set in that a species is determined by its members.