Re: A paper for your Comments

2010-10-08 Thread Stephen Paul King
Dear Bruno, The discussion has evolved enough now from my original topic as to require that I restate my thesis and add some new ideas in a new post with a new subject line, given some new understanding of your ideas. I greatly appreciate your patience and comments as I have learned a grea

Re: Another paper for your Comments

2010-10-08 Thread Bruno Marchal
On 06 Oct 2010, at 17:43, Brian Tenneson wrote: I figure this is especially of interest because of the references to Tegmark's works. From a logician's standpoint, it may be of interest that I show that there is a structure U such that all structures, regardless of symbol set, can be ele