24 Sep
2012
24 Sep
'12
7:02 p.m.
Note that Nabla(2) is definable as the object of not-not-stable truth values, and that each Nabla(X) is also definable with a bit more work.
This should have read "each Nabla([n]) is definable". [For admin and other information see: http://www.mta.ca/~cat-dist/ ]