Identification in the limit of first order structures (Q1073023)

The theory of inductive inference has been largely confined to recursion theoretic contexts, in particular, to the inference of total functions. The present paper extends the theory to the inference of structures interpreting first-order languages. Model-theoretic techniques are used to prove results about the conditions under which successful inference is possible.