Ernst Specker Selecta

Selecta.- Die erste Cohomologiegruppe von Überlagerungen und Homotopieeigenschaften dreidimensionaler Mannigfaltigkeiten (1949).- Comments.- Nicht konstruktiv beweisbare Sätze der Analysis (1949).- Comments.- Sur un problème de Sikorski (1949).- Comments.- Enden verbände von Räumen und Gruppen (1950).- Comments.- Additive Gruppen von Folgen ganzer Zahlen (1950).- Comments.- The axiom of choice in Quine's new foundations for mathematical logic (1953).- Comments.- Die Antinomien der Mengenlehre (1954).- Comments.- Verallgemeinerte Kontinuumshypothese und Auswahlaxiom (1954).- Comments.- Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom) (1957).- Comments.- Teilmengen von Mengen mit Relationen (1957).- Comments.- Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie (1957).- Comments.- Der Satz vom Maximum in der rekursiven Analysis (1957).- Comments.- Dualität (1958).- Comments.- Die Logik nicht gleichzeitig entscheidbarer Aussagen (1960).- Comments.- Modelle der Arithmetik (1961).- Comments.- On a theorem in the theory of relations and a solution of a problem of Knaster (1961).- Comments.- Typical ambiguity (1962).- Comments.- Isomorphism types of trees (1964).- Comments.- Logical structures arising in quantum theory (1965).- Comments.- The calculus of partial propositional functions (1965).- Comments.- The problem of hidden variables in quantum mechanics (1967).- Comments.- The fundamental theorem of algebra in recursive analysis (1967).- Comments.- Lengths of formulas and elimination of quantifiers I (1968).- Comments.- Die Entwicklung der axiomatischen Mengenlehre (1978).- Algorithmische Kombinatorik mit Kleinrechnern (1978).- Comments.- Complexity of partial satisfaction (1979).- Comments.- Wie in einem Spiegel (1985).- Comments.- Application of logic and combinatorics to enumeration problems (1988).- Comments.- Postmoderne Mathematik: Abschied vom Paradies? (1988).- Comments.- Die Logik oder die Kunst des Programmierens (1989).- Comments.-