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.
Bruno
http://iridia.ulb.ac.be/~marchal/
--
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?
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.
For more options, visit this group at
http://groups.google.com/group/everything-list?hl=en.
