First-Order Properties

A first-order property of a structure is a property that can be expressed by a formula of first-order logic. Many properties are first-order but some important ones are not. We will see why finiteness, minimality, order-minimality, and being well-ordered are not first-order, and how some such properties can be expressed in higher-order logics.