Browsing index pages (2 articles)
↧
Is the equivalence between a $\Sigma^0_1$ and a $\Pi^0_1$ formula defining...
Let $A$ be a recursive set. $A$ is recursively enumerable, so $A$ may be defined by a $\Sigma^0_1$ formula, i.e. by $\exists \overrightarrow{a} \phi (\overrightarrow{a}, n)$, where $\phi$ contains no...
View ArticleAnswer by Joel David Hamkins for Is the equivalence between a $\Sigma^0_1$...
No, in general, a true $\Delta^0_1$ assertion may not necessarily be provably $\Delta^0_1$ in a given theory. For example, assume $\text{Con}(\text{PA})$ is true, and consider the formula $\phi(a)$...
View Article
Browsing index pages (2 articles)
