Saharon Shelah (shelah)

Contributions to Philosophie.ch

Bibliography

Blass, Andreas, Gurevich, Yuri and Shelah, Saharon. 2002. “On Polynomial Time Computation over Unordered Structures.” The Journal of Symbolic Logic 67(3): 1093–1125.
Gabbay, Dov M., Pnuelli, Amir, Shelah, Saharon and Stavi, Jonathan. 1980. “On the Temporal Analysis of Fairness.” in Proceedings of the Seventh ACM Symposium on Principles of Programming Languages, pp. 163–173. New York: The ACM Press.
Gurevich, Yuri and Shelah, Saharon. 1983. “Interpreting Second-Order Logic in the Monadic Theory of Order.” The Journal of Symbolic Logic 48(3): 816–828.
Gurevich, Yuri and Shelah, Saharon. 1985a. “The Decision Problem in Branching Time Logic.” The Journal of Symbolic Logic 50: 668–661.
Gurevich, Yuri and Shelah, Saharon. 1985b. “To the Decision Problem in Branching Time Logic.” in Foundations of Logic and Linguistics. Problems and Their Solutions, edited by Georg J. W. Dorn and Paul Weingartner, pp. 181–198. Berlin: Springer.
Gurevich, Yuri and Shelah, Saharon. 1996. “On Finite Rigid Structures.” The Journal of Symbolic Logic 61(2): 549–562.
Hodges, Wilfrid and Shelah, Saharon. 1991. “There are Reasonably Nice Logics.” The Journal of Symbolic Logic 56: 300–322.
Malliaris, Maryanthe and Shelah, Saharon. 2015. “Saturating the Random Graph with an Independent Family of Small Range.” in Logic without Borders. Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, pp. 319–338. Ontos Mathematical Logic n. 5. Berlin: de Gruyter.
McKenzie, R. and Shelah, Saharon. 1974. “The Cardinals of Simple Models for Universal Theories.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 53–74. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.
Shelah, Saharon. 1974. “Categoricity of Uncountable Theories.” in Proceedings of the Tarski Symposium. An International Symposium Held to Honor Alfred Tarski on the Occasion of his Seventieth Birthday, edited by Arend Heyting, pp. 187–204. Proceedings of Symposia in Pure Mathematics n. 25. Providence, Rhode Island: American Mathematical Society. Held at the University of California, Berkeley, June 23-30, 1971.
Shelah, Saharon. 1975. “The Lazy Model-Theoretician’s Guide to Stability.” Logique et Analyse 18(71–72): 241–308.
Shelah, Saharon. 1978. Classification Theory and the Number of Non-Isomorphic Models. Studies in Logic and the Foundations of Mathematics n. 92. Amsterdam: North-Holland Publishing Co.
Shelah, Saharon. 1990. Classification Theory and the Number of Non-Isomorphic Models. 2nd ed. Studies in Logic and the Foundations of Mathematics n. 92. Amsterdam: North-Holland Publishing Co. First edition: Shelah (1978).
Shelah, Saharon. 1994. Cardinal Arithmetic. Oxford Logic Guides n. 29. Oxford: Oxford University Press.
Shelah, Saharon. 2014. “Reflecting on Logical Dreams.” in Interpreting Gödel. Critical Essays, edited by Juliette Kennedy, pp. 242–255. Cambridge: Cambridge University Press.
Shelah, Saharon. 2015. “A.E.C. with Not Too Many Models.” in Logic without Borders. Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics, edited by Åsa Hirvonen, Juha Kontinen, Roman Kossak, and Andrés Villaveces, pp. 367–402. Ontos Mathematical Logic n. 5. Berlin: de Gruyter.