1
$\begingroup$

Let $D$ be an effectively generated set of recursive ordinals that contains $0$ and that is closed under an effectively defined ordinal successor function "$+1$" and that have a well defined relation of ordinal strict smaller than relation $<$ on it, such that no two distinct elements of $D$ have the same order type. We'll simply label such a set as an "effective set of recursive ordinals"

Define recursively

  • $T_0 = T$,
  • $T_{i+1} = T_i + \operatorname{Con}(T_i)$ for every $i \in D$,
  • $T_j = \bigcup\{T_i\mid i<j\}$ for every limit ordinal $j \in D $.

Where $T$ is an extension of $PA$.

Say that $T$ is $D$_ultraconsistent iff $\forall i \in D \ ( \operatorname{Con}(T_i)) $

Say that $T$ is ultraconsistent iff

$\forall D (D$ is an effective set of recursive ordinals$ \implies T $ is $D$_ultraconsistent$)$

Do the following statements follow?

  1. If $T,H$ are ultraconsistent then $T \cup H$ is ultraconsistent.

  2. If $T$ is ultraconsistent and $G$ is a fragment of $T$ then $G$ is ultraconsistent.

  3. Can we have a theory $T$ that is ultraconsistent and yet $FALSE$?

    Of relevance to the last question is the following quote:

"Feferman's starting point was the 1939 paper of Turing ("On Systems of Logic Based on Ordinal"). Turing also considered such paths through Kleene's O, but could just prove a theorem for Π1 sentences, (using simpler "Consistency" statements"). Feferman shows that if one takes "n-Reflection" statements for every n each time one extends the theory then there are paths along which every true statement of arithmetic is proven". (emphasis added)

From the following page of Mathoverflow:

Pi1-sentence independent of ZF, ZF+Con(ZF), ZF+Con(ZF)+Con(ZF+Con(ZF)), etc.?

Now this points to completeness of such paths for theories formulated in classical logic, and so ultra-consistency seems to parallel truth here, since no ultra-consistent theory can be false since it would be disproved along the hierarchy of theories on top of it proving its negation. I'm not really sure of this, that's why I'm asking, if such a quote goes in favor with what I'm at here.

Note: This post modified the earlier approach before the [HOLD] which was erroneous in using indefinable ordinal indices, here this is fixed to index the theories after an ordinal notation that is effectively recursively generated.

$\endgroup$
  • 2
    $\begingroup$ What a horror... $\endgroup$ – Andrés E. Caicedo Dec 18 '17 at 19:28
  • 2
    $\begingroup$ I tried to change the format into something palatable. You may want to explain what basic requirements you are imposing on your theories $T$. Is $T_0$ a subtheory (or an extension) of $\mathsf{PA}$? Is it a theory in an arbitrary language but capable of coding enough recursion to make sense of the $T_i$ and of consistency statements? If the latter, then you need to specify what the natural model is that you have in mind, to make sense of the notion of "false". $\endgroup$ – Andrés E. Caicedo Dec 18 '17 at 19:38
  • 14
    $\begingroup$ This is something of a FAQ (and pretty much everyone makes this mistake at some point): $\mathrm{Con}(T)$ does not depend merely on the set of axioms of $T$ but on the way they are enumerated. So $T_i$ is not well-defined, unless you let $i$ be a recursive ordinal notation and not merely a recursive ordinal (but then you run into other problems). $\endgroup$ – Gro-Tsen Dec 18 '17 at 20:18
  • 4
    $\begingroup$ (@Zuhair More likely, I think you did not understand the problem Gro-Tsen mentioned.) $\endgroup$ – Andrés E. Caicedo Dec 18 '17 at 20:34
  • 4
    $\begingroup$ Now that you've edited the question to iterate along a recursive notation system, it makes sense, so I nominated for reopening. But it would have been better if you had made it clear in your edit that your original question was wrong and that you fixed it, so people can see it and vote for reopening. $\endgroup$ – Gro-Tsen Dec 20 '17 at 14:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.