On Tuesday, March 5, 2013 3:33:28 PM UTC+2, Stephen Paul King wrote: > > On 3/5/2013 6:23 AM, advanced...@list.ru <javascript:> 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: >>> >>> 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 >>> >>> >> >> >>> *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.*<http://amsmtgs/2210_abstracts/1089-03-60.pdf> >> http://www.ams.org/amsmtgs/2210_abstracts/1089-03-60.pdf >> > *Jaykov Foukzon**, Israel Institute of Technology, Haifa, Israel >> (1089-03-60) >> >> > Hi advancedguidance, > > Same paper... > > -- > Onward! > > Stephen > > Yes.
-- 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.
