On 26 Feb 2013, at 19:57, Stephen P. King wrote:
On 2/26/2013 6:02 AM, Bruno Marchal wrote:
On 26 Feb 2013, at 01:39, Stephen P. King wrote:
Dear Bruno,
Have you seen how Tim Maudlin is now a vigorous proponent of the
existence of Time as Fundamental?
In his paper on comp, he seems to favor materialism against comp,
so this is not so astonishing. Likewise he depart from the MWI.
Hi Bruno,
Yes, I agree, he does seem to assume some form of physicalism.
Could subsets of your UD be the Stone dual of a line, as Maudlin
defines them?
Are subsets of the UD equivalent to a Boolean Algebra?
The UD is not a set.
But doing some effort to translate what you say, the answer is NO. You
can make the UD into a set by modeling it by the set of sigma_1
sentences. But the negation of a sigma_1 sentence is not necessarily
sigma_1, so it gives not a boolean algebra.
Bruno
Please elaborate.
Bruno
--
Onward!
Stephen
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list?hl=en
.
For more options, visit https://groups.google.com/groups/opt_out.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.