References & Citations
Mathematics > Logic
Title: Intuitionistic NF Set Theory
(Submitted on 31 Mar 2021 (v1), last revised 21 Nov 2021 (this version, v4))
Abstract: We develop NF set theory using intuitionistic logic; we call this theory INF. We develop the theories of finite sets and their power sets, finite cardinals and their ordering, cardinal exponentiation, addition, and multiplication. We follow Rosser and Specker with appropriate constructive modifications, especially replacing "arbitrary subset" by "separable subset" in the definitions of exponentiation and order. It is not known whether \INF\ proves that the set of finite cardinals is infinite, so the whole development must allow for the possibility that there is a maximum integer; arithmetical computations might "overflow" as in a computer or odometer, and theorems about them must be carefully stated to allow for this possibility. The work presented here is intended as a substrate for further investigations of INF.
Submission history
From: Michael Beeson [view email][v1] Wed, 31 Mar 2021 16:55:17 GMT (58kb)
[v2] Wed, 21 Jul 2021 20:55:41 GMT (63kb)
[v3] Tue, 14 Sep 2021 21:00:36 GMT (63kb)
[v4] Sun, 21 Nov 2021 19:43:01 GMT (63kb)
Link back to: arXiv, form interface, contact.