I still have trouble to grasp the concept of a non-constructible set, my intuition is that we could "avoid" the non-constructibility of many of them if we assume we have "ordinal computers" extended with oracles for their halting problems, plus oracles for the new halting problems of these new extended machines, and all the oracles needed for the hierarchy of halting problems arising for the enhanced machines of the previous iteration. Assuming we can keep adding oracles for the new halting problems up to any arbitrarily high cardinal (actually I can imagine the halting oracle giving an answer for an ordinal machine that were able to run up to the entire class V). Assuming that were possible, the question is: There would be sets that will remain non-constructible even if we had such oracles? Wouldn't such oracles allow us to verify any non-constructible property in the same way that the hierarchy of halting Oracles for ordinary Turing machines empower them to "compute" incomputable reals?



Would a non-constructible set become constructible if we had oracles of arbitrarily high cardinality for the halting problems of ordinal computers?
*I'm not sure exactly what you're asking, so maybe this is irrelevant, but let me give it a shot.* When you're talking about "avoiding inconstructibility," it sounds like the picture of $L$ you have is roughly: the collection of all 'reasonably computable' sets. And you're asking, what happens if we alter the definition of 'reasonably computable'?


First of all, let me mention that different people may disagree about whether this is an accurate picture of $L$. The issue is that $L$ is really built hereditarily, at each stage throwing in all the definable subsets of the previous stage. There is no reference to computation anywhere here, unless you count first-order definability as a kind of computation. I do, but I'm not sure this is universal.


There is a natural way to 'strengthen' the construction of $L$: strengthen the logic used to pass from each layer to the next! That is, replace "first-order definable" with "$\mathcal{L}$-definable" for some stronger logic $\mathcal{L}$. For some interesting stuff along these lines, see [Gödel's Constructible Universe in Infinitary Logics (A Possible Approach to HOD Problem)](https://mathoverflow.net/questions/156940/godels-constructible-universe-in-infinitary-logics-a-possible-approach-to-hod).


(Another approach, less relevant I think but still worth mentioning, is via end extensions of the ground model $V$: it is a theorem of Barwise that any countable model of $ZFC$ has an end extension satisfying "$V=L$." So one can make every set constructible by 'strengthening' the construction of $L$ by making it *longer*, that is, by adding new ordinals. However, I would argue that you ought not to find this satisfying: the resulting end extension is not well-founded, so the new 'ordinals' added are not really ordinals, and so it's not clear that anything along the lines of what you're hoping for has really been accomplished.)




---


I think that what's going on is, you have an interesting picture of set-theoretic computations in your head, but a picture which does not jibe with what $L$ *really* is about. I recommend reading about the theory of $L$ in more detail; and in particular, try to phrase your intuitions (as in the OP) precisely, making clear exactly what you mean; this will help you understand, I think, what's going on with non-constructible sets.


