L(R) -- check my facts re Wadge degree of R#. Define "definable powerset" (but maybe in the L article).

Infinity-Borel set -- Fix definition! Something about ∞-Borel codes, characterization in terms of set of all x such that $L[S,x]\models \phi (S,x)$ for some set of ordinals S.

Address lightface/boldface confusion in Analytical hierarchy. Define lightface pointclasses only for Cantor and Baire space, or try to do it for any Polish space together with a fixed countable base?

Definition of height in Tree (set theory). Maybe give both definitions and say they're equivalent.

Add section for Σ^{2}_{1} definition of Continuum hypothesis. Point out that it's simpler than the definition given at the top of the argument (which call "weak CH"), equivalent given AC, but AD implies weak CH but refutes CH. CH relativizes up between models having same reals.

Create Structure (mathematical logic) page? Some overlap with model theory, but the latter should really discuss the things that are actually called model theory (stability, saturation, homogeneity, etc) rather than Tarskian structures and semantics.