Edit Profile (opens in new tab) Specker, Ernst P. Compute Distance To: Compute Author ID: specker.ernst-p Published as: Specker, Ernst; Specker, E. P.; Specker, E.; Specker, Ernst P. more...less External Links: MacTutor · MGP · Wikidata · dblp · GND · IdRef Documents Indexed: 39 Publications since 1949, including 2 Books 1 Contribution as Editor · 2 Further Contributions Biographic References: 4 Publications Co-Authors: 7 Co-Authors with 11 Joint Publications 87 Co-Co-Authors all top 5 Co-Authors 23 single-authored 4 Kochen, Simon 2 Hodes, Louis 2 Läuchli, Hans 2 Lieberherr, Karl J. 2 Strassen, Volker 2 von Neumann, John 1 Birkhoff, Garrett 1 Blatter, Christian 1 Brouwer, Luitzen Egbertus Jan 1 Cantor, Georg 1 Cheilaris, Panagiotis 1 Cohen, Paul Joseph 1 Erdős, Pál 1 Felgner, Ulrich 1 Feyerabend, Paul K. 1 Finch, Peter D. 1 Foulis, David James 1 Fraenkel, Abraham 1 Gaifman, Haim 1 Gleason, Andrew Mattei 1 Gödel, Kurt 1 Greechie, Richard J. 1 Gudder, Stanley P. 1 Holland, Samuel Shaheen jun. 1 Hooker, Clifford A. 1 Jauch, Josef Maria 1 Kamber, A. 1 Kronfli, N. S. 1 Levy, Azriel 1 Łoś, Jerzy 1 Macdowell, Robert 1 Mahlow, P. 1 Mostowski, Andrzej Stanisław 1 Piron, Constantin 1 Pools, J. C. T. 1 Putnam, Hilary Whitehall 1 Reichenbach, Hans 1 Rudin, Mary Ellen 1 Scarpellini, Bruno 1 Schlessinger, Michael 1 Schlude, Konrad 1 Sierpiński, Wacław 1 Skolem, Thoralf Albert 1 Suppes, Patrick 1 van Fraassen, Bas C. 1 Varadarajan, Veeravalli S. 1 Wick, Georges 1 Zachos, Stathis K. 1 Zermelo, Ernst 1 Zierler, Neal all top 5 Serials 3 Elemente der Mathematik 2 Colloquium Mathematicum 2 Commentarii Mathematici Helvetici 2 Dialectica 2 Mathematische Annalen 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Archiv der Mathematik 1 Commentationes Mathematicae Universitatis Carolinae 1 Journal of the Association for Computing Machinery 1 The Journal of Symbolic Logic 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Portugaliae Mathematica 1 Proceedings of the American Mathematical Society 1 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 1 MSCS. Mathematical Structures in Computer Science 1 Proceedings of the National Academy of Sciences of the United States of America 1 Combinatorics, Probability and Computing 1 Journal of Mathematics and Mechanics 1 Bulletin de l’Académie Polonaise des Sciences, Classe 3 1 Lecture Notes in Computer Science 1 The University of Western Ontario Series in Philosophy of Science all top 5 Fields 13 Mathematical logic and foundations (03-XX) 8 Combinatorics (05-XX) 7 History and biography (01-XX) 4 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 2 Quantum theory (81-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 General topology (54-XX) 1 Statistics (62-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 35 Publications have been cited 516 times in 475 Documents Cited by ▼ Year ▼ The problem of hidden variables in quantum mechanics. Zbl 0156.23302Kochen, S.; Specker, E. P. 314 1967 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102Specker, Ernst 83 1949 Additive Gruppen von Folgen ganzer Zahlen. Zbl 0041.36314Specker, Ernst 61 1950 The axiom of choice in Quine’s new foundations for mathematical logic. Zbl 0051.03705Specker, Ernst P. 37 1953 Die erste Cohomologiegruppe von Überlagerungen und Homotopie- Eigenschaften dreidimensionaler Mannigfaltigkeiten. Zbl 0036.12803Specker, Ernst 28 1949 The logico-algebraic approach to quantum mechanics. Vol. I: Historical evolution. Zbl 0429.03045 27 1975 Sur un problème de Sikorski. Zbl 0040.16703Specker, E. 26 1949 Teilmengen von Mengen mit Relationen. Zbl 0080.03703Specker, Ernst 23 1957 Logical structures arising in quantum theory. Zbl 0171.25402Kochen, Simon; Specker, E. P. 23 1965 Complexity of partial satisfaction. Zbl 0456.68078Lieberherr, Karl J.; Specker, E. 20 1981 Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). Zbl 0079.07605Specker, Ernst 15 1957 Der Satz vom Maximum in der rekursiven Analysis. Zbl 0088.01702Specker, Ernst 14 1959 The calculus of partial propositional functions. Zbl 0154.25307Kochen, S.; Specker, E. P. 10 1965 Endenverbände von Räumen und Gruppen. Zbl 0045.43904Specker, Ernst 9 1950 Verallgemeinerte Kontinuumshypothese und Auswahlaxiom. Zbl 0056.05001Specker, E. 9 1954 Isomorphism types of trees. Zbl 0125.01203Gaifman, Haim; Specker, E. P. 7 1964 Modelle der Arithmetik. Zbl 0126.01103Mac Dowell, R.; Specker, E. 7 1961 Lengths of formulas and elimination of quantifiers. I. Zbl 0191.28502Hodes, L.; Specker, E. 7 1968 Complexity of partial satisfaction. II. Zbl 1283.68165Lieberherr, Karl J.; Specker, Ernst 6 2012 Ramsey’s theorem does not hold in recursive set theory. Zbl 0285.02038Specker, E. 6 1971 Dualität. Zbl 0091.00709Specker, Ernst 6 1958 On a theorem in the theory of relations and a solution of a problem of Knaster. Zbl 0097.04202Erdős, Pál; Specker, E. 6 1961 Komplexität von Entscheidungsproblemen. Ein Seminar. Zbl 0327.00013 5 1976 Typical ambiguity. Zbl 0156.02101Specker, E. 5 1962 Neochromatica. Zbl 1224.05164Cheilaris, P.; Specker, E.; Zachos, S. 4 2010 The fundamental theorem of algebra in recursive analysis. Zbl 0221.02014Specker, E. 4 1969 Endenverbände von Räumen und Gruppen. Zbl 0041.36707Specker, Ernst 4 1950 Lengths of formulas and elimination of quantifiers. Zbl 0271.02012Hodes, L.; Specker, E. 3 1973 Selecta. Ed. by Gerhard Jäger, Hans Läuchli, Bruno Scarpellini and Volker Strassen. Zbl 0699.01038Specker, Ernst 2 1990 On the queens problem on the torus. (Zum Problem der Damen auf dem Torus.) Zbl 1235.05028Schlude, Konrad; Specker, Ernst 2 2011 Recurrence relations for the number of labeled structures on a finite set. Zbl 0573.05007Blatter, Chr.; Specker, E. 2 1984 Direct construction of mutually orthogonal Latin squares. Zbl 0644.05013Kull, H.; Specker, E. 1 1987 Modular counting and substitution of structures. Zbl 1061.03033Specker, E. 1 2005 Mengenlehre. Zbl 0403.03035 1 1979 Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie. Zbl 0078.24601Specker, E. 1 1957 Complexity of partial satisfaction. II. Zbl 1283.68165Lieberherr, Karl J.; Specker, Ernst 6 2012 On the queens problem on the torus. (Zum Problem der Damen auf dem Torus.) Zbl 1235.05028Schlude, Konrad; Specker, Ernst 2 2011 Neochromatica. Zbl 1224.05164Cheilaris, P.; Specker, E.; Zachos, S. 4 2010 Modular counting and substitution of structures. Zbl 1061.03033Specker, E. 1 2005 Selecta. Ed. by Gerhard Jäger, Hans Läuchli, Bruno Scarpellini and Volker Strassen. Zbl 0699.01038Specker, Ernst 2 1990 Direct construction of mutually orthogonal Latin squares. Zbl 0644.05013Kull, H.; Specker, E. 1 1987 Recurrence relations for the number of labeled structures on a finite set. Zbl 0573.05007Blatter, Chr.; Specker, E. 2 1984 Complexity of partial satisfaction. Zbl 0456.68078Lieberherr, Karl J.; Specker, E. 20 1981 Mengenlehre. Zbl 0403.03035 1 1979 Komplexität von Entscheidungsproblemen. Ein Seminar. Zbl 0327.00013 5 1976 The logico-algebraic approach to quantum mechanics. Vol. I: Historical evolution. Zbl 0429.03045 27 1975 Lengths of formulas and elimination of quantifiers. Zbl 0271.02012Hodes, L.; Specker, E. 3 1973 Ramsey’s theorem does not hold in recursive set theory. Zbl 0285.02038Specker, E. 6 1971 The fundamental theorem of algebra in recursive analysis. Zbl 0221.02014Specker, E. 4 1969 Lengths of formulas and elimination of quantifiers. I. Zbl 0191.28502Hodes, L.; Specker, E. 7 1968 The problem of hidden variables in quantum mechanics. Zbl 0156.23302Kochen, S.; Specker, E. P. 314 1967 Logical structures arising in quantum theory. Zbl 0171.25402Kochen, Simon; Specker, E. P. 23 1965 The calculus of partial propositional functions. Zbl 0154.25307Kochen, S.; Specker, E. P. 10 1965 Isomorphism types of trees. Zbl 0125.01203Gaifman, Haim; Specker, E. P. 7 1964 Typical ambiguity. Zbl 0156.02101Specker, E. 5 1962 Modelle der Arithmetik. Zbl 0126.01103Mac Dowell, R.; Specker, E. 7 1961 On a theorem in the theory of relations and a solution of a problem of Knaster. Zbl 0097.04202Erdős, Pál; Specker, E. 6 1961 Der Satz vom Maximum in der rekursiven Analysis. Zbl 0088.01702Specker, Ernst 14 1959 Dualität. Zbl 0091.00709Specker, Ernst 6 1958 Teilmengen von Mengen mit Relationen. Zbl 0080.03703Specker, Ernst 23 1957 Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom). Zbl 0079.07605Specker, Ernst 15 1957 Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie. Zbl 0078.24601Specker, E. 1 1957 Verallgemeinerte Kontinuumshypothese und Auswahlaxiom. Zbl 0056.05001Specker, E. 9 1954 The axiom of choice in Quine’s new foundations for mathematical logic. Zbl 0051.03705Specker, Ernst P. 37 1953 Additive Gruppen von Folgen ganzer Zahlen. Zbl 0041.36314Specker, Ernst 61 1950 Endenverbände von Räumen und Gruppen. Zbl 0045.43904Specker, Ernst 9 1950 Endenverbände von Räumen und Gruppen. Zbl 0041.36707Specker, Ernst 4 1950 Nicht konstruktiv beweisbare Sätze der Analysis. Zbl 0033.34102Specker, Ernst 83 1949 Die erste Cohomologiegruppe von Überlagerungen und Homotopie- Eigenschaften dreidimensionaler Mannigfaltigkeiten. Zbl 0036.12803Specker, Ernst 28 1949 Sur un problème de Sikorski. Zbl 0040.16703Specker, E. 26 1949 all cited Publications top 5 cited Publications all top 5 Cited by 496 Authors 17 Svozil, Karl 11 Garola, Claudio 9 Bridges, Douglas Suth 9 de Ronde, Christian 9 Zheng, Xizhong 8 Bub, Jeffrey 7 Heunen, Chris 7 Holmes, M. Randall 7 Lombardi, Olimpia 7 Sozzo, Sandro 6 Gutin, Gregory Z. 6 Healey, Richard A. 6 Ko, Ker-I 6 Yeo, Anders 5 Abramsky, Samson 5 Bacciagaluppi, Guido 5 Calude, Cristian S. 5 Dzhafarov, Ehtibar N. 5 Freytes, Hector 5 Hermens, Ronnie 5 McNicholl, Timothy H. 5 Stairs, Allen 4 Aerts, Diederik Emiel 4 Cabello, Adán 4 Crabbé, Marcel 4 Da Costa, Newton Carneiro Affonso 4 Domenech, Graciela 4 Landsman, Nicolaas P. 4 Soares Barbosa, Rui 4 Spitters, Bas 4 Zafiris, Elias 3 Amaral, Bárbara 3 Ardenghi, Juan Sebastian 3 Banik, Manik 3 Boffa, Maurice 3 Brandenburger, Adam 3 Bricmont, Jean 3 Castagnino, Mario Alberto 3 Czelakowski, Janusz 3 Demopoulos, William 3 Döring, Andreas 3 Duarte, Cristhiano 3 Giuntini, Roberto 3 Goldstein, Sheldon 3 Harding, John 3 Holik, Federico Hernán 3 Kalantari, Iraj 3 Karakostas, Vassilios 3 Kujala, Janne V. 3 La Cour, Brian R. 3 Labhalla, Salah 3 Matvejchuk, Marjan Stepanovich 3 Nakayama, Kunji 3 Pykacz, Jarosław 3 Waegell, Mordecai 3 Welch, Lawrence V. 3 Wolf, Stefan 2 Alda, Vaclav 2 Andreev, Valentin V. 2 Aravind, P. K. 2 Ben-Menahem, Yemima 2 Benavoli, Alessio 2 Berger, Josef 2 Bolotin, Arkady 2 Boros, Endre 2 Brattka, Vasco 2 Brown, Harvey Robert 2 Brunet, Olivier 2 Cao, Huaixin 2 Cervantes, Víctor H. 2 Chen, Liang 2 Choudhary, Sujit K. 2 Cocchiarella, Nino B. 2 Crowston, Robert 2 Dalla Chiara, Maria Luisa 2 de Barros, Jose Acacio 2 de Silva, Nadish 2 D’Hooghe, Bart 2 Diener, Hannes 2 Downey, Rodney Graham 2 Fabrici, Igor 2 Facchini, Alessandro 2 Fan, Yajing 2 Feintzeig, Benjamin H. 2 Gauthier, Yvon 2 Grädel, Erich 2 Hamhalter, Jan 2 Hardegree, Gary M. 2 Haviv, Ishay 2 Held, Carsten 2 Hemmick, Douglas L. 2 Henson, C. Ward 2 Kohlenbach, Ulrich Wilhelm 2 Kornell, Andre 2 Krause, Décio 2 Kupczynski, Marian 2 Larsson, Jan-Åke 2 Leifer, Matthew S. 2 Lieberherr, Karl J. 2 Lombardi, Henri ...and 396 more Authors all top 5 Cited in 97 Serials 72 Foundations of Physics 50 International Journal of Theoretical Physics 26 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics 21 Synthese 19 Theoretical Computer Science 18 The Journal of Symbolic Logic 16 Annals of Pure and Applied Logic 9 Studia Logica 9 Quantum Studies: Mathematics and Foundations 8 Journal of Mathematical Psychology 8 Foundations of Science 8 Quantum Information Processing 8 Philosophical Transactions of the Royal Society of London. A. Mathematical, Physical and Engineering Sciences 6 Archiv für Mathematische Logik und Grundlagenforschung 6 Journal of Mathematical Physics 6 Physics Letters. A 6 Journal of Philosophical Logic 6 Proceedings of the American Mathematical Society 6 Archive for Mathematical Logic 5 Communications in Mathematical Physics 5 Notre Dame Journal of Formal Logic 5 Theory of Computing Systems 5 Natural Computing 4 Journal of Computer and System Sciences 4 Information and Computation 4 Mathematical Logic Quarterly (MLQ) 3 Israel Journal of Mathematics 3 Journal of Mathematical Analysis and Applications 3 Reports on Mathematical Physics 3 Mathematical Systems Theory 3 Journal of Complexity 3 Journal of Mathematical Sciences (New York) 3 Soft Computing 3 New Journal of Physics 3 Quanta 2 Acta Informatica 2 Discrete Applied Mathematics 2 Discrete Mathematics 2 Journal of Statistical Physics 2 Aplikace Matematiky 2 Applied Mathematics and Computation 2 Transactions of the American Mathematical Society 2 Mathematical Social Sciences 2 Order 2 Elemente der Mathematik 2 Indagationes Mathematicae. New Series 2 The Bulletin of Symbolic Logic 2 Chicago Journal of Theoretical Computer Science 2 New Mathematics and Natural Computation 2 Logical Methods in Computer Science 1 Computer Physics Communications 1 Journal of Mathematical Biology 1 Mathematische Semesterberichte 1 Moscow University Mathematics Bulletin 1 Chaos, Solitons and Fractals 1 Journal of Geometry and Physics 1 Acta Mathematica 1 Algebra Universalis 1 Computing 1 Fuzzy Sets and Systems 1 Information Sciences 1 Journal of Algebra 1 Journal of Combinatorial Theory. Series B 1 Journal of Soviet Mathematics 1 Mathematische Zeitschrift 1 Siberian Mathematical Journal 1 Operations Research Letters 1 History and Philosophy of Logic 1 New Generation Computing 1 Algorithmica 1 MCSS. Mathematics of Control, Signals, and Systems 1 International Journal of Mathematics 1 Annals of Operations Research 1 MSCS. Mathematical Structures in Computer Science 1 Games and Economic Behavior 1 Bulletin of the American Mathematical Society. New Series 1 RAIRO. Informatique Théorique et Applications 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Advances in Applied Clifford Algebras 1 Discussiones Mathematicae. Graph Theory 1 Proceedings of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Erkenntnis 1 LMS Journal of Computation and Mathematics 1 RAIRO. Theoretical Informatics and Applications 1 Foundations of Physics Letters 1 Proceedings of the Japan Academy 1 Logica Universalis 1 Journal of Logic and Analysis 1 Journal of Geometric Mechanics 1 Science China. Mathematics 1 TWMS Journal of Pure and Applied Mathematics 1 Publications of the Research Institute for Mathematical Sciences, Series A 1 Axioms 1 Mathematics 1 Philosophical Transactions A. Royal Society of London all top 5 Cited in 46 Fields 280 Quantum theory (81-XX) 186 Mathematical logic and foundations (03-XX) 56 Computer science (68-XX) 28 General and overarching topics; collections (00-XX) 28 Order, lattices, ordered algebraic structures (06-XX) 28 Functional analysis (46-XX) 26 Category theory; homological algebra (18-XX) 19 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Combinatorics (05-XX) 14 Operator theory (47-XX) 13 Probability theory and stochastic processes (60-XX) 11 History and biography (01-XX) 11 Statistics (62-XX) 10 Information and communication theory, circuits (94-XX) 9 Relativity and gravitational theory (83-XX) 7 General topology (54-XX) 6 Number theory (11-XX) 6 Operations research, mathematical programming (90-XX) 5 Algebraic geometry (14-XX) 4 Associative rings and algebras (16-XX) 4 Real functions (26-XX) 4 Measure and integration (28-XX) 4 Functions of a complex variable (30-XX) 4 Differential geometry (53-XX) 4 Numerical analysis (65-XX) 4 Statistical mechanics, structure of matter (82-XX) 3 General algebraic systems (08-XX) 3 Nonassociative rings and algebras (17-XX) 3 Partial differential equations (35-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Mechanics of particles and systems (70-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Topological groups, Lie groups (22-XX) 2 Sequences, series, summability (40-XX) 2 Calculus of variations and optimal control; optimization (49-XX) 2 Convex and discrete geometry (52-XX) 2 Biology and other natural sciences (92-XX) 2 Systems theory; control (93-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Ordinary differential equations (34-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Geometry (51-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Fluid mechanics (76-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.