Abstract

The aim of this thesis is to provide an account of the meaning of mathematical expressions
in a structuralist context. We first give the necessary background in second-order logic as
language of mathematics. We then formalize the theory of structural definitions into an
account that can be used for both categorical and non-categorical
... read more