Model Theory of Ultrafinitism I: Fuzzy Initial Segments of Arithmetics

Mirco A. Mannucci, Rose M. Cherubin

This article is the first of an intended series of works on the model theory of Ultrafinitism. It is roughly divided into two parts. The first one addresses some of the issues rela…