Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-30T00:05:49.966Z Has data issue: false hasContentIssue false
  • English
  • Français

In Memoriam: Ernst Specker 1920–2011

Published online by Cambridge University Press:  15 January 2014

Erwin Engeler
Rights & Permissions [Opens in a new window]

Abstract

An abstract is not available for this content so a preview has been provided. As you have access to this content, a full PDF is available via the ‘Save PDF’ action button.
Image of the first page of this content. For PDF version, please use the ‘Save PDF’ preceeding this image.'
Type
Obituary
Information
Bulletin of Symbolic Logic , Volume 18 , Issue 3 , September 2012 , pp. 413 - 417
Copyright
Copyright © Association for Symbolic Logic 2012

References

REFERENCES

[1] Logic and Algorithmic, An International Symposium held in Honour of Ernst Specker, (Engeler, E., Läuchli, H. and Strassen, V., editors), L'Enseignement Mathématique, Geneva, 1982. 392 pp.Google Scholar
[2] Specker, Ernst, Selecta, with a preface by Jäger, Gerhard, Lauchli, Hans, Scarpellini, Bruno and Strassen, Volker, editors; with a biography of Ernst Specker by Jonas Meon, Birkhäuser Verlag, Basel, 1990.Google Scholar
[3] Nicht konstruktiv beweisbare Sätze der Analysis, The Journal of Symbolic Logic, vol. 14 (1949), pp. 145–158.Google Scholar
[4] Der Satz vom Maximum in der rekursiven Analysis, Constructivity in Mathematics, Proceedings of the colloquium held at Amsterdam, 1957, (Heyting, A., editor), pp. 254–265, Studies in Logic and the Foundations of Mathematics, North Holland Publishing Company, Amsterdam 1959.Google Scholar
[5] Dualität, Dialectica, vol. 12, pp. 451–465.Google Scholar
[6] Typical ambiguity, Logic, Methodology and Philosophy of Science, Proceedings of the 1963 International Congress, (Bar-Hillel, Y., editor), pp. 45–57, Studies in Logic and the Foundations of Mathematics, North Holland Publishing Company, Amsterdam 1965.Google Scholar
[7] The Axiom of choice in Quine's New Foundations for Mathematical Logic, Proceedings of the National Academy of Sciences of the United States of America, vol. 39 (1953), pp. 972–975.Google Scholar
[8] Verallgemeinerte Kontinuumshypothese und Auswahlaxiom, Archiv der Mathematik, vol. 5 (1954), pp. 332–337.Google Scholar
[9] Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom), Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 173–210.CrossRefGoogle Scholar
[10] Teilmengen von Mengen mit Relationen, Commentarii Mathematici Helvetici, vol. 31 (1957), pp. 302–314.Google Scholar
[11] (with Erdös, P.), On a theorem in the theory of relations and a solution to a problem of Knaster, Colloquium Mathematicum, vol. 8 (1961), pp. 19–21.Google Scholar
[12] Die Logik nicht gleichzeitig entscheidbarer Aussagen, Dialectica, vol. 14 (1960), pp. 239–246.Google Scholar
[13] (with Kochen, Simon), Logical structures arising in quantum theory, The Theory of Models, Proceedings of the 1963 International Symposium at Berkeley, (Addison, J. W., Henkin, L., and Tarski, A., editors), pp. 177–189, Studies in Logic and the Foundations of Mathematics, North Holland Publishing Company, Amsterdam 1965.Google Scholar
[14] (with Kochen, Simon), The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics, vol. 17 (1967), pp. 59–88.Google Scholar
[15] (with Hodes, L.), Length of formulas and elimination of quantifiers, Contributions to Mathematical Logic; Proceedings of the Logic Colloquium, Hannover 1967, (Schmidt, H. A., Schutte, K., and Thiele, H.-J., editors), pp. 175–188, Studies in Logic and the Foundations of Mathematics, North Holland Publishing Company, Amsterdam 1968.Google Scholar
[16] (with Lieberherr, K.), Complexity of partial satisfaction, Journal of the Association of Computing Machinery, vol. 28 (1979), pp. 411–421.CrossRefGoogle Scholar
[17] (with Strassen, V.), Einleitung, Komplexität von Entscheidungsproblemen, (Specker, E. und Strassen, V., editors), pp. 1–10, Lecture Notes in Computer Science, Springer Verlag, Heidelberg 1976.CrossRefGoogle Scholar
[18] (with MacDowell, R.), Modelle der Arithmetik, Infinitistic Methods, Proceedings of the Symposium on Foundations of Mathematics, Pergamon Press, London, 1961, pp. 257–263.Google Scholar