Identification in the limit of first order structures (Q1073023)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Identification in the limit of first order structures |
scientific article; zbMATH DE number 3943803
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Identification in the limit of first order structures |
scientific article; zbMATH DE number 3943803 |
Statements
Identification in the limit of first order structures (English)
0 references
1986
0 references
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.
0 references
inductive inference
0 references
