Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications
Newton C. A. da Costa, Francisco Antônio Dória · Complexity · 1995
Abstract We summarize in an intuitive vein a few concepts from recursion theory and from the theory of formal systems and then state and comment our recent results on the incompleteness of elementary real analysis and its consequences. Their relation to forcing is also dealt with.