Infinity is Not a Size
arXiv:2208.13732
Abstract
We present a dynamic model theory that avoids the paradoxes stemming from completed infinities, but does not require any translation of formulae. The main adoption is the replacement of an actual infinite carrier set by a potential infinite one, and by a finitistic interpretation of the universal quantifier.
arXiv comment16 pages. Logica 2020