Ebook: Ernst Specker Selecta

Ernst Specker has made decisive contributions towards shaping direc­ tions in topology, algebra, mathematical logic, combinatorics and algorith­ mic over the last 40 years. We have derived great pleasure from marking his seventieth birthday by editing the majority of his scientific publications, and thus making his work available in a unified form to the mathematical community. In order to convey an idea of the richness of his personality, we have also included one of his sermons. Of course, the publication of these Selecta can pay tribute only to the writings of Ernst Specker. It cannot adequately express his originality and wisdom as a person nor the fascination he exercises over his students, colleagues and friends. We can do no better than to quote from Hao Wang in the 'Festschrift' Logic and Algorithmic I: Specker was ill for an extended period before completing his formal education. He had the leisure to think over many things. This experi­ ence may have helped cultivating his superiority as a person. In terms of traditional Chinese categories, I would say there is a taoist trait in him in the sense of being more detached, less competitive, and more under­ standing. I believe he has a better sense of what is important in life and arranges his life better than most logicians. We are grateful to Birkhauser Verlag for the production of this Selecta volume. Our special thanks go to Jonas Meon for sharing with us his intimate knowledge of his friend Ernst Specker.

---

---

Content:
Front Matter....Pages I-XXIX
Front Matter....Pages N1-N1
Die erste Cohomologiegruppe von ?berlagerungen und Homotopieeigenschaften dreidimensionaler Mannigfaltigkeiten....Pages 1-34
Nicht Konstruktiv Beweisbare S?tze der Analysis....Pages 35-48
Sur un Probl?me de Sikorski....Pages 49-52
Endenverb?nde von R?umen und Gruppen....Pages 53-60
Additive Gruppen von Folgen Ganzer Zahlen....Pages 61-70
The Axiom of Choice in Quine’s New Foundations for Mathematical Logic....Pages 71-74
Die Antinomien Der Mengenlehre....Pages 75-85
Verallgemeinerte Kontinuumshypothese und Auswahlaxiom....Pages 86-91
Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)....Pages 92-129
Teilmengen von Mengen mit Relationen....Pages 130-142
Eine Versch?rfung des Unvollst?ndigkeitssatzes der Zahlentheorie....Pages 143-147
Der Satz vom Maximum in der Rekursiven Analysis....Pages 148-159
Dualit?t....Pages 160-174
Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen....Pages 175-182
Modelle der Arithmetik....Pages 183-189
On a Theorem in the Theory of Relations and a Solution of a Problem of Knaster....Pages 190-192
Typical Ambiguity....Pages 193-201
Isomorphism Types of Trees....Pages 202-208
Logical Structures Arising in Quantum Theory....Pages 209-221
The Calculus of Partial Propositional Functions....Pages 222-234
Front Matter....Pages N1-N1
The Problem of Hidden Variables in Quantum Mechanics....Pages 235-263
The Fundamental Theorem of Algebra in Recursive Analysis....Pages 264-272
Lengths of Formulas and Elimination of Quantifiers I....Pages 273-286
Die Entwicklung der axiomatischen Mengenlehre....Pages 287-295
Nachwort....Pages 296-298
Algorithmische Kombinatorik mit Kleinrechnern....Pages 299-309
Complexity of Partial Satisfaction....Pages 310-320
Wie in einem Spiegel....Pages 321-323
Application of Logic and Combinatorics to Enumeration Problems....Pages 324-350
Postmoderne Mathematik: Abschied vom Paradies?....Pages 351-357
Die Logik oder Die Kunst des Programmierens....Pages 358-369
Back Matter....Pages 371-397

---

Content:
Front Matter....Pages I-XXIX
Front Matter....Pages N1-N1
Die erste Cohomologiegruppe von ?berlagerungen und Homotopieeigenschaften dreidimensionaler Mannigfaltigkeiten....Pages 1-34
Nicht Konstruktiv Beweisbare S?tze der Analysis....Pages 35-48
Sur un Probl?me de Sikorski....Pages 49-52
Endenverb?nde von R?umen und Gruppen....Pages 53-60
Additive Gruppen von Folgen Ganzer Zahlen....Pages 61-70
The Axiom of Choice in Quine’s New Foundations for Mathematical Logic....Pages 71-74
Die Antinomien Der Mengenlehre....Pages 75-85
Verallgemeinerte Kontinuumshypothese und Auswahlaxiom....Pages 86-91
Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)....Pages 92-129
Teilmengen von Mengen mit Relationen....Pages 130-142
Eine Versch?rfung des Unvollst?ndigkeitssatzes der Zahlentheorie....Pages 143-147
Der Satz vom Maximum in der Rekursiven Analysis....Pages 148-159
Dualit?t....Pages 160-174
Die Logik Nicht Gleichzeitig Entscheidbarer Aussagen....Pages 175-182
Modelle der Arithmetik....Pages 183-189
On a Theorem in the Theory of Relations and a Solution of a Problem of Knaster....Pages 190-192
Typical Ambiguity....Pages 193-201
Isomorphism Types of Trees....Pages 202-208
Logical Structures Arising in Quantum Theory....Pages 209-221
The Calculus of Partial Propositional Functions....Pages 222-234
Front Matter....Pages N1-N1
The Problem of Hidden Variables in Quantum Mechanics....Pages 235-263
The Fundamental Theorem of Algebra in Recursive Analysis....Pages 264-272
Lengths of Formulas and Elimination of Quantifiers I....Pages 273-286
Die Entwicklung der axiomatischen Mengenlehre....Pages 287-295
Nachwort....Pages 296-298
Algorithmische Kombinatorik mit Kleinrechnern....Pages 299-309
Complexity of Partial Satisfaction....Pages 310-320
Wie in einem Spiegel....Pages 321-323
Application of Logic and Combinatorics to Enumeration Problems....Pages 324-350
Postmoderne Mathematik: Abschied vom Paradies?....Pages 351-357
Die Logik oder Die Kunst des Programmierens....Pages 358-369
Back Matter....Pages 371-397
....