nLab
Ernst Specker

Ernst Specker (1920-2011) was a Swiss mathematician. He was professor of mathematics at ETH Zürich from 1955-1987.

His approach to set theory proved instrumental for the topos-theoretic approach to set theory.

References

  • E. Engeler, N. Hungerbühler, J. A. Makowsky, Rembering Ernst Specker (1920-2011) , Elem. Math. 67 (2012) pp.1 – 27. (pdf)

  • G. Osius, Categorical Set Theory: A Characterization of the Category of Sets , JPAA 4 (1974) pp.79-119.

  • E. Specker, Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom) , Z. Math. Logik Grundlagen Math. 3 (1957) pp.173–210.

  • E. Specker, Die Entwicklung der axiomatischen Mengenlehre , JBer. DMV 81 (1978) pp.13-21. (Jber. DMV, 6.21 MB)

category: people

Revised on November 12, 2014 11:01:58 by Thomas Holder (89.204.155.241)