On Sunday, January 27, 2013 2:53:12 PM UTC+2, Bruno Marchal wrote: > > 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]<javascript:>. > > > To unsubscribe from this group, send email to > [email protected] <javascript:> > > . > > 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/ >
> *AMS Sectional Meeting AMS Special Session* http://www.ams.org/meetings/sectional/2210_program_ss17.html#title > > Spring Western Sectional Meeting > University of Colorado Boulder, Boulder, CO > April 13-14, 2013 (Saturday - Sunday) > Meeting #1089 *Special Session on Set Theory and Boolean Algebras* *An posible generalization of the Löb's theorem.*</amsmtgs/2210_abstracts/1089-03-60.pdf> *Jaykov Foukzon**, Israel Institute of Technology, Haifa, Israel (1089-03-60) -- 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.
