On Arbitrary Fictional Models

In this chapter we extend the notion of arbitrary reference to individuals to that of arbitrary interpretation. We want to explain how a single arbitrary interpretation of the working mathematician relates to the various possible interpretations in model theory. To this purpose we introduce some arbitrary fictional models. Additionally, we aim to clarify how one can deduce logical consequences of the axioms by reasoning on a single interpretation, even when a theory has non-equivalent elementary models.