On 2/27/2013 9:14 PM, Bruno Marchal wrote:
The UD is one program. It is one string. And UD* is an infinitely
complex structure, roughly equivalent to sigma_1 truth, and structured
from inside by the 8 hypostases, none being boolean.
Sigma_1 logic is more powerful than Boolean algebras, but this does
not allow Sigma_N logics to escape from the necessity of satisfiability.
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 post to this group, send email to email@example.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.