Constructive Notions of Cofiniteness
Evan Marzion

Abstract:
In constructive mathematics, equivalences of various properties of cofinite subsets of natural numbers can no longer be proven.  In this report, a number of these properties are investigated for subsets of natural numbers as well as binary relations on natural numbers.