Boolean pairs formed by the \(\Delta_ n^ 0\)-sets

DOI10.1016/S0168-0072(96)00030-9zbMath0878.03033OpenAlexW1491016578MaRDI QIDQ1368583

Bernhard Rupp

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

zbMATH Keywords

Boolean pairsundecidable elementary theories

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Cites Work

• Unnamed Item
• Coding in the partial order of enumerable sets
• Orbits of hyperhypersimple sets and the lattice of Σ⁰₃ sets
• The theory of the recursively enumerable weak truth-table degrees is undecidable

This page was built for publication: Boolean pairs formed by the \(\Delta_ n^ 0\)-sets