Computability in Europe 2006
Logical Approaches to Computational Barriers
|Slot:||Sat, 17:40-18:00, Faraday B (col. 1)|
Criteria of definability and (in some wide class) effective definability of the field of reals in admissible sets are found in terms of definable collections of naturals.
|websites: Arnold Beckmann||2006-04-19|