Lev D. Beklemishev - Author Profile

Edit Profile

Beklemishev, Lev D.

Author ID:	beklemishev.lev-d
Published as:	Beklemishev, L. D.; Beklemishev, Lev D.; Beklemishev, Lev; Beklemishev, L. more...less
External Links:	MGP · ORCID · Wikidata · GND · IdRef

Documents Indexed:	74 Publications since 1987, including 1 Book and 5 Additional arXiv Preprints
	12 Contributions as Editor
Co-Authors:	94 Co-Authors with 39 Joint Publications
	3,444 Co-Co-Authors

all top 5

Co-Authors

47	single-authored
5	Semënov, Alekseĭ L’vovich
4	Lysenok, Igor’ Geront’evich
3	Bukhshtaber, Viktor Matveevich
3	De Queiroz, Ruy José Guerra Barretto
3	Goncharov, Sergeĭ Savost’yanovich
3	Matiyasevich, Yuriĭ Vladimirovich
3	Novikov, Sergeĭ Petrovich
3	Pentus, Mati
3	Razborov, Aleksandr Aleksandrovich
3	Visser, Albert
2	Adyan, Sergeĭ Ivanovich
2	Artemov, Sergei
2	Atabekyan, Varuzhan S.
2	Bezhanishvili, Guram
2	Ershov, Yuriĭ Leonidovich
2	Gabelaia, David
2	Guba, Victor S.
2	Joosten, Joost J.
2	Kolmakov, Evgeny A.
2	Kozlov, Valeriĭ Vasil’evich
2	Mal’tsev, Arkadiĭ Anatol’evich
2	Osipov, Yuriĭ Sergeevich
2	Pakhomov, Fedor N.
2	Parshin, Alekseĭ Nikolaevich
2	Sadovnichiĭ, Viktor Antonovich
2	Ščedrov, Andrej
2	Shen’, A. Kh.
2	Treshchev, Dmitriĭ Valer’evich
1	Abraham, Uri
1	Alexandrov, Victor A.
1	Andreev, Nikolaĭ Nikolaevich
1	Berger, Gerald
1	Blass, Andreas Raphael
1	Borkin, L. Ya.
1	Dantsin, Evgeny
1	D’Aquino, Paola
1	Demri, Stéphane P.
1	Dershowitz, Nachum
1	Dmitrieva, Anna
1	Dolbilin, Nikolaĭ Petrovich
1	Erokhovets, Nikolaĭ Yur’evich
1	Fernández Duque, David
1	Finkbeiner, Bernd
1	Flaminio, Tommaso
1	Gaifullin, Alexander A.
1	Goranko, Valentin F.
1	Gurevich, Yuri
1	Hirsch, Edward A.
1	Ibragimov, Il’dar Abdullovich
1	Icard, Thomas F. III
1	Kalmens, E. V.
1	Kolesnikov, Pavel Sergeevich
1	Koubenski, D. A.
1	Kovalëv, Mikhail Dmitrievich
1	Kreinovich, Vladik Yakovlevich
1	Lodkin, A. A.
1	Makarov, V. S.
1	Makowsky, Johann-Andreas
1	Máté, András
1	Mazurov, Viktor Danilovich
1	Morozov, Andreĭ Sergeevich
1	Mundici, Daniele
1	Musatov, Daniil
1	Novikov, B. A.
1	Onoprienko, Anastasiya A.
1	Orevkov, V. P.
1	Orlov, Dmitri O.
1
1	Plungyan, V. A.
1	Podol’skiĭ, Vladimir Vladimirovich
1	Puzarenko, Vadim G.
1	Rakhilina, E. V.
1	Rastsvetaev, A. L.
1	Sabitov, Idzhad Khakovich
1	Schulte, Wolfram
1	Schwidefsky, Marina V.
1	Shamkanov, Daniyar S.
1	Shchepin, Evgeniĭ Vital’evich
1	Shehtman, Valentin B.
1	Sheĭnman, Oleg Karlovich
1	Shevrin, Lev Naumovich
1	Slissenko, A. O.
1	Talambutsa, Alexey L.
1	Tatevosov, S. G.
1	Tikhomirov, Vladimir Mikhaĭlovich
1	Tompits, Hans
1	Tressl, Marcus
1	Vasil’ev, Andreĭ Viktorovich
1	Vdovin, Evgeniĭ Petrovich
1	Venema, Yde
1	Vereshchagin, Nikolay K.
1	Vershik, Anatoliĭ Moiseevich
1	Vervoort, Marco Robert
1	Vesnin, Andrei Yu.
1	Wang, Yunsong

all top 5

Serials

12	Russian Mathematical Surveys
10	Annals of Pure and Applied Logic
4	Studia Logica
3	The Journal of Symbolic Logic
3	Journal of Logic and Computation
3	Archive for Mathematical Logic
3	Doklady Mathematics
3	Lecture Notes in Computer Science
2	Logic Journal of the IGPL
2	Proceedings of the Steklov Institute of Mathematics
1	Information Processing Letters
1	Mathematical Notes
1	Matematicheskie Zametki
1	Uspekhi Matematicheskikh Nauk [N. S.]
1	Journal of Computer and System Sciences
1	Mathematics of the USSR. Izvestiya
1	Notre Dame Journal of Formal Logic
1	Siberian Mathematical Journal
1	Sibirskiĭ Matematicheskiĭ Zhurnal
1	Theoretical Computer Science
1	The Bulletin of Symbolic Logic
1	Sbornik: Mathematics
1	Theory of Computing Systems
1	Translations. Series 2. American Mathematical Society

all top 5

Fields

75	Mathematical logic and foundations (03-XX)
13	General and overarching topics; collections (00-XX)
11	Computer science (68-XX)
10	History and biography (01-XX)
3	General topology (54-XX)
2	Order, lattices, ordered algebraic structures (06-XX)
1	Group theory and generalizations (20-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

55 Publications have been cited 449 times in 177 Documents	Cited by ▼	Year ▼
Reflection schemes and provability algebras in formal arithmetic. Zbl 1097.03054 Beklemishev, L. D.	49	2005
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045 Beklemishev, Lev D.	38	2004
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041 Beklemishev, L. D.	35	2003
Induction rules, reflection principles, and provably recursive functions. Zbl 0882.03055 Beklemishev, Lev D.	25	1997
Parameter free induction and provably total computable functions. Zbl 0930.03082 Beklemishev, Lev D.	16	1999
Iterated local reflection versus iterated consistency. Zbl 0848.03031 Beklemishev, Lev	15	1995
Topological completeness of the provability logic GLP. Zbl 1320.03088 Beklemishev, Lev; Gabelaia, David	15	2013
A proof-theoretic analysis of collection. Zbl 0916.03038 Beklemishev, Lev D.	14	1998
On provability logics with linearly ordered modalities. Zbl 1322.03042 Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.	14	2014
Kripke semantics for provability logic GLP. Zbl 1223.03046 Beklemishev, Lev D.	14	2010
Positive provability logic for uniform reflection principles. Zbl 1322.03041 Beklemishev, Lev	13	2014
The worm principle. Zbl 1108.03055 Beklemishev, Lev D.	13	2006
Topological interpretations of provability logic. Zbl 1352.03070 Beklemishev, Lev; Gabelaia, David	13	2014
A finitary treatment of the closed fragment of Japaridze’s provability logic. Zbl 1080.03038 Beklemishev, Lev D.; Joosten, Joost J.; Vervoort, Marco	12	2005
Veblen hierarchy in the context of provability algebras. Zbl 1105.03062 Beklemishev, Lev D.	12	2005
Calibrating provability logic: from modal logic to reflection calculus. Zbl 1331.03040 Beklemishev, Lev	11	2012
On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories. Zbl 1087.03037 Beklemishev, Lev D.; Visser, Albert	10	2005
On topological models of GLP. Zbl 1223.03047 Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas	9	2010
Problems in the logic of provability. Zbl 1100.03051 Beklemishev, Lev; Visser, Albert	8	2006
A simplified proof of arithmetical completeness theorem for provability logic GLP. Zbl 1294.03038 Beklemishev, L. D.	7	2011
On the induction schema for decidable predicates. Zbl 1041.03042 Beklemishev, Lev D.	7	2003
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077 Beklemishev, Lev	7	2018
Provability logics for natural Turing progressions of arithmetical theories. Zbl 0728.03017 Beklemishev, L. D.	7	1991
On the classification of propositional provability logics. Zbl 0704.03005 Beklemishev, L. D.	6	1990
Reflection algebras and conservation results for theories of iterated truth. Zbl 1539.03190 Beklemishev, Lev D.; Pakhomov, Fedor N.	6	2022
On propositional quantifiers in provability logic. Zbl 0805.03009 Artemov, Sergej N.; Beklemishev, Lev D.	5	1993
Gödel incompleteness theorems and the limits of their applicability. I. Zbl 1213.03071 Beklemishev, L. D.	5	2010
Ordinal completeness of bimodal provability logic GLB. Zbl 1341.03090 Beklemishev, Lev	5	2011
On the reflection calculus with partial conservativity operators. Zbl 1496.03246 Beklemishev, Lev D.	5	2017
Independent numerations of theories and recursive progressions. Zbl 0787.03054 Beklemishev, L. D.	4	1992
On bimodal logics of provability. Zbl 0814.03010 Beklemishev, Lev D.	4	1994
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 1505.03132 Beklemishev, Lev D.	4	2018
Reflection calculus and conservativity spectra. Zbl 1522.03326 Beklemishev, L. D.	4	2018
Parameter free induction and reflection. Zbl 0892.03023 Beklemishev, Lev D.	3	1997
On the reduction property for GLP-algebras. Zbl 1379.03020 Beklemishev, L. D.	3	2017
Axiomatization of provable \(n\)-provability. Zbl 1444.03165 Kolmakov, Evgeny; Beklemishev, Lev	3	2019
On the query complexity of finding a local maximum point. Zbl 1042.68054 Rastsvetaev, A. L.; Beklemishev, L. D.	2	2002
Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). Zbl 0855.03038 Beklemishev, Lev	2	1996
Quantifier-free induction schema and the least element principle. Zbl 1079.03049 Beklemishev, L. D.	2	2003
Bimodal logics for extensions of arithmetical theories. Zbl 0858.03024 Beklemishev, Lev D.	2	1996
Propositional primal logic with disjunction. Zbl 1327.03023 Beklemishev, Lev; Gurevich, Yuri	2	2014
On the Craig interpolation and the fixed point properties for GLP. Zbl 1229.03049 Beklemishev, Lev D.	2	2010
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008	2	2015
On some slowly terminating term rewriting systems. Zbl 1334.68110 Beklemishev, L. D.; Onoprienko, A. A.	2	2015
Proof theoretic analysis by iterated reflection. Zbl 1402.03079 Beklemishev, L. D.	2	2015
Another pathological well-ordering. Zbl 0943.03045 Beklemishev, L.	1	2000
Open least element principle and bounded query computation. Zbl 0942.03060 Beklemishev, L. D.	1	1999
Provability, complexity, grammars. Three doctoral dissertations translated from the Russian. Zbl 0914.00019 Beklemishev, Lev; Pentus, Mati; Vereshchagin, Nikolai	1	1999
On the complexity of arithmetical interpretations of modal formulae. Zbl 0802.03011 Beklemishev, Lev D.	1	1993
Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. Zbl 1367.03009	1	2016
Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. Zbl 1235.03004	1	2010
Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Zbl 1214.03002	1	2011
Normalization of conclusions and interpolation for some logics of provability. Zbl 0644.03028 Beklemishev, L. D.	1	1987
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175 Beklemishev, Lev; Shamkanov, Daniyar	1	2016
Sergei Ivanovich Adian (on his 75th birthday). Zbl 1147.01312 Beklemishev, L. D.; Lysenok, I. G.; Mal’tsev, A. A.; et al.	1	2006
Reflection algebras and conservation results for theories of iterated truth. Zbl 1539.03190 Beklemishev, Lev D.; Pakhomov, Fedor N.	6	2022
Axiomatization of provable \(n\)-provability. Zbl 1444.03165 Kolmakov, Evgeny; Beklemishev, Lev	3	2019
A note on strictly positive logics and word rewriting systems. Zbl 1429.03077 Beklemishev, Lev	7	2018
A universal algebra for the variable-free fragment of \({\mathrm{RC}^\nabla}\). Zbl 1505.03132 Beklemishev, Lev D.	4	2018
Reflection calculus and conservativity spectra. Zbl 1522.03326 Beklemishev, L. D.	4	2018
On the reflection calculus with partial conservativity operators. Zbl 1496.03246 Beklemishev, Lev D.	5	2017
On the reduction property for GLP-algebras. Zbl 1379.03020 Beklemishev, L. D.	3	2017
Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. Zbl 1367.03009	1	2016
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics. Zbl 1418.03175 Beklemishev, Lev; Shamkanov, Daniyar	1	2016
Fields of logic and computation II. Essays dedicated to Yuri Gurevich on the occasion of his 75th birthday. Zbl 1321.03008	2	2015
On some slowly terminating term rewriting systems. Zbl 1334.68110 Beklemishev, L. D.; Onoprienko, A. A.	2	2015
Proof theoretic analysis by iterated reflection. Zbl 1402.03079 Beklemishev, L. D.	2	2015
On provability logics with linearly ordered modalities. Zbl 1322.03042 Beklemishev, Lev D.; Fernández-Duque, David; Joosten, Joost J.	14	2014
Positive provability logic for uniform reflection principles. Zbl 1322.03041 Beklemishev, Lev	13	2014
Topological interpretations of provability logic. Zbl 1352.03070 Beklemishev, Lev; Gabelaia, David	13	2014
Propositional primal logic with disjunction. Zbl 1327.03023 Beklemishev, Lev; Gurevich, Yuri	2	2014
Topological completeness of the provability logic GLP. Zbl 1320.03088 Beklemishev, Lev; Gabelaia, David	15	2013
Calibrating provability logic: from modal logic to reflection calculus. Zbl 1331.03040 Beklemishev, Lev	11	2012
A simplified proof of arithmetical completeness theorem for provability logic GLP. Zbl 1294.03038 Beklemishev, L. D.	7	2011
Ordinal completeness of bimodal provability logic GLB. Zbl 1341.03090 Beklemishev, Lev	5	2011
Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Zbl 1214.03002	1	2011
Kripke semantics for provability logic GLP. Zbl 1223.03046 Beklemishev, Lev D.	14	2010
On topological models of GLP. Zbl 1223.03047 Beklemishev, Lev; Bezhanishvili, Guram; Icard, Thomas	9	2010
Gödel incompleteness theorems and the limits of their applicability. I. Zbl 1213.03071 Beklemishev, L. D.	5	2010
On the Craig interpolation and the fixed point properties for GLP. Zbl 1229.03049 Beklemishev, Lev D.	2	2010
Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. Zbl 1235.03004	1	2010
The worm principle. Zbl 1108.03055 Beklemishev, Lev D.	13	2006
Problems in the logic of provability. Zbl 1100.03051 Beklemishev, Lev; Visser, Albert	8	2006
Sergei Ivanovich Adian (on his 75th birthday). Zbl 1147.01312 Beklemishev, L. D.; Lysenok, I. G.; Mal’tsev, A. A.; et al.	1	2006
Reflection schemes and provability algebras in formal arithmetic. Zbl 1097.03054 Beklemishev, L. D.	49	2005
A finitary treatment of the closed fragment of Japaridze’s provability logic. Zbl 1080.03038 Beklemishev, Lev D.; Joosten, Joost J.; Vervoort, Marco	12	2005
Veblen hierarchy in the context of provability algebras. Zbl 1105.03062 Beklemishev, Lev D.	12	2005
On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories. Zbl 1087.03037 Beklemishev, Lev D.; Visser, Albert	10	2005
Provability algebras and proof-theoretic ordinals. I. Zbl 1048.03045 Beklemishev, Lev D.	38	2004
Proof-theoretic analysis by iterated reflection. Zbl 1026.03041 Beklemishev, L. D.	35	2003
On the induction schema for decidable predicates. Zbl 1041.03042 Beklemishev, Lev D.	7	2003
Quantifier-free induction schema and the least element principle. Zbl 1079.03049 Beklemishev, L. D.	2	2003
On the query complexity of finding a local maximum point. Zbl 1042.68054 Rastsvetaev, A. L.; Beklemishev, L. D.	2	2002
Another pathological well-ordering. Zbl 0943.03045 Beklemishev, L.	1	2000
Parameter free induction and provably total computable functions. Zbl 0930.03082 Beklemishev, Lev D.	16	1999
Open least element principle and bounded query computation. Zbl 0942.03060 Beklemishev, L. D.	1	1999
Provability, complexity, grammars. Three doctoral dissertations translated from the Russian. Zbl 0914.00019 Beklemishev, Lev; Pentus, Mati; Vereshchagin, Nikolai	1	1999
A proof-theoretic analysis of collection. Zbl 0916.03038 Beklemishev, Lev D.	14	1998
Induction rules, reflection principles, and provably recursive functions. Zbl 0882.03055 Beklemishev, Lev D.	25	1997
Parameter free induction and reflection. Zbl 0892.03023 Beklemishev, Lev D.	3	1997
Remarks on Magari algebras of \(\text{PA}\) and \(\text{I}\Delta_ 0 + \text{EXP}\). Zbl 0855.03038 Beklemishev, Lev	2	1996
Bimodal logics for extensions of arithmetical theories. Zbl 0858.03024 Beklemishev, Lev D.	2	1996
Iterated local reflection versus iterated consistency. Zbl 0848.03031 Beklemishev, Lev	15	1995
On bimodal logics of provability. Zbl 0814.03010 Beklemishev, Lev D.	4	1994
On propositional quantifiers in provability logic. Zbl 0805.03009 Artemov, Sergej N.; Beklemishev, Lev D.	5	1993
On the complexity of arithmetical interpretations of modal formulae. Zbl 0802.03011 Beklemishev, Lev D.	1	1993
Independent numerations of theories and recursive progressions. Zbl 0787.03054 Beklemishev, L. D.	4	1992
Provability logics for natural Turing progressions of arithmetical theories. Zbl 0728.03017 Beklemishev, L. D.	7	1991
On the classification of propositional provability logics. Zbl 0704.03005 Beklemishev, L. D.	6	1990
Normalization of conclusions and interpolation for some logics of provability. Zbl 0644.03028 Beklemishev, L. D.	1	1987

all cited Publications top 5 cited Publications

all top 5

Cited by 146 Authors

27	Beklemishev, Lev D.
15	Joosten, Joost J.
12	Visser, Albert
11	Fernández Duque, David
8	Pakhomov, Fedor N.
7	Kurahashi, Taishi
6	Cordón-Franco, Andrés
6	Lara-Martín, Francisco Felix
5	Freund, Anton
5	Kolmakov, Evgeny A.
4	Enayat, Ali
3	Aguilera, Juan Pablo
3	Fernández Margarit, Alejandro
3	Kołodziejczyk, Leszek Aleksander
3	Łełyk, Mateusz Zbigniew
3	Mojtahedi, Mojtaba
3	Yokoyama, Keita
2	Bagaria, Joan
2	Blanck, Rasmus
2	Cheng, Yong
2	Cornaros, Charalampos
2	Fujimoto, Kentaro
2	Heck, Richard Kimberly
2	Hermo Reyes, Eduardo
2	Hetzl, Stefan
2	Litak, Tadeusz
2	Nicolai, Carlo
2	Salehi, Saeed
2	Sato, Kentaro
2	Shamkanov, Daniyar S.
2	Shavrukov, V. Yu.
2	Svyatlovskii, Mikhail V.
2	Vierling, Jannik
2	Wong, Tin Lok
1	Angiuli, Carlo
1	Arai, Toshiyasu
1	Ardeshir, Mohammad
1	Artemov, Sergei
1	Atabekyan, Varuzhan S.
1	Avigad, Jeremy
1	Baaz, Matthias
1	Baltag, Alexandru
1	Basold, Henning
1	Bednarczyk, Bartosz
1	Benhamou, Tom
1	Bezhanishvili, Guram
1	Bezhanishvili, Nick
1	Bílková, Marta
1	Brickhill, Hazel
1	Brogi, Cosimo Perini
1	Buldt, Bernd
1	Bydžovský, Jan
1	Cieśliński, Cezary
1	Cody, Brent M.
1	Courcelle, Bruno
1	Dashkov, E. V.
1	de Almeida Borges, Ana
1	de Jongh, Dick H. J.
1	de Vos, Mirjam
1	Dean, Walter
1	Demri, Stéphane P.
1	Dvorkin, Lev V.
1	Erickson, Jeff
1	Flaminio, Tommaso
1	Fleischer, Rudolf
1	Franzén, Torkel
1	Frittaion, Emanuele
1	Gabelaia, David
1	Gitman, Victoria
1	Golshani, Mohammad
1	Goris, Evan
1	Gruza, Piotr
1	Guba, Victor S.
1	Halbach, Volker
1	Halimi, Brice
1	Harper, Robert
1	Hassin, Refael
1	Holliday, Wesley H.
1	Icard, Thomas F. III
1	Iwata, Sohei
1	Jeřábek, Emil
1	Kahle, Reinhard
1	Kentaro, Sato
1	Kikot, Stanislav
1	Kikuchi, Makoto
1	Kobayashi, Naoki
1	Kohlenbach, Ulrich Wilhelm
1	Komara, Ján
1	Kooi, Barteld Pieter
1	Kowalik, Katarzyna W.
1	Kupke, Clemens
1	Kurokawa, Hidenori
1	Kurucz, Agi
1	Kuusisto, Antti
1	Lambie-Hanson, Chris
1	Lee, Gyesik
1	Li, Kai
1	Lucero-Bryan, Joel Gregory
1	Lutz, Patrick
1	Lysenok, Igor’ Geront’evich
...and 46 more Authors

all top 5

Cited in 38 Serials

39	Annals of Pure and Applied Logic
21	The Journal of Symbolic Logic
14	Archive for Mathematical Logic
10	The Review of Symbolic Logic
9	Notre Dame Journal of Formal Logic
8	The Bulletin of Symbolic Logic
7	Studia Logica
5	Mathematical Logic Quarterly (MLQ)
4	Theoretical Computer Science
4	Doklady Mathematics
3	Mathematical Notes
3	Journal of Philosophical Logic
3	Proceedings of the Steklov Institute of Mathematics
3	Logical Methods in Computer Science
2	Information Processing Letters
2	Russian Mathematical Surveys
2	Proceedings of the American Mathematical Society
2	Indagationes Mathematicae. New Series
2	Izvestiya: Mathematics
2	Journal of Mathematical Logic
2	Logica Universalis
1	Israel Journal of Mathematics
1	Bulletin of the London Mathematical Society
1	Journal of the London Mathematical Society. Second Series
1	Siberian Mathematical Journal
1	Synthese
1	Transactions of the American Mathematical Society
1	Information and Computation
1	Journal of Automated Reasoning
1	European Journal of Operational Research
1	Journal of Applied Non-Classical Logics
1	Sbornik: Mathematics
1	Theory of Computing Systems
1	Erkenntnis
1	Fundamenta Informaticae
1	Miscelánea Matemática
1	Logic and Logical Philosophy
1	Computability

all top 5

Cited in 15 Fields

171	Mathematical logic and foundations (03-XX)
20	Computer science (68-XX)
8	General topology (54-XX)
4	History and biography (01-XX)
4	Order, lattices, ordered algebraic structures (06-XX)
3	Combinatorics (05-XX)
2	General algebraic systems (08-XX)
1	General and overarching topics; collections (00-XX)
1	Group theory and generalizations (20-XX)
1	Dynamical systems and ergodic theory (37-XX)
1	Differential geometry (53-XX)
1	Algebraic topology (55-XX)
1	Global analysis, analysis on manifolds (58-XX)
1	Operations research, mathematical programming (90-XX)
1	Game theory, economics, finance, and other social and behavioral sciences (91-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.