Boolean pairs formed by the \(\Delta_ n^ 0\)-sets
From MaRDI portal
Publication:1368583
DOI10.1016/S0168-0072(96)00030-9zbMath0878.03033MaRDI QIDQ1368583
Publication date: 29 September 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0168-0072(96)00030-9
03D35: Undecidability and degrees of sets of sentences
Cites Work