Browsing by Subject "dynamic model theory"
Now showing items 1-1 of 1
(2010-05-19)In this note we consider the following decision problems. Let S be a fixed first-order signature. (i) Given a first-order theory or ground theory T over S of Turing degree A, a program scheme p over S, and input values ...