Comments on: Two Constructive Embedding-Extension Theorems with Applications to Continuity Principles and to Banach-Mazur Computability

Comments on: Two Constructive Embedding-Extension Theorems with Applications to Continuity Principles and to Banach-Mazur Computability http://math.andrej.com/2004/07/27/two-constructive-embedding-extension-theorems-with-applications-to-continuity-principles-and-to-banach-mazur-computability/ Mathematics for computers Fri, 04 Jul 2008 17:33:36 +0000 http://wordpress.org/?v=2.3.3