Question about $\Delta_2$ sets Is every $\Delta_2$ set a 'finite boolean combination' of $\Sigma_1$ sets? (I.e. is it a member of the smallest collection of sets closed under finite union, intersection and complement that contains all $\Sigma_1$ sets?)
Probably not. But is there an easy counterexample? 
Same question for $\Delta_3$ and $\Sigma_2$.
 A: It's not clear to me which context you're asking about.  The tag "descriptive set theory" suggests that you're referring to a topological context, as in GEdgar's comment, but then there would ordinarily be superscripts 0 or 1 on $\Sigma$ and $\Delta$ to indicate which hierarchy you're asking about.  Anyway, I'll answer the recursion-theoretic interpretation of the question --- with $\Delta^0_2$ and $\Sigma^0_1$ over the natural numbers.  I believe the argument can be lifted to the corresponding boldface classes over the reals, but I haven't checked this carefully.
Consider tuples of natural numbers $(n,e_1,\dots,e_n,t)$ representing Boolean combinations of $\Sigma^0_1$ sets; $n$ tells how many $\Sigma^0_1$ sets are being combined, $e_1,\dots,e_n$ are their indices (in some standard scheme for indexing r.e. sets), and $t$ codes (in some fixed, standard way) the truth table of the Boolean operation that is to be applied to these r.e. sets.  By means of another standard coding function, encode such tuples as natural numbers.  Now let $D$ be the set of those natural numbers $x$ such that $x$ is a code, in the sense just described, for a Boolean combination $X$ of $\Sigma^0_1$ sets and $x\notin X$.  As with all such diagonal constructions, it follows immediately that $D$ is not a Boolean combination of $\Sigma^0_1$ sets.  (If it were such a combination, described by the tuple $(n,e_1,\dots,e_n,t)$, let $x$ code that tuple and observe that $x\in X$ iff $x\notin X$, a contradiction.)  Yet $D$ is a $\Delta^0_2$ set; that is, it is recursive in the universal $\Sigma^0_1$ set $0'$.  Indeed, given an oracle for $0'$, we can compute $X$ as follows: On input $x$, decode $x$ and see whether it coded a tuple $(n,e_1,\dots,e_n,t)$ representing a Boolean combination of $\Sigma^0_1$ sets.  If not, output "no".  If so, use the oracle to determine, for each $i=1,\dots,n$, whether $x$ is in the $\Sigma^0_1$ set with index $e_i$; then apply to these answers the truth table coded by $t$; finally output the opposite of the truth value given by $t$.  
