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.
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)
Last revised on November 12, 2014 at 11:01:58. See the history of this page for a list of all contributions to it.