Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr...
Transcript of Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr...
![Page 1: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/1.jpg)
Interpretability in Set Theories
Robert M. Solovay
A letter to Petr Hajek, August 17, 1976
AnnotationA copy, created in October 2007, of a letter in Petr Hajek’s personal archive.The letter itself was written as a reaction on P. Hajek’s problem whether thereexists a set sentence ϕ such that GB, ϕ is interpretable in GB, but ZF, ϕ is notinterpretable in ZF.
R. M. Solovay’s postscript note, Oct. 10, 2007It seems to me that the formulation of the notion of “satisfactory” in section 3 isnot quite right. I would rewrite part 3 as follows:
If ϕ is one of the following sorts of sentence then s(ϕ) = 1:
(a) The closure of one of the axioms of ZF + V=L;(b) The closure of a logical or equality axiom;(c) One of the special axioms about the cj’s.
--Bob Solovay
![Page 2: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/2.jpg)
![Page 3: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/3.jpg)
![Page 4: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/4.jpg)
![Page 5: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/5.jpg)
![Page 6: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/6.jpg)
![Page 7: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/7.jpg)
![Page 8: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/8.jpg)
![Page 9: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/9.jpg)
![Page 10: Interpretability in Set TheoriesInterpretability in Set Theories Robert M. Solovay A letter to Petr Hajek, August 17, 1976´ Annotation A copy, created in October 2007, of a letter](https://reader034.fdocument.pub/reader034/viewer/2022052521/60ab01300916f1699d2afa2e/html5/thumbnails/10.jpg)