The Uniformity Principle for ::::Sigma:::: -Definability with Applications to Computable Analysis

Margarita V. Korovina, Oleg V. Kudinov. The Uniformity Principle for ::::Sigma:::: -Definability with Applications to Computable Analysis. In S. Barry Cooper, Benedikt Löwe, Andrea Sorbi, editors, Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings. Volume 4497 of Lecture Notes in Computer Science, pages 416-425, Springer, 2007. [doi]

Abstract

Abstract is missing.