<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: How not to present Gödel&#8217;s Theorems</title>
	<atom:link href="http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/</link>
	<description>Logic, enthusiasms, sceptical thoughts, and a little LaTeX geekery</description>
	<lastBuildDate>Mon, 06 Feb 2012 19:23:02 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.1</generator>
	<item>
		<title>By: Rowsety Moid</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-523</link>
		<dc:creator>Rowsety Moid</dc:creator>
		<pubDate>Fri, 10 Apr 2009 14:52:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-523</guid>
		<description>I agree that Cambridge UP is pretty good, though even the paperback version of Hodges (long) Model Theory is £70.00.&lt;br/&gt;&lt;br/&gt;Seems OUP is worse, for some reason.  Wouldn&#039;t Smullyan and Fitting&#039;s Set Theory and the Continuum Problem have done better as a reasonably priced text?   Instead, it was absurdly expensive and is now out of print and unavailable.&lt;br/&gt;&lt;br/&gt;Another scandal, IMO, is  Judith Roitman&#039;s Introduction to Modern Set Theory which always seemed insanely expensive.   Wiley&#039;s to blame in that case.&lt;br/&gt;&lt;br/&gt;BTW, another source of reasonably priced, books is the Springer &quot;Lecture Notes&quot; series.&lt;br/&gt;&lt;br/&gt;They have some interesting early versions of some significant books:&lt;br/&gt;&lt;br/&gt;Shelah, Proper Forcing. (£22.99 at Amazon)&lt;br/&gt;&lt;br/&gt;Shelah, Around Classification Theory of Models  (Recently available for something like £37, but now out of print.)&lt;br/&gt;&lt;br/&gt;Devlin, Aspects of Constructibility (£27)&lt;br/&gt;&lt;br/&gt;Devlin, The Axiom of Constructibility (£15)&lt;br/&gt;&lt;br/&gt;The same series also has:&lt;br/&gt;&lt;br/&gt;Horst Herrlich, The Axiom of Choice (£37)&lt;br/&gt;&lt;br/&gt;Elisabeth Bouscaren (ed), Model Theory and Algebraic Geometry: An Introduction to E. Hrushovski&#039;s Proof of the Geometric Mordell-Lang Conjecture (£30.39).</description>
		<content:encoded><![CDATA[<p>I agree that Cambridge UP is pretty good, though even the paperback version of Hodges (long) Model Theory is £70.00.</p>
<p>Seems OUP is worse, for some reason.  Wouldn&#8217;t Smullyan and Fitting&#8217;s Set Theory and the Continuum Problem have done better as a reasonably priced text?   Instead, it was absurdly expensive and is now out of print and unavailable.</p>
<p>Another scandal, IMO, is  Judith Roitman&#8217;s Introduction to Modern Set Theory which always seemed insanely expensive.   Wiley&#8217;s to blame in that case.</p>
<p>BTW, another source of reasonably priced, books is the Springer &#8220;Lecture Notes&#8221; series.</p>
<p>They have some interesting early versions of some significant books:</p>
<p>Shelah, Proper Forcing. (£22.99 at Amazon)</p>
<p>Shelah, Around Classification Theory of Models  (Recently available for something like £37, but now out of print.)</p>
<p>Devlin, Aspects of Constructibility (£27)</p>
<p>Devlin, The Axiom of Constructibility (£15)</p>
<p>The same series also has:</p>
<p>Horst Herrlich, The Axiom of Choice (£37)</p>
<p>Elisabeth Bouscaren (ed), Model Theory and Algebraic Geometry: An Introduction to E. Hrushovski&#8217;s Proof of the Geometric Mordell-Lang Conjecture (£30.39).</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Karim Zahidi</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-522</link>
		<dc:creator>Karim Zahidi</dc:creator>
		<pubDate>Fri, 10 Apr 2009 14:38:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-522</guid>
		<description>@  Aatu Koskensilta &lt;br/&gt;&lt;br/&gt;Thansk for the references.&lt;br/&gt;&lt;br/&gt;Karim</description>
		<content:encoded><![CDATA[<p>@  Aatu Koskensilta </p>
<p>Thansk for the references.</p>
<p>Karim</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Peter Smith</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-521</link>
		<dc:creator>Peter Smith</dc:creator>
		<pubDate>Fri, 10 Apr 2009 07:09:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-521</guid>
		<description>Oh I agree that Dover&#039;s list is terrific -- all credit to them! And the prices are amazing.</description>
		<content:encoded><![CDATA[<p>Oh I agree that Dover&#8217;s list is terrific &#8212; all credit to them! And the prices are amazing.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Rowsety Moid</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-520</link>
		<dc:creator>Rowsety Moid</dc:creator>
		<pubDate>Thu, 09 Apr 2009 22:59:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-520</guid>
		<description>Dover&#039;s done well lately.  For example:&lt;br/&gt;&lt;br/&gt;Levy, Basic Set Theory&lt;br/&gt;Hodges, Building Models by Games&lt;br/&gt;Bell and Slomson, Models and Ultraproducts&lt;br/&gt;Goldblatt, Topoi: The Categorial Analysis of Logic&lt;br/&gt;Bell, Toposes and Local Set Theories&lt;br/&gt;Jech, The Axiom of Choice&lt;br/&gt;Pillay, Intro to Stability Theory&lt;br/&gt;Cohen, Set Theory and the Continuum Hypothesis&lt;br/&gt;&lt;br/&gt;I don&#039;t know if there&#039;s any system to it, though.  It&#039;s too bad they didn&#039;t reply when you contacted them.&lt;br/&gt;&lt;br/&gt;Still, they show it can be done: reasonably well-made books at a very good price.</description>
		<content:encoded><![CDATA[<p>Dover&#8217;s done well lately.  For example:</p>
<p>Levy, Basic Set Theory<br />Hodges, Building Models by Games<br />Bell and Slomson, Models and Ultraproducts<br />Goldblatt, Topoi: The Categorial Analysis of Logic<br />Bell, Toposes and Local Set Theories<br />Jech, The Axiom of Choice<br />Pillay, Intro to Stability Theory<br />Cohen, Set Theory and the Continuum Hypothesis</p>
<p>I don&#8217;t know if there&#8217;s any system to it, though.  It&#8217;s too bad they didn&#8217;t reply when you contacted them.</p>
<p>Still, they show it can be done: reasonably well-made books at a very good price.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Peter Smith</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-519</link>
		<dc:creator>Peter Smith</dc:creator>
		<pubDate>Thu, 09 Apr 2009 18:51:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-519</guid>
		<description>The reason I tried (successfully) to get CUP to publish my Gödel book is that they are good at publishing books at relatively decent prices, &lt;i&gt;and keeping them in print&lt;/i&gt; (you can still buy the full &lt;i&gt;Principia Mathematica&lt;/i&gt; if you really want!)  &lt;br/&gt;&lt;br/&gt;I agree that other publishers have some very odd policies and unsatisfactory policies with classics in their back list. Dover pick up some titles. But my attempts to get into correspondence with them about some possibilities never led to anything (not even friendly responses -- odd as Dover could have got a lot of well-informed advice for free).</description>
		<content:encoded><![CDATA[<p>The reason I tried (successfully) to get CUP to publish my Gödel book is that they are good at publishing books at relatively decent prices, <i>and keeping them in print</i> (you can still buy the full <i>Principia Mathematica</i> if you really want!)  </p>
<p>I agree that other publishers have some very odd policies and unsatisfactory policies with classics in their back list. Dover pick up some titles. But my attempts to get into correspondence with them about some possibilities never led to anything (not even friendly responses &#8212; odd as Dover could have got a lot of well-informed advice for free).</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: a.c.</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-518</link>
		<dc:creator>a.c.</dc:creator>
		<pubDate>Thu, 09 Apr 2009 18:38:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-518</guid>
		<description>&lt;i&gt;Smorynski&#039;s Logical Number Theory...&lt;br/&gt;&lt;/i&gt;&lt;br/&gt;&lt;br/&gt;Naturally, it is out of print, and Amazons UK and US don&#039;t even have used copies.&lt;br/&gt;&lt;br/&gt;Cna anything be done to encourage publishers to keep good maths / logic books in print at reasonable prices?</description>
		<content:encoded><![CDATA[<p><i>Smorynski&#8217;s Logical Number Theory&#8230;<br /></i></p>
<p>Naturally, it is out of print, and Amazons UK and US don&#8217;t even have used copies.</p>
<p>Cna anything be done to encourage publishers to keep good maths / logic books in print at reasonable prices?</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Aatu Koskensilta</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-517</link>
		<dc:creator>Aatu Koskensilta</dc:creator>
		<pubDate>Wed, 08 Apr 2009 17:11:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-517</guid>
		<description>On the subject of good books on incompleteness and related stuff, we should not forget Smorynski&#039;s &lt;b&gt;Logical Number Theory&lt;/b&gt;...</description>
		<content:encoded><![CDATA[<p>On the subject of good books on incompleteness and related stuff, we should not forget Smorynski&#8217;s <b>Logical Number Theory</b>&#8230;</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Aatu Koskensilta</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-516</link>
		<dc:creator>Aatu Koskensilta</dc:creator>
		<pubDate>Wed, 08 Apr 2009 17:06:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-516</guid>
		<description>Regarding the provability of consistency of ISigma-n in PA, _Metamathematics of First-Order Arithmetic_ is probably not the best source. They prove a stronger result -- about provability of reflection for ISigma-n in ISigma-n+1 -- using a variant of the arithmetical completenes theorem obtained as a corollary of the low-basis theorem. (Or something like that; it&#039;s been a while since I worked through _MoFA_) For the weaker result this is a huge over-kill, and the standard way is to invoke the cut-elimination theorem for first-order logic in combination with the existence of a truth definition for formulas of restricted quantifier complexity. As I noted in sci.logic, essentially this proof is presented at least in Girard&#039;s _Proof Theory and Logical Complexity_, p. 218.&lt;br/&gt;&lt;br/&gt;PS. Of course, if all we want to know is that PA proves for any of its finite subtheory that the theory is consistent there&#039;s really no need to introduce ISigma-n at all. The Haupsatz and the existence of restricted truth predicates is all we need.</description>
		<content:encoded><![CDATA[<p>Regarding the provability of consistency of ISigma-n in PA, _Metamathematics of First-Order Arithmetic_ is probably not the best source. They prove a stronger result &#8212; about provability of reflection for ISigma-n in ISigma-n+1 &#8212; using a variant of the arithmetical completenes theorem obtained as a corollary of the low-basis theorem. (Or something like that; it&#8217;s been a while since I worked through _MoFA_) For the weaker result this is a huge over-kill, and the standard way is to invoke the cut-elimination theorem for first-order logic in combination with the existence of a truth definition for formulas of restricted quantifier complexity. As I noted in sci.logic, essentially this proof is presented at least in Girard&#8217;s _Proof Theory and Logical Complexity_, p. 218.</p>
<p>PS. Of course, if all we want to know is that PA proves for any of its finite subtheory that the theory is consistent there&#8217;s really no need to introduce ISigma-n at all. The Haupsatz and the existence of restricted truth predicates is all we need.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: a.c.</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-515</link>
		<dc:creator>a.c.</dc:creator>
		<pubDate>Wed, 08 Apr 2009 16:05:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-515</guid>
		<description>What do you think of Fitting&#039;s &lt;i&gt;Incompleteness in the Land of Sets&lt;/i&gt;?&lt;br/&gt;&lt;br/&gt;BTW, I looked up the &lt;i&gt;Friendly Introduction to Mathematical Logic&lt;/i&gt; on Amazon and found:&lt;br/&gt;&lt;br/&gt;UK: 5 used &amp; new from £84.06 (!)&lt;br/&gt;&lt;br/&gt;The new one is going for £160.64 (!!!)&lt;br/&gt;&lt;br/&gt;US:  10 used &amp; new from $45.96&lt;br/&gt;&lt;br/&gt;That&#039;s better, though still expensive, but after two at 40-something, prices climb to 60-something, $77, and then are over $100.   The new one is $167.29!&lt;br/&gt;&lt;br/&gt;Now that print-on-demand is fairly common, I am puzzled as to why good books go out of print and cost so much anyway.&lt;br/&gt;&lt;br/&gt;Re &quot;anyway&quot;, Smullyan&#039;s book is still in print, yet at US Amazon, it is &quot;in stock&quot; at $189.00.  (!!!)&lt;br/&gt;&lt;br/&gt;That is despite it &lt;i&gt;being&lt;/i&gt; a print-on-demand book, available at UK Amazon for a &quot;mere&quot; £37.04</description>
		<content:encoded><![CDATA[<p>What do you think of Fitting&#8217;s <i>Incompleteness in the Land of Sets</i>?</p>
<p>BTW, I looked up the <i>Friendly Introduction to Mathematical Logic</i> on Amazon and found:</p>
<p>UK: 5 used &amp; new from £84.06 (!)</p>
<p>The new one is going for £160.64 (!!!)</p>
<p>US:  10 used &amp; new from $45.96</p>
<p>That&#39;s better, though still expensive, but after two at 40-something, prices climb to 60-something, $77, and then are over $100.   The new one is $167.29!</p>
<p>Now that print-on-demand is fairly common, I am puzzled as to why good books go out of print and cost so much anyway.</p>
<p>Re &quot;anyway&quot;, Smullyan&#39;s book is still in print, yet at US Amazon, it is &quot;in stock&quot; at $189.00.  (!!!)</p>
<p>That is despite it <i>being</i> a print-on-demand book, available at UK Amazon for a &#8220;mere&#8221; £37.04</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Karim Zahidi</title>
		<link>http://www.logicmatters.net/2009/04/how-not-to-present-godels-theorems/comment-page-1/#comment-514</link>
		<dc:creator>Karim Zahidi</dc:creator>
		<pubDate>Wed, 08 Apr 2009 08:30:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.logicmatters.net/?p=440#comment-514</guid>
		<description>Thanks for the reference.&lt;br/&gt;&lt;br/&gt;Karim</description>
		<content:encoded><![CDATA[<p>Thanks for the reference.</p>
<p>Karim</p>
]]></content:encoded>
	</item>
</channel>
</rss>

