Ernst Specker | Academic Influence

Ernst Specker's AcademicInfluence.com Rankings

Ernst Specker

Mathematics

#920

World Rank

#1611

Historical Rank

Measure Theory

#2517

World Rank

#3023

Historical Rank

mathematics Degrees

Download Badge

Mathematics

Ernst Specker's Degrees

PhD Mathematics ETH Zurich

Why Is Ernst Specker Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Ernst Paul Specker was a Swiss mathematician. Much of his most influential work was on Quine's New Foundations, a set theory with a universal set, but he is most famous for the Kochen–Specker theorem in quantum mechanics, showing that certain types of hidden variable theories are impossible. He also proved the ordinal partition relation ω2 → 2, thereby solving a problem of Erdős.

(See a Problem?)

Ernst Specker's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The Problem of Hidden Variables in Quantum Mechanics (1967) (1072)
Nicht konstruktiv beweisbare Sätze der Analysis (1949) (295)
DIE LOGIK NICHT GLEICHZEITIG ENTSC HEIDBARER AUSSAGEN (1960) (201)
The Axiom of Choice in Quine's New Foundations for Mathematical Logic. (1953) (134)
Additive Gruppen von Folgen Ganzer Zahlen (1990) (122)
Logical Structures Arising in Quantum Theory (1990) (100)
Complexity of partial satisfaction (1979) (85)
Der Satz vom Maximum in der Rekursiven Analysis (1990) (71)
Die erste Cohomologiegruppe von Überlagerungen und Homotopie-Eigenschaften dreidimensionaler Mannigfaltigkeiten (1949) (69)
Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom) (1957) (56)
The Logic of Propositions Which are not Simultaneously Decidable (1975) (54)
The Calculus of Partial Propositional Functions (1990) (51)
Ramsey's Theorem does not Hold in Recursive Set Theory (1971) (49)
Teilmengen von Mengen mit Relationen (1956) (44)
Modelle der Arithmetik (1990) (30)
Isomorphism Types of Trees (1964) (28)
Normal forms for trivalent graphs and graphs of bounded valence (1983) (26)
Lengths of Formulas and Elimination of Quantifiers I (1968) (26)
Endenverbände von Räumen und Gruppen (1950) (25)
A GENERALIZATION OF THE SMARANDACHE FUNCTION TO SEVERAL VARIABLES (2006) (24)
Verallgemeinerte Kontinuumshypothese und Auswahlaxiom (1954) (23)
Complexity of Partial Satisfaction II (2012) (19)
The Fundamental Theorem of Algebra in Recursive Analysis (1990) (17)
Application of Logic and Combinatorics to Enumeration Problems (1990) (17)
On a Theorem in the Theory of Relations and a Solution of a Problem of Knaster (1961) (16)
Komplexität von Entscheidungsproblemen, Ein Seminar (1976) (13)
Recurrence relations for the number of labeled structures on a finite set (1983) (13)
Die erste Cohomologiegruppe von Überlagerungen und Homotopieeigenschaften dreidimensionaler Mannigfaltigkeiten (1990) (10)
Modular Counting and Substitution of Structures (2005) (5)
Zum Problem der Damen auf dem Torus (2011) (4)
Logic and algorithmic : an international symposium held in honour of Ernst Specker (1982) (4)
LOGICAL STRUCTURES ARISING IN QUANTUM THEORY**This work was supported in part by a U.S. National Science Foundation grant. (2014) (3)
Änderungen der zentralen Hämodynamik bei koronarer Herzkrankheit durch Teopranitol (KC 046) (1984) (2)
Das Belastungs-EKG nach intravenöser Gabe von Teopranitol (KC 046) bei koronarer Herzkrankheit (1984) (2)
Heinrich Scholz. Vorlesungen über Grundzüge der mathematischen Logik . Mimeographiert. Ausarbeitungen mathematischer und physikalischer Vorlesungen, Bde. VI, VII. Aschendorff'sche Verlagsbuchhandlung, Münster (Westf.) 1949, zwei Bände, XII + 316 S., X + 311 S. (1950) (2)
Direct Construction of Mutually Orthogonal Latin Square (1987) (2)
Längen und Formeln (1976) (1)
Wie in einem Spiegel (1990) (1)
Review: Heinrich Scholz, Vorlesungen Uber Grundzuge der Mathematischen Logik (1950) (0)
Engeler's scientific work (1992) (0)
Algorithmische Kombinatorik mit Kleinrechnern (1990) (0)
Jordan Pascual. Zur Quanten-Logik. Archiv der Mathematik (Karlsruhe), Bd. 2 (1949–1950), S. 166–171. (1950) (0)
ISOMORPHISM TYPES OF TREES1 (2010) (0)
Ein Polynomialer Algorithmus zur Bestimmung unabhängiger Repräsentantensysteme (1976) (0)
ISOMORPHISM TYPES OF TREES 1 (2010) (0)
Postmoderne Mathematik: Abschied vom Paradies?* (1988) (0)
List of officers and members of the Association for Symbolic Logic (1962) (0)
Die Entwicklung der axiomatischen Mengenlehre (1990) (0)
that for every x CA the set P. = { y I y <x } is well ordered by _?. The rank p(x) of x is the order type of P. (this is an ordinal number). (2016) (0)
Die Antinomien Der Mengenlehre (1954) (0)
Ernst Specker [1920-] (1996) (0)
Kommentar zum Beitrag von Wolfgang Balzer (1988) (0)
Erratum zu: Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie (2011) (0)
Die Logik oder Die Kunst des Programmierens (1990) (0)
The Problem of Hidden f7ariables Quantum Mechanics . In (1990) (0)

This paper list is powered by the following services:

Other Resources About Ernst Specker

en.wikipedia.org

What Schools Are Affiliated With Ernst Specker?

Ernst Specker is affiliated with the following schools:

ETH Zurich

Image Attributions

Image Source for Ernst Specker