Hi Stephen,
On 25 Jan 2013, at 18:06, Stephen P. King wrote:
Have you seen this? What implications does it have?
http://arxiv.org/ftp/arxiv/papers/1301/1301.5340.pdf
If the result is correct (which I think it is) it is a nice
generalization of Löb's theorem. It makes it somehow more solid, and
valid for a large set of consistent extension. I avoid the need of
this by making the strong soundness assumption; + the comp assumption.
But it confirms the feeling that Löb's works also on many divine
entities. Other results by Solovay gives similar suggestions.
Bu I have to study it closely to be verify what I say here in the
detail. Thanks for the link.
Best,
Bruno
--
Onward!
Stephen
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to [email protected]
.
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
