search

28left / descriptive_set_theory

1 stars 0 forks source link

Issue on page /codingBorel.html #3

Closed RaymondTana closed 2 years ago

RaymondTana commented 2 years ago

In the section "Computing the Borel codes", when defining $F_m$, the $\beta$ should be restricted to the first $n$ symbols.

28left commented 2 years ago

Fixed in 020c738d07d995253bc68446e7383147ddef2e31

Thanks!