×

Gödel, Kurt (b. 1906 d. 1978)

Author ID: godel.kurt Recent zbMATH articles by "Gödel, Kurt"
Published as: Gödel, Kurt; Gödel, K.; Goedel, Kurt
Further Spellings: Gödel, Kurt Friedrich
External Links: MacTutor · MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef
Documents Indexed: 62 Publications since 1930, including 21 Books
12 Further Contributions
Biographic References: 116 Publications
Co-Authors: 2 Co-Authors with 4 Joint Publications
25 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 1,888 times in 1,594 Documents Cited by Year
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0041.56701
Gödel, Kurt
340
1949
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. JFM 57.0054.02
Gödel, K.
273
1931
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Zbl 0090.01003
Gödel, Kurt
212
1958
On formally undecidable propositions of Principia Mathematica and related systems. I. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.) Zbl 0002.00101
Gödel, Kurt
126
1931
The consistency of the continuum hypothesis. Zbl 0061.00902
Gödel, Kurt
124
1940
Die Vollständigkeit der Axiome des logischen Funktionenkalküls. JFM 56.0046.04
Gödel, K.
117
1930
Zum intuitionistischen Aussagekalkül. JFM 58.1001.03
Gödel, K.
99
1932
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
71
1983
What is Cantor’s continuum problem,. Zbl 0038.03003
Gödel, K.
71
1948
Eine Interpretation des intuitionistischen Aussagenkalküls. JFM 59.0866.01
Gödel, K.
56
1933
The consistency of the axiom of choice and of the generalized continuum- hypothesis. Zbl 0020.29701
Gödel, Kurt
48
1938
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
39
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
38
1986
Eine Interpretation des intuitionistischen Aussagenkalküls. Zbl 0007.19303
Gödel, Kurt
35
1933
The consistency of the axiom of choice and of the generalized continuum-hypothesis. JFM 64.0035.01
Gödel, K.
30
1938
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
26
1995
Zur intuitionistischen Arithmetik und Zahlentheorie. JFM 59.0865.03
Gödel, K.
26
1933
On formally undecidable propositions of Principia Mathematica and related systems. Zbl 0124.00403
Gödel, K.
25
1962
Consistency-proof for the generalized continuum-hypothesis. Zbl 0021.00102
Gödel, Kurt
24
1939
Zum Entscheidungsproblem des logischen Funktionenkalküls. Zbl 0008.28903
Gödel, Kurt
22
1933
Collected works. Vol. IV: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01019
Gödel, Kurt
14
2003
Consistency-proof for the generalized continuum-hypothesis. JFM 65.0185.02
Gödel, K.
13
1939
Collected works. Vol. V: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01020
Gödel, Kurt
13
2003
Zum intuitionistischen Aussagenkalkül. JFM 59.0866.02
Gödel, K.
10
1933
Unpublished philosophical essays. Ed. by Francisco A. Rodríguez-Consuegra. Zbl 0854.01046
Gödel, Kurt
9
1995
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
8
2001
Über die Länge von Beweisen. JFM 62.0043.01
Gödel, K.
7
1936
Rotating universes in general relativity theory. Zbl 0049.27206
Gödel, Kurt
7
1952
The consistency of the continuum hypothesis. 3rd ed. Zbl 0051.28903
Gödel, K.
7
1953
On a hitherto unexploited extension of the finitary standpoint. Zbl 0433.03040
Gödel, Kurt
7
1980
Zum Entscheidungsproblem des logischen Funktionenkalküls. JFM 59.0865.01
Gödel, K.
6
1933
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0972.83004
Gödel, Kurt
6
2000
Rotating universes in general relativity theory. (Reprint). Zbl 0972.83005
Gödel, Kurt
5
2000
Russell’s mathematical logic. Zbl 1035.03503
Gödel, Kurt
5
2002
Zur intuitionistischen Arithmetik und Zahlentheorie. Zbl 0007.19304
Gödel, K.
5
1933
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
4
2001
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. JFM 57.1321.01
Gödel, K.
4
1931
Frege and Gödel. Two fundamental texts in mathematical logic. Zbl 0209.00601
4
1970
Einige mathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. JFM 56.0060.26
Gödel, K.
3
1930
On formally undecidable propositions of Principia Mathematica and related systems. Transl. from the German and with a preface by B. Meltzer. With an introduction by R. B. Braithwaite. Reprint of the 1962 translation. Zbl 0896.03006
Gödel, Kurt
3
1992
Über die Länge von Beweisen. Zbl 0014.24102
Gödel, Kurt
3
1936
An interpretation of the intuitionistic propositional calculus (1933f). Zbl 1290.03001
Gödel, Kurt
2
2012
Über Unabhängigkeitsbeweise im Aussagenkalkül. JFM 59.0865.02
Gödel, K.
2
1933
Collected works. Volume II: Publications 1938–1974. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01014
Gödel, Kurt
2
2001
Über Vollständigkeit und Widerspruchsfreiheit. JFM 57.1318.02
Gödel, Kurt
2
1931
Ergebnisse eines mathematischen Kolloquiums. Unter Mitwirkung v. Kurt Gödel u. Georg Nöbeling. Hrsg. v. Karl Menger. H. 3. Bericht über das Kolloquium 1930/31. Gesammelte Mitteilungen des Jahres 1930/31. Zbl 0004.26603
2
1932
On formally undecidable propositions of Principia Mathematica and related systems. I. With an introductory comment by Sy-David Friedman. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Mit einem einleitenden Kommentar von Sy-David Friedman.) Zbl 1103.03002
Gödel, Kurt
2
2006
Philosophy I Maxims 0. Bilingual. Edited by Eva-Maria Engelen. Translated from the German by Merlin Carl. (Philosophie I Maximen 0.) Zbl 1533.03002
Gödel, Kurt
2
2019
Bemerkung über projektive Abbildungen. JFM 59.1297.01
Gödel, K.
1
1933
Is mathematics syntax of language? (Les mathématiques sont-elles une syntaxe du langage?) Zbl 0927.03007
Gödel, Kurt
1
1995
Über die metrische Einbettbarkeit der Quadrupel des \(R_3\) in Kugelflächen. JFM 59.1261.05
Gödel, K.
1
1933
Eine Eigenschaft der Realisierungen des Aussagenkalküls. JFM 57.1319.04
Gödel, K.
1
1931
Ergebnisse eines mathematischen Kolloquiums. Unter Mitwirkung v. Kurt Gödel u. Georg Nöbeling. Hrsg. v. Karl Menger. H. 1. Vorbemerkung des Herausgebers. Gesammelte Mitteilungen der Jahre 1928/29. Zbl 0003.41402
1
1931
Ergebnisse eines mathematischen Kolloquiums. Unter Mitwirkung v. Kurt Gödel u. Georg Nöbeling. Hrsg. v. Karl Menger. H. 2. Bericht über das Kolloquium 1929/30. Gesammelte Mitteilungen des Jahres 1929/30. Zbl 0003.41403
1
1932
Über Unabhängigkeitsbeweise im Aussagenkalkül. Zbl 0007.19302
Gödel, K.
1
1933
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
Mengenlehre. Zbl 0403.03035
1
1979
Time management (Maxims) I and II. Bilingual. Edited by Eva-Maria Engelen. Translated from German by Merlin Carl. (Zeiteinteilung (Maximen) I und II.) Zbl 07473596
Gödel, Kurt
1
2020
Time management (Maxims) I and II. Bilingual. Edited by Eva-Maria Engelen. Translated from German by Merlin Carl. (Zeiteinteilung (Maximen) I und II.) Zbl 07473596
Gödel, Kurt
1
2020
Philosophy I Maxims 0. Bilingual. Edited by Eva-Maria Engelen. Translated from the German by Merlin Carl. (Philosophie I Maximen 0.) Zbl 1533.03002
Gödel, Kurt
2
2019
An interpretation of the intuitionistic propositional calculus (1933f). Zbl 1290.03001
Gödel, Kurt
2
2012
On formally undecidable propositions of Principia Mathematica and related systems. I. With an introductory comment by Sy-David Friedman. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Mit einem einleitenden Kommentar von Sy-David Friedman.) Zbl 1103.03002
Gödel, Kurt
2
2006
Collected works. Vol. IV: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01019
Gödel, Kurt
14
2003
Collected works. Vol. V: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01020
Gödel, Kurt
13
2003
Russell’s mathematical logic. Zbl 1035.03503
Gödel, Kurt
5
2002
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
8
2001
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
4
2001
Collected works. Volume II: Publications 1938–1974. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01014
Gödel, Kurt
2
2001
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0972.83004
Gödel, Kurt
6
2000
Rotating universes in general relativity theory. (Reprint). Zbl 0972.83005
Gödel, Kurt
5
2000
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
26
1995
Unpublished philosophical essays. Ed. by Francisco A. Rodríguez-Consuegra. Zbl 0854.01046
Gödel, Kurt
9
1995
Is mathematics syntax of language? (Les mathématiques sont-elles une syntaxe du langage?) Zbl 0927.03007
Gödel, Kurt
1
1995
On formally undecidable propositions of Principia Mathematica and related systems. Transl. from the German and with a preface by B. Meltzer. With an introduction by R. B. Braithwaite. Reprint of the 1962 translation. Zbl 0896.03006
Gödel, Kurt
3
1992
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
39
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
38
1986
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
71
1983
On a hitherto unexploited extension of the finitary standpoint. Zbl 0433.03040
Gödel, Kurt
7
1980
Mengenlehre. Zbl 0403.03035
1
1979
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
Frege and Gödel. Two fundamental texts in mathematical logic. Zbl 0209.00601
4
1970
On formally undecidable propositions of Principia Mathematica and related systems. Zbl 0124.00403
Gödel, K.
25
1962
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Zbl 0090.01003
Gödel, Kurt
212
1958
The consistency of the continuum hypothesis. 3rd ed. Zbl 0051.28903
Gödel, K.
7
1953
Rotating universes in general relativity theory. Zbl 0049.27206
Gödel, Kurt
7
1952
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0041.56701
Gödel, Kurt
340
1949
What is Cantor’s continuum problem,. Zbl 0038.03003
Gödel, K.
71
1948
The consistency of the continuum hypothesis. Zbl 0061.00902
Gödel, Kurt
124
1940
Consistency-proof for the generalized continuum-hypothesis. Zbl 0021.00102
Gödel, Kurt
24
1939
Consistency-proof for the generalized continuum-hypothesis. JFM 65.0185.02
Gödel, K.
13
1939
The consistency of the axiom of choice and of the generalized continuum- hypothesis. Zbl 0020.29701
Gödel, Kurt
48
1938
The consistency of the axiom of choice and of the generalized continuum-hypothesis. JFM 64.0035.01
Gödel, K.
30
1938
Über die Länge von Beweisen. JFM 62.0043.01
Gödel, K.
7
1936
Über die Länge von Beweisen. Zbl 0014.24102
Gödel, Kurt
3
1936
Eine Interpretation des intuitionistischen Aussagenkalküls. JFM 59.0866.01
Gödel, K.
56
1933
Eine Interpretation des intuitionistischen Aussagenkalküls. Zbl 0007.19303
Gödel, Kurt
35
1933
Zur intuitionistischen Arithmetik und Zahlentheorie. JFM 59.0865.03
Gödel, K.
26
1933
Zum Entscheidungsproblem des logischen Funktionenkalküls. Zbl 0008.28903
Gödel, Kurt
22
1933
Zum intuitionistischen Aussagenkalkül. JFM 59.0866.02
Gödel, K.
10
1933
Zum Entscheidungsproblem des logischen Funktionenkalküls. JFM 59.0865.01
Gödel, K.
6
1933
Zur intuitionistischen Arithmetik und Zahlentheorie. Zbl 0007.19304
Gödel, K.
5
1933
Über Unabhängigkeitsbeweise im Aussagenkalkül. JFM 59.0865.02
Gödel, K.
2
1933
Bemerkung über projektive Abbildungen. JFM 59.1297.01
Gödel, K.
1
1933
Über die metrische Einbettbarkeit der Quadrupel des \(R_3\) in Kugelflächen. JFM 59.1261.05
Gödel, K.
1
1933
Über Unabhängigkeitsbeweise im Aussagenkalkül. Zbl 0007.19302
Gödel, K.
1
1933
Zum intuitionistischen Aussagekalkül. JFM 58.1001.03
Gödel, K.
99
1932
Ergebnisse eines mathematischen Kolloquiums. Unter Mitwirkung v. Kurt Gödel u. Georg Nöbeling. Hrsg. v. Karl Menger. H. 3. Bericht über das Kolloquium 1930/31. Gesammelte Mitteilungen des Jahres 1930/31. Zbl 0004.26603
2
1932
Ergebnisse eines mathematischen Kolloquiums. Unter Mitwirkung v. Kurt Gödel u. Georg Nöbeling. Hrsg. v. Karl Menger. H. 2. Bericht über das Kolloquium 1929/30. Gesammelte Mitteilungen des Jahres 1929/30. Zbl 0003.41403
1
1932
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. JFM 57.0054.02
Gödel, K.
273
1931
On formally undecidable propositions of Principia Mathematica and related systems. I. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.) Zbl 0002.00101
Gödel, Kurt
126
1931
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. JFM 57.1321.01
Gödel, K.
4
1931
Über Vollständigkeit und Widerspruchsfreiheit. JFM 57.1318.02
Gödel, Kurt
2
1931
Eine Eigenschaft der Realisierungen des Aussagenkalküls. JFM 57.1319.04
Gödel, K.
1
1931
Ergebnisse eines mathematischen Kolloquiums. Unter Mitwirkung v. Kurt Gödel u. Georg Nöbeling. Hrsg. v. Karl Menger. H. 1. Vorbemerkung des Herausgebers. Gesammelte Mitteilungen der Jahre 1928/29. Zbl 0003.41402
1
1931
Die Vollständigkeit der Axiome des logischen Funktionenkalküls. JFM 56.0046.04
Gödel, K.
117
1930
Einige mathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. JFM 56.0060.26
Gödel, K.
3
1930
all top 5

Cited by 1,652 Authors

23 Kohlenbach, Ulrich Wilhelm
17 Ahmed, Faizuddin
16 Oliva, Paulo
11 Reboucas, Marcelo J.
10 Kanamori, Akihiro
10 Weiermann, Andreas
9 Baaz, Matthias
8 Feferman, Solomon
8 Ferreira, Fernando
8 Friedman, Sy-David
8 Goldfarb, Warren D.
8 Henkin, Leon Albert
8 Krasiński, Andrzej
8 Kurahashi, Taishi
8 Shelah, Saharon
8 Ternullo, Claudio
8 Wang, Hao
7 Fernández Duque, David
7 Grattan-Guinness, Ivor
7 Kreisel, Georg
7 Radu, Eugen
6 Artemov, Sergei
6 Béziau, Jean-Yves
6 Coquand, Thierry
6 Kalmar, Laszlo
6 Kleene, Stephen Cole
6 Svozil, Karl
6 Teixeira, Antonio F. F.
5 Ackermann, Wilhelm
5 Anellis, Irving Henry
5 Baumeler, Ämin
5 Calude, Cristian S.
5 Cintula, Petr
5 Došen, Kosta
5 Ellis, George Francis Rayner
5 Fitting, Melvin Chris
5 Friedman, Joel I.
5 Jantzen, Robert T.
5 Kahle, Reinhard
5 Lambek, Joachim
5 Matiyasevich, Yuriĭ Vladimirovich
5 Petrukhin, Yaroslav Igorevich
5 Sieg, Wilfried
5 Soare, Robert I.
5 Tarau, Paul
5 Uso-Domenech, José Luis
5 Wolf, Stefan
4 Aguilera, Juan Pablo
4 Avigad, Jeremy
4 Bezhanishvili, Guram
4 Carnap, Rudolf
4 Collins, C. B.
4 Cornelis, Chris
4 de Paiva, Valeria
4 Dean, Walter
4 Deschrijver, Glad
4 Diller, Justus
4 Dinis, Bruno
4 Franks, Curtis
4 Gentzen, Gerhard
4 Godo, Lluís
4 Gurevich, Yuri
4 Hájek, Petr
4 Hernest, Mircea-Dan
4 Hetzl, Stefan
4 Incurvati, Luca
4 Kerre, Etienne E.
4 Krechet, Vladimir G.
4 Kreuzer, Alexander P.
4 Leivant, Daniel M.
4 Lethen, Tim
4 Luckhardt, Horst
4 Markwald, Werner
4 Milnikel, Robert Saxon
4 Preining, Norbert
4 Quine, Willard Van Orman
4 Raeymaekers, Joris
4 Rathjen, Michael
4 Robles, Gemma
4 Sanders, Sam
4 Santos, Alesandro Ferreira
4 Sarma, Debojit
4 Schütte, Kurt
4 Schwichtenberg, Helmut
4 Shaikh, Absos Ali
4 Shepherdson, John C.
4 Tao, Terence
4 Van Gasse, Bart
4 Visser, Albert
4 Zach, Richard
4 Zak, Michail A.
3 Adžić, Miloš
3 Aehlig, Klaus
3 Bagaria, Joan
3 Basini, Giuseppe
3 Bazhenov, Nikolaĭ Alekseevich
3 Beckmann, Arnold
3 Bianchi, Matteo
3 Blass, Andreas Raphael
3 Boolos, George S.
...and 1,552 more Authors
all top 5

Cited in 247 Serials

102 Annals of Pure and Applied Logic
99 The Journal of Symbolic Logic
65 General Relativity and Gravitation
42 The Bulletin of Symbolic Logic
39 Theoretical Computer Science
35 Studia Logica
35 Synthese
30 Journal of Philosophical Logic
29 Journal of Mathematical Physics
27 International Journal of Theoretical Physics
25 Transactions of the American Mathematical Society
24 The Review of Symbolic Logic
22 Archiv für Mathematische Logik und Grundlagenforschung
22 Mathematische Annalen
20 History and Philosophy of Logic
20 International Journal of Geometric Methods in Modern Physics
19 Foundations of Physics
18 Logica Universalis
17 Journal of High Energy Physics
15 Classical and Quantum Gravity
15 Fuzzy Sets and Systems
15 Archive for Mathematical Logic
14 Nuclear Physics. B
14 International Journal of Modern Physics D
14 Mathematical Logic Quarterly (MLQ)
13 Modern Physics Letters A
12 The Mathematical Intelligencer
12 Notre Dame Journal of Formal Logic
12 Foundations of Science
11 Chaos, Solitons and Fractals
11 Advances in Mathematics
9 International Journal of Modern Physics A
9 Artificial Intelligence
9 Compositio Mathematica
9 Information Sciences
9 Journal of Automated Reasoning
9 Annals of Physics
9 Journal of Applied Non-Classical Logics
8 Acta Mathematica Academiae Scientiarum Hungaricae
8 Logic and Logical Philosophy
7 Physics Letters. A
7 Physics Letters. B
7 Journal of Pure and Applied Algebra
7 Kybernetes
7 Information and Computation
7 Historia Mathematica
6 Israel Journal of Mathematics
6 Mathematische Semesterberichte
6 Journal of Geometry and Physics
6 Mathematische Zeitschrift
6 Journal of Symbolic Computation
6 Bulletin of the American Mathematical Society. New Series
6 Erkenntnis
6 Gravitation & Cosmology
6 Bulletin of the American Mathematical Society
6 Advances in High Energy Physics
5 Astrophysics and Space Science
5 Computers & Mathematics with Applications
5 Proceedings of the American Mathematical Society
5 Mathematical Social Sciences
5 New Journal of Physics
5 Theory and Practice of Logic Programming
5 Journal of Applied Logic
4 Information Processing Letters
4 Algebra Universalis
4 Tôhoku Mathematical Journal. Second Series
4 Bulletin of the Section of Logic
4 Mathematical Structures in Computer Science
4 Indagationes Mathematicae. New Series
4 Journal of Mathematical Sciences (New York)
4 Journal of Functional Programming
4 Journal of Mathematical Logic
4 Quantum Information Processing
4 Monatshefte für Mathematik und Physik
4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
4 Nôus
3 Archive for History of Exact Sciences
3 Communications in Mathematical Physics
3 International Journal of General Systems
3 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
3 Journal of Mathematical Analysis and Applications
3 Letters in Mathematical Physics
3 Theoretical and Mathematical Physics
3 Algebra and Logic
3 Applied Mathematics and Computation
3 Journal of Computer and System Sciences
3 Journal of Geometry
3 Journal of Soviet Mathematics
3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
3 Rendiconti del Seminario Matemàtico e Fisico di Milano
3 Siberian Mathematical Journal
3 Physica D
3 Topoi
3 Russian Physics Journal
3 Physical Review D. Series III
3 ACM Transactions on Computational Logic
3 Journal of Cosmology and Astroparticle Physics
3 Logical Methods in Computer Science
3 Logicheskie Issledovaniya
2 Discrete Mathematics
...and 147 more Serials
all top 5

Cited in 53 Fields

971 Mathematical logic and foundations (03-XX)
301 Relativity and gravitational theory (83-XX)
226 Computer science (68-XX)
148 History and biography (01-XX)
106 Quantum theory (81-XX)
97 Differential geometry (53-XX)
89 General and overarching topics; collections (00-XX)
31 Order, lattices, ordered algebraic structures (06-XX)
26 Category theory; homological algebra (18-XX)
25 Number theory (11-XX)
24 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
19 Fluid mechanics (76-XX)
18 Combinatorics (05-XX)
17 Group theory and generalizations (20-XX)
17 Mechanics of particles and systems (70-XX)
17 Astronomy and astrophysics (85-XX)
14 Dynamical systems and ergodic theory (37-XX)
14 General topology (54-XX)
13 General algebraic systems (08-XX)
13 Operator theory (47-XX)
12 Statistical mechanics, structure of matter (82-XX)
11 Information and communication theory, circuits (94-XX)
10 Partial differential equations (35-XX)
10 Geometry (51-XX)
10 Statistics (62-XX)
10 Classical thermodynamics, heat transfer (80-XX)
10 Biology and other natural sciences (92-XX)
9 Global analysis, analysis on manifolds (58-XX)
8 Measure and integration (28-XX)
8 Optics, electromagnetic theory (78-XX)
6 Topological groups, Lie groups (22-XX)
6 Functional analysis (46-XX)
6 Systems theory; control (93-XX)
5 Real functions (26-XX)
4 Commutative algebra (13-XX)
4 Algebraic topology (55-XX)
4 Manifolds and cell complexes (57-XX)
4 Probability theory and stochastic processes (60-XX)
4 Numerical analysis (65-XX)
4 Operations research, mathematical programming (90-XX)
3 Algebraic geometry (14-XX)
3 Functions of a complex variable (30-XX)
3 Mathematics education (97-XX)
2 Linear and multilinear algebra; matrix theory (15-XX)
2 Approximations and expansions (41-XX)
2 Abstract harmonic analysis (43-XX)
1 Field theory and polynomials (12-XX)
1 Associative rings and algebras (16-XX)
1 Nonassociative rings and algebras (17-XX)
1 Potential theory (31-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Sequences, series, summability (40-XX)
1 Calculus of variations and optimal control; optimization (49-XX)

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.