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.
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.
Source: Wikipedia "Spread (intuitionism)" · CC BY-SA 4.0
Share this article: X · Bluesky