Arlo,
this is actually pretty interesting. We have contradictory ideas of what it means for the MOQ to manifest. I could say you find this manifestation to take place in the meta axis. Here the MOQ may manifest as the int pattern. It also may manifest as a metatheory of MOQ like sq/DQ/MOQ -style. You said it doesn't, but the fact that you said that implies that you found manifestation to take place in the "meta-axis". The meta axis is the place where metatheories are formed.

Emergences are also metatheories, but they are of different kind. Perhaps the metatheoryhood is nonrelativizable. When I spoke of manifestation, I mean manifestation that takes place on the "polymorphic axis", ie. the static levels.

I could write a bit more about this one day. Unless the axes are defined, the notions of "metatheory" or "manifestation" are ambiguous.

Tuukka
Moq_Discuss mailing list
Listinfo, Unsubscribing etc.
http://lists.moqtalk.org/listinfo.cgi/moq_discuss-moqtalk.org
Archives:
http://lists.moqtalk.org/pipermail/moq_discuss-moqtalk.org/
http://moq.org/md/archives.html

Reply via email to