Intuitionistic NF Set Theory
From MaRDI portal
Publication:6364342
arXiv2104.00506MaRDI QIDQ6364342FDOQ6364342
Publication date: 31 March 2021
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.
Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)
This page was built for publication: Intuitionistic NF Set Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6364342)
