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