On Tuesday, March 5, 2013 4:48:10 PM UTC+2, [email protected] wrote: > > > On Tuesday, March 5, 2013 3:33:28 PM UTC+2, Stephen Paul King wrote: >> >> On 3/5/2013 6:23 AM, [email protected] wrote: >> >> >> On Tuesday, March 5, 2013 1:16:15 PM UTC+2, [email protected] 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. >
Stephen Paul King wrote: What implications does it have? Post reply [image: More message actions] Jan 25 Other recipients: -- 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.
