An Absolutely Independent Set of ΣO‐Sentences
From MaRDI portal
Publication:5181675
DOI10.1002/MALQ.19720180704zbMath0273.02030OpenAlexW2062677719MaRDI QIDQ5181675
No author found.
Publication date: 1972
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19720180704
Applications of computability and recursion theory (03D80) Intuitionistic mathematics (03F55) Hierarchies of computability and definability (03D55)
Related Items (4)
Independent Gödel sentences and independent sets ⋮ Bibliography of John Myhill ⋮ The scope of Gödel's first incompleteness theorem ⋮ Algebraic properties of number theories
This page was built for publication: An Absolutely Independent Set of ΣO‐Sentences
