Independent Gödel sentences and independent sets

DOI10.2307/2271896zbMath0324.02027OpenAlexW2041566567MaRDI QIDQ4087156

Andrew M. C. Dawes, John B. Florence

Publication date: 1975

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2271896

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

Related Items

The scope of Gödel's first incompleteness theorem

Cites Work

• An Absolutely Independent Set of ΣO‐Sentences
• Unnamed Item
• Unnamed Item