Analytic versus Analytical Sets Browsing MathOverflow I came across a question about analytical sets. Through the discussion following a comment made by our very own Asaf, I learned that bold face $\mathbf{\Sigma^1_1}$ and light face $\Sigma^1_n$ are different things. Now, I am not asking about the definition or the distinction (I can look them up myself in a set theory book if I have time). I am asking about the history of this, in my not-so-humble opinion, ill-advised notation. Does anyone know who is responsible for (or the history behind the development of) the convention that the same symbol in bold face means the projective hierarchy and in light face means the analytical hierarchy?

Jech, in the book _Set Theory, 3rd Millennium edition_ points the blame to Addison in the historic notes to the first chapter about descriptive set theory (i.e. Borel and Analytic sets).

The definition of the projective hierarchy was given by Luzin in 1927. In 1955 Kleene published his hierarchy of analytical predicates. Several years later, Addison published a paper binding the two and gave the distinction of boldface/lightface hierarchies.

Here is a link and a MR link:

> J. W. Addison. " **Separation principles in the hierarchies of classical and effective descriptive set theory** ". _Fundamenta Mathematicae,_ vol. 46 no. 2 (1958), pp. 123-135.
>
> MathSciNet link.