Re: Generalized Löb's Theorem

2013-03-10 Thread advancedguidance 

On Tuesday, March 5, 2013 4:51:56 PM UTC+2, advanced...@list.ru wrote: 
>
>
> On Tuesday, March 5, 2013 4:48:10 PM UTC+2, advanced...@list.ru wrote: 
>>
>>
>> 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 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://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!
>>>
>>>  
 
http://ru.scribd.com/doc/129443535/Lobs-Theorem4
 
 
 

>  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 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.

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance 

On Tuesday, March 5, 2013 4:48:10 PM UTC+2, advanced...@list.ru wrote: 
>
>
> 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 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://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 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.

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance 

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  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://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.

Re: Generalized Löb's Theorem

2013-03-05 Thread Stephen P. King 

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:

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://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

--
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.

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance 

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 
>>
>>
>>
>> > 
>> > 
>> > -- 
>> > 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 everyth...@googlegroups.com. 
>> > To unsubscribe from this group, send email to 
>> everything-li...@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. 
>> > 
>> > 
>>
>> 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.* 
> http://www.ams.org/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 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.

Re: Generalized Löb's Theorem

2013-03-05 Thread advancedguidance 

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 
> > everyth...@googlegroups.com. 
>
> > To unsubscribe from this group, send email to 
> everything-li...@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. 
> > 
> > 
>
> 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.* 
*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 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.

Re: Generalized Löb's Theorem

2013-01-28 Thread Bruno Marchal 

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 everything-list@googlegroups.com.
To unsubscribe from this group, send email to everything-list+unsubscr...@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.




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 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.

Generalized Löb's Theorem

2013-01-25 Thread Stephen P. King 

Dear Bruno,

Have you seen this? What implications does it have?

http://arxiv.org/ftp/arxiv/papers/1301/1301.5340.pdf


--
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 everything-list@googlegroups.com.
To unsubscribe from this group, send email to 
everything-list+unsubscr...@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.