Tuesday, November 25, 2008

Oh, Dover

I just found out that Yiannis Moschovakis's Elementary Induction on Abstract Structures was released as a cheap Dover paperback over the summer. It was previously only available in the horrendously expensive yellow hardback series by... North-Holland, according to Amazon. The secondary literature on the revision theory of truth has recently nudged me into looking at this book, and it is nice to know that it is available at a grad-student-friendly price. Philosophical content to follow soon.


ansten said...

That's a very good book which certainly deserves a reprint. It's a shame, though, that the cover of the Dover edition looks like the product of an evening introductory course on computer graphics (Topoi by Robert Goldblatt was victim to same treatment).
Regarding secondary literature on revision theory of truth: have you looked at the material on infinite time Turing machines? These machines exhibit more or less the same processes as revision sequences, but they are more tangible than these. The introductory paper by Hamkins and Lewis from JSL (2000) remains eminently readable. The relation of these two processes was first noticed by Löwe in a paper in Journal of Logic and Computation, and has been used to great and deep effect by Welch in a series of papers.

Shawn said...

Yeah, the cover art is pretty terrible on both books.

I haven't looked at the material on infinite time Turing machines. The connection sounds interesting. I'll give the Hamkins and Lewis paper a read. I've not looked at Welch's papers. They were described as very hard.

ansten said...

The paper by Hamkins and Lewis on Post's problem for infinite time Turing machines presents some of Welch's results in a less terse style. That may be of interest if you want to look more into this parallel.