X-2016-06: Constructive Notions of Cofiniteness

X-2016-06: Marzion, Evan (2016) Constructive Notions of Cofiniteness. [Report]

[thumbnail of cof report.pdf]
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 View Item