ABSTRACT It is currently fashionable to take Putnamian model-theoretic worries seriously for mathematics, but not discussions of ordinary physical objects and the sciences. However, I will argue that (under certain mild assumptions) merely securing determinate reference possibility suffices rule out kind nonstandard interpretations our number talk Putnam invokes. So, anyone who accepts should r...
Summary In this paper problems 48, 80, 87, 89, and 124 from [7] are formalized, using the Mizar formalism [1], [2], [4]. The work is natural continuation of [5] [3] as suggested in [6].
