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