I apologize in advance if this question (or one which implies an answer to this) has already been asked. Any suggestions on how to draw in Latex a diagram of the following shape ?

enter image description here

Thank you very much !


1 Answer 1


There are countless possibilities to do that. I hope this gives you something to build on.

\begin{tikzpicture}[bullet/.style={circle,fill,inner sep=2pt}]
 \foreach \X in {1,2,3}
 {\node[bullet,label=above:$\Sigma_\X^0$] (S\X) at (3*\X,1){};
 \node[bullet,label=below:$\Pi_\X^0$] (P\X) at (3*\X,-1){};
 \node[bullet,left=1.5cm of S1,label=above:$\{2^\omega\}$] (w){};
 \node[bullet,left=1.5cm of P1,label=below:$\{\emptyset\}$] (e){};
 \path (w) --(P1) node[midway,bullet,label=above:$\Delta^0_1$]{};
 \foreach \X [count=\Y] in {2,3}
 {\path (S\X) -- (P\Y) node[midway,font=\Large\bfseries,
  \fi$ alternations}]{\dots};}

enter image description here

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .