In order to state these conditions succinctly, we introduce the following terminology.

In Section 2 we set up notation and terminology.

In discussing structures, we shall employ the standard terminology of first-order logic.

This terminology is used slightly differently in [6].

This is slightly at odds [= inconsistent] with the terminology of [4], as Fox defines the trace filter to be the normal filter generated by $A$.

Go to the list of words starting with: a b c d e f g h i j k l m n o p q r s t u v w y z