diagonal intersection

If Sii<α is a sequence then the diagonal intersection, Δi<αSi is defined to be {β<αβγ<βSγ}.

That is, β is in Δi<αSi if it is contained in the first β members of the sequence.

Title diagonal intersection
Canonical name DiagonalIntersection
Date of creation 2013-03-22 12:53:17
Last modified on 2013-03-22 12:53:17
Owner Henry (455)
Last modified by Henry (455)
Numerical id 5
Author Henry (455)
Entry type Definition
Classification msc 03E99
Defines diagonal intersection