I'm hoping that there exists a prepared errata list for Elliott Mendelson's Introduction to Mathematical Logic (5th ed). If so, how does one locate it? (It does not seem to be available from the publisher (CRC Press). If no such errata resource exists, here's a question about what I think is an omission in a particular formula:
In the working up to a proof of Gödel's incompleteness theorem, Section 3.4 (p. 194) produces a long list of correlations between wfs and their Gödel numbers. Well into this process there is defined – by means of "course of values recursion" – this special relation (which I will try to parse below): $ \textrm{Ff}(u,v,w) := \textrm{Trm}(u) \wedge \textrm{EVbl}(2^v) \wedge \textrm{Fml}(w) \wedge $ $ \{ \textrm{Atfml}(w) \wedge [?] $ $ (\exists y)_{y
The definition is intended to provide a relation which holds precisely when $u$ is the Gödel number of a term that is free for the variable with Gödel number $v$ in the wf with Gödel number $w$. Thus, in the top line above, $\textrm{Trm}(u)$ ensures that the first input is indeed the Gödel number of some term, $\textrm{EVbl}(2^v)$ ensures that the second input is the Gödel number of a variable symbol, and $\textrm{Fml}(w)$ ensures that $w$ is the Gödel number of a wf. The remaining lines (within the braces) are meant to encode the condition that the term referenced by $u$ (which I will label $U$) is free for the variable referenced by $v$ (which I label $V$) within the wf referenced by $w$ (labeled $W$), but here is where there seems to be a problem with the printed text, noted above by my insertion of the question mark.
It appears that setting up the condition is broken into four cases: the second line above captures the case that $W$ is atomic; the third line deals with the case in which $W$ has the form $\neg(Y)$ for some lower-ordered wf $Y$, with Gödel number $y$; the fourth line the case in which $W$ has the form $(Y \Rightarrow Z)$ (where $Z$ has Gödel number $z$); and the bottom two lines the final case in which $W$ has the form $((\exists Z)Y)$, where here, $Z$ is a variable symbol differing from $V$.
All but the second line in the definition makes sense. Since the presence of the conjunction symbol is contradictory, there appears to be an omission at the position of the question mark where some other wf should appear; this formula would express the statement that $U$ is free for $V$ in the atomic formula $W$. For instance, the missing expression might be something like $ (\exists y)_{y
Does this sound right?