Hi Stephen, On 02 May 2011, at 02:43, Stephen Paul King wrote:
Hi Bruno, Is UD sequentially COmpact? http://en.wikipedia.org/wiki/Sequentially_compact
The UD is a program, as such it is certainly not a topological space. You can put a topology on UD* (the "space" of all computations), though, but there are many solutions. The genuine one are related to the "measure problem", and have to be retrieved from the logic of the hypostasis. So: difficult question.
Now, I like to conjecture that the Mandelbrot set is a "compact" form of universal dovetailing, and if that where true, more could be said.
There are also interesting works by Blok and Ysapia, but it is out of scope of the list, at least right now.
Bruno http://iridia.ulb.ac.be/~marchal/ -- You received this message because you are subscribed to the Google Groups "Everything List" group. To post to this group, send email to firstname.lastname@example.org. To unsubscribe from this group, send email to everything-list+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/everything-list?hl=en.