In Jech's SET THEORY (a very early edition to which I have access), it is shown that the existence of 0-sharp implies the existence of a truth definition for the constructible universe L. Does the converse hold? I ask this question because in Koepke's paper "Turing Computations on Ordinals", he defines an ordinal computable "bounded truth predicate" (at least as I understand it, and I possibly don't understand it correctly) for each stage L\_i of the constructible universe L. Are these two notions (0-sharp and Koepke's bounded truth predicate) at all related, and if so, in what way? At first glance (to me, at least) they seem to be because in Jech's text, the satisfaction relation is defined for each stage L\_i of the hierarchy for L, just as the satisfaction relation seems so defined for Koepke's bounded truth predicate. 



A Question Regarding the Relation Between 0-sharp and Koepke's Bounded Truth Predicate.
The answer is no, one can have models of ZFC set theory with a definable truth predicate for first-order truth in $L$, but without having $0^\sharp$. 


One way to build such a model is like this. In Kelly-Morse KM set theory, you can prove the existence of a truth predicate for first-order truth for the whole universe $V$, and then by forcing you can code this class into the GCH pattern, for example, in order to make it definable. The result is a forcing extension $V[G]$ which has a first-order definable class predicate for first-order truth in the ground model $V$. From this, one can easily define a truth predicate for first-order truth in $L$. 


But meanwhile, KM is weaker than $0^\sharp$ in consistency strength, and so we can find such a model $V$ and hence also $V[G]$ without $0^\sharp$. The theory KM is weaker than $0^\sharp$ because its consistency follows from the existence of a single inaccessible cardinal: if $\kappa$ is inaccessible, then $V\_\kappa$ is a model of KM when equipped with its full second-order part $V\_{\kappa+1}$. In contrast, $0^\sharp$ implies the consistency of a proper class of inaccessible cardinals (and more), since under $0^\sharp$ the Silver indiscernibles are all inaccesible in $L$.


This kind of example shows another direct way to build the desired model. Start with $\kappa$ inaccessible. So $V\_\kappa$ is a model of ZFC, and remains a model of ZFC(S) even when we add the satisfaction class S for first-order truth in $V\_\kappa$. Now we may force to make S definable in a forcing extension $V\_\kappa[G]$. In $V\_\kappa[G]$, we have a definable class for first-order truth in $V\_\kappa$, from which we can define satisfaction in its $L$. But we needn't have $0^\sharp$, since in fact we could have started with $V=L$. 


