Tree (descriptive set theory): Difference between revisions

Revision as of 23:51, 15 November 2018

Revision as of 21:20, 22 June 2020

Line 8:

With this notation, a tree is a nonempty subset <math>T</math> of <math>X^{<\omega}</math>, such that if

<math>\langle x_0,x_1,\ldots,x_{n-1}\rangle</math> is a sequence of length <math>n</math> in <math>T</math>, and if <math>0\le m<n</math>,

then the shortened sequence <math>\langle x_0,x_1,\ldots,x_{m-1}x_m\rangle</math> also belongs to <math>T</math>.  In particular, choosing <math>m=0</math> shows that the empty sequence belongs to every tree.

===Branches and bodies===