Categoricity and Consistency in Second-Order Logic

摘要

We analyse the concept of a second-order characterisable structure and divide this concept into two parts-consistency and categoricity-with different strength and nature. We argue that categorical characterisation of mathematical structures in second-order logic is meaningful and possible without assuming that the semantics of second-order logic is defined in set theory. This extends also to the so-called Henkin structures.