No label defined (Q4513971)

This is a brief and very readable survey of results concerning completions \(T\) of PA, families of sets representable in \(T\), degrees of models of \(T\), and degrees of enumerations of their Scott sets. The novelty are the results of A. Arana on degrees of fragments of the elementary diagram of a model, which extend Solovay's characterization of degrees of models of \(T\) (no proofs). There is also a proof that for any non-computable set \(X\) there is a completion \(T\) of PA such that \(X\not\leq_T T\) and \(T' \leq_T X\oplus \emptyset'\). This contrasts with a result of Kucera who showed that there is a Scott set \(\mathcal S\) with a non-computable \(X\) in \(\mathcal S\) such that for all completions \(T\) of PA in \(\mathcal S\), \(X\leq_T T\). Open problems are listed, and a conjecture is made. For the entire collection see [Zbl 0945.00017].