Hi Bruno,

-----Original Message----- From: Bruno Marchal
Sent: Saturday, May 21, 2011 3:28 PM
To: everything-list@googlegroups.com
Subject: Re: On the Sequencing of Observer Moments

On 21 May 2011, at 19:15, meekerdb wrote:

On 5/21/2011 4:43 AM, Bruno Marchal wrote:
3-OMs are sequenced by the computations they "belongs" too. 1-OM are structured by the topology on those computations derived from the application of Theaetetus' theory of knowledge.

What topology is that?  What's the open set?

The topology you can associate to the open set semantics, or
neighborhood semantics of the intuitionistic logic corresponding to
the inverse of Goldblatt-Boolos-Grzegorczyk from S4Grz logic
representation in G,  when the arithmetical interpretation is
restricted to the sigma_1 prposition, that is the logic I call
S4Grz1.  And the same for X1*, except that the transformation is
different, and use another reporesentation theorem by Goldblatt.
Some more recent works by Ysapia and Blok suggest Scattered Hausdorff
topological spaces.
But it is highly technical and beyond the scope of the list, I think.




HA! I will sit by the river and meditate. Sooner or later you will see the relevance of the logic-topology duality to your work. Will you give me some credit then?


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 
For more options, visit this group at 

Reply via email to