Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic.

John W. Addison Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. 77-92 2004 126 Ann. Pure Appl. Logic 1-3 http://dx.doi.org/10.1016/j.apal.2003.10.009 db/journals/apal/apal126.html#Addison04