On 3/5/2013 6:23 AM, advancedguida...@list.ru wrote:
On Tuesday, March 5, 2013 1:16:15 PM UTC+2, advanced...@list.ru wrote:
On Sunday, January 27, 2013 2:53:12 PM UTC+2, Bruno Marchal wrote:
On 25 Jan 2013, at 18:06, Stephen P. King wrote:
> Have you seen this? What implications does it have?
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
valid for a large set of consistent extension. I avoid the
this by making the strong soundness assumption; + the comp
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.
*AMS Sectional Meeting AMS Special Session*
Spring Western Sectional Meeting
University of Colorado Boulder, Boulder, CO
April 13-14, 2013 (Saturday - Sunday)
*Special Session on Set Theory and Boolean Algebras*
/_An posible generalization of the Löb's theorem._/
*Jaykov Foukzon**, Israel Institute of Technology, Haifa, Israel
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.