Equality and near-equality in a nonstandard world

Abstract

In the context of nonstandard analysis, the somewhat vague equality relation of near-equality allows us to relate objects that are indistinguishable but not necessarily equal. This relation appears to enable us to better understand certain paradoxes, such as the paradox of Theseus’s ship, by identifying identity at a time with identity over a short period of time. With this view in mind, I propose and discuss two mathematical models for this paradox.