9
Definitions
•
Let
s
= a vocabulary
•
Let n
¸
0, and A
n
µ
STRUCT[
s
] be all
models over domain {0, 1, …, n-1}
•
Uniform probability distribution on A
n
•
Given sentence
f
, denote
m
n
(
f
) its
probability
•