|
||
|
|
||
|
|
|
MR2060926
(2005b:03076)
03C13
(03-03 03C40 68Q19)
Addison, J. W. Tarski's theory of definability: common themes in descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. Provinces of logic determined. Ann. Pure Appl. Logic 126 (2004), no. 1-3, 77--92. |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|
