Locally Computable Structures

We introduce the notion of a locally computable structure, a natural way of generalizing the notions of computable model theory to uncountable structures S by presenting the finitely generated substructures of S effectively. Our discussion emphasizes definitions and examples, but does prove two significant results. First, our notion of mextensional local computability of S ensures that the Σn-theory of S will

• Type: Conference
• Year: 2007
• Where: CIE
• Authors: Russell G. Miller
• Keywords: CIE 2007, Computable Model Theory, Computable Structure, Discussion Emphasizes Definitions