X-2016-06: Marzion, Evan (2016) Constructive Notions of Cofiniteness. [Report]
Preview |
Text
cof report.pdf Download (332kB) | Preview |
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.
| Item Type: | Report |
|---|---|
| Report Nr: | X-2016-06 |
| Series Name: | Technical Notes (X) Series |
| Year: | 2016 |
| Uncontrolled Keywords: | constructive mathematics, ramsey theory |
| Subjects: | Computation Logic |
| Depositing User: | Evan Marzion |
| Date Deposited: | 28 Nov 2016 15:57 |
| Last Modified: | 05 Dec 2016 13:15 |
| URI: | https://eprints.illc.uva.nl/id/eprint/1412 |
Actions (login required)
 |
View Item |
