×

zbMATH — the first resource for mathematics

Hamkins, Joel David

Compute Distance To:
Author ID: hamkins.joel-david Recent zbMATH articles by "Hamkins, Joel David"
Published as: Hamkins, Joel; Hamkins, Joel D.; Hamkins, Joel David
Homepage: http://jdh.hamkins.org/
External Links: MGP · Wikidata · MathOverflow · ORCID · dblp
Documents Indexed: 88 Publications since 1994, including 2 Books

Publications by Year

Citations contained in zbMATH

72 Publications have been cited 648 times in 321 Documents Cited by Year
Infinite time Turing machines. Zbl 0963.03064
Hamkins, Joel David; Lewis, Andy
64
2000
Extensions with the approximation and cover properties have no new large cardinals. Zbl 1066.03052
Hamkins, Joel David
51
2003
The lottery preparation. Zbl 0949.03045
Hamkins, Joel David
48
2000
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067
Hamkins, Joel David
30
1999
Gap forcing. Zbl 1010.03042
Hamkins, Joel David
28
2001
Set-theoretic geology. Zbl 1348.03051
Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas
20
2015
What is the theory ZFC without power set? Zbl 1375.03059
Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A.
19
2016
The set-theoretic multiverse. Zbl 1260.03103
Hamkins, Joel David
18
2012
The modal logic of forcing. Zbl 1139.03039
Hamkins, Joel David; Löwe, Benedikt
16
2008
The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024
Hamkins, Joel David; Miasnikov, Alexei
16
2006
A simple maximality principle. Zbl 1056.03028
Hamkins, Joel David
16
2003
Small forcing creates neither strong nor Woodin cardinals. Zbl 0959.03040
Hamkins, Joel David; Woodin, W. Hugh
16
2000
Indestructibility and the level-by-level agreement between strong compactness and supercompactness. Zbl 1010.03043
Apter, Arthur W.; Hamkins, Joel David
15
2002
Fragile measurability. Zbl 0796.03054
Hamkins, Joel
14
1994
Resurrection axioms and uplifting cardinals. Zbl 1351.03043
Hamkins, Joel David; Johnstone, Thomas A.
12
2014
Destruction or preservation as you like it. Zbl 0949.03047
Hamkins, Joel David
12
1998
Small forcing makes any cardinal superdestructible. Zbl 0906.03051
Hamkins, Joel David
12
1998
Tall cardinals. Zbl 1165.03044
Hamkins, Joel D.
11
2009
Infinite time Turing machines. Zbl 1030.68036
Hamkins, Joel David
11
2002
Superstrong and other large cardinals are never Laver indestructible. Zbl 1402.03073
Bagaria, Joan; Hamkins, Joel David; Tsaprounis, Konstantinos; Usuba, Toshimichi
10
2016
Indestructible strong unfoldability. Zbl 1207.03057
Hamkins, Joel David; Johnstone, Thomas A.
10
2010
Generalizations of the Kunen inconsistency. Zbl 1270.03100
Hamkins, Joel David; Kirmayer, Greg; Perlmutter, Norman Lewis
9
2012
Diamond (on the regulars) can fail at any strongly unfoldable cardinal. Zbl 1110.03032
Džamonja, Mirna; Hamkins, Joel David
9
2006
Superdestructibility: A dual to Laver’s indestructibility. Zbl 0921.03051
Hamkins, Joel David; Shelah, Saharon
9
1998
The hierarchy of equivalence relations on the natural numbers under computable reducibility. Zbl 1325.03049
Coskey, Amuel; Hamkins, Joel David; Miller, Russell
8
2012
The ground axiom is consistent with \(V \neq \text{HOD}\). Zbl 1145.03029
Hamkins, Joel David; Reitz, Jonas; Woodin, W. Hugh
8
2008
Large cardinals with few measures. Zbl 1115.03075
Apter, Arthur W.; Cummings, James; Hamkins, Joel David
8
2007
The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal. Zbl 1078.03042
Hamkins, Joel D.; Woodin, W. Hugh
8
2005
Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata. Zbl 0992.03064
Apter, Arthur W.; Hamkins, Joel David
8
2001
Universal indestructibility. Zbl 0953.03060
Apter, Arthur W.; Hamkins, Joel David
8
1999
Canonical seeds and Prikry trees. Zbl 0890.03024
Hamkins, Joel David
8
1997
The wholeness axioms and V=HOD. Zbl 0969.03063
Hamkins, Joel David
7
2001
A natural model of the multiverse axioms. Zbl 1214.03035
Gitman, Victoria; Hamkins, Joel David
6
2010
Post’s problem for supertasks has both positive and negative solutions. Zbl 1024.03043
Hamkins, Joel David; Lewis, Andrew
6
2002
Infinite time Turing machines with only one tape. Zbl 0990.03031
Hamkins, Joel David; Seabold, Daniel Evan
6
2001
Effective mathematics of the uncountable. Zbl 1297.03006
Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.)
5
2013
Degrees of rigidity for Souslin trees. Zbl 1179.03043
Fuchs, Gunter; Hamkins, Joel David
5
2009
Exactly controlling the non-supercompact strongly compact cardinals. Zbl 1056.03030
Apter, Arthur W.; Hamkins, Joel David
5
2003
Unfoldable cardinals and the GCH. Zbl 1025.03051
Hamkins, Joel David
5
2001
Strongly uplifting cardinals and the boldface resurrection axioms. Zbl 1417.03269
Hamkins, Joel David; Johnstone, Thomas A.
4
2017
Moving up and down in the generic multiverse. Zbl 1303.03078
Hamkins, Joel David; Löwe, Benedikt
4
2013
Infinite time decidable equivalence relation theory. Zbl 1233.03050
Coskey, Samuel; Hamkins, Joel David
4
2011
P\(\neq \text{NP}\cap \)co-NP for infinite time Turing machines. Zbl 1089.68043
Deolalikar, Vinay; Hamkins, Joel David; Schindler, Ralf
4
2005
Changing the heights of automorphism towers. Zbl 0944.03048
Hamkins, Joel David; Thomas, Simon
4
2000
Algebraicity and implicit definability in set theory. Zbl 1436.03264
Hamkins, Joel David; Leahy, Cole
3
2016
Structural connections between a forcing class and its modal logic. Zbl 1367.03095
Hamkins, Joel David; Leibman, George; Löwe, Benedikt
3
2015
The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact. Zbl 1360.03082
Cody, Brent; Gitik, Moti; Hamkins, Joel David; Schanker, Jason A.
3
2015
Every countable model of set theory embeds into its own constructible universe. Zbl 1326.03046
Hamkins, Joel David
3
2013
Pointwise definable models of set theory. Zbl 1270.03101
Hamkins, Joel David; Linetsky, David; Reitz, Jonas
3
2013
Inner models with large cardinal features usually obtained by forcing. Zbl 1250.03104
Apter, Arthur W.; Gitman, Victoria; Hamkins, Joel David
3
2012
Some second order set theory. Zbl 1209.03045
Hamkins, Joel David
3
2009
Every group has a terminating transfinite automorphism tower. Zbl 0904.20027
Hamkins, Joel David
3
1998
A model of the generic Vopěnka principle in which the ordinals are not Mahlo. Zbl 07006136
Gitman, Victoria; Hamkins, Joel David
2
2019
A multiverse perspective on the axiom of constructibility. Zbl 1321.03061
Hamkins, Joel David
2
2014
Transfinite game values in infinite chess. Zbl 1369.03118
Evans, C. D. A.; Hamkins, Joel David
2
2014
The proper and semi-proper forcing axioms for forcing notions that preserve \(\aleph_2\) or \(\aleph_3\). Zbl 1166.03030
Hamkins, Joel David; Johnstone, Thomas A.
2
2009
Changing the heights of automorphism towers by forcing with Souslin trees over L. Zbl 1153.03026
Fuchs, Gunter; Hamkins, Joel David
2
2008
A survey of infinite time Turing machines. Zbl 1211.03060
Hamkins, Joel David
2
2007
Post’s problem for ordinal register machines. Zbl 1151.03339
Hamkins, Joel D.; Miller, Russell G.
2
2007
The rearrangement number. Zbl 07144584
Blass, Andreas; Brendle, Jörg; Brian, Will; Hamkins, Joel David; Hardy, Michael; Larson, Paul B.
1
2020
ZFC proves that the class of ordinals is not weakly compact for definable classes. Zbl 1447.03016
Enayat, Ali; Hamkins, Joel David
1
2018
Open determinacy for class games. Zbl 1423.03200
Gitman, Victoria; Hamkins, Joel David
1
2017
Large cardinals need not be large in HOD. Zbl 1373.03109
Cheng, Yong; Friedman, Sy-David; Hamkins, Joel David
1
2015
Is the dream solution of the continuum hypothesis attainable? Zbl 1331.03034
Hamkins, Joel David
1
2015
The rigid relation principle, a new weak choice principle. Zbl 1268.03067
Hamkins, Joel David; Palumbo, Justin
1
2012
The mate-in-\(n\) problem of infinite chess is decidable. Zbl 1357.03042
Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp
1
2012
The set-theoretic multiverse: a natural context for set theory. Zbl 1274.03076
Hamkins, Joel David
1
2011
Post’s problem for ordinal register machines: an explicit approach. Zbl 1178.03060
Hamkins, Joel David; Miller, Russell G.
1
2009
The complexity of quickly ORM-decidable sets. Zbl 1150.03321
Hamkins, Joel D.; Linetsky, David; Miller, Russell
1
2007
Infinitary computability with infinite time Turing machines. Zbl 1113.68399
Hamkins, Joel David
1
2005
\(\text P^f\neq\text{NP}^{f}\) for almost all \(f\). Zbl 1043.03036
Hamkins, Joel David; Welch, Philip D.
1
2003
How tall is the automorphism tower of a group? Zbl 1012.20034
Hamkins, Joel David
1
2002
The rearrangement number. Zbl 07144584
Blass, Andreas; Brendle, Jörg; Brian, Will; Hamkins, Joel David; Hardy, Michael; Larson, Paul B.
1
2020
A model of the generic Vopěnka principle in which the ordinals are not Mahlo. Zbl 07006136
Gitman, Victoria; Hamkins, Joel David
2
2019
ZFC proves that the class of ordinals is not weakly compact for definable classes. Zbl 1447.03016
Enayat, Ali; Hamkins, Joel David
1
2018
Strongly uplifting cardinals and the boldface resurrection axioms. Zbl 1417.03269
Hamkins, Joel David; Johnstone, Thomas A.
4
2017
Open determinacy for class games. Zbl 1423.03200
Gitman, Victoria; Hamkins, Joel David
1
2017
What is the theory ZFC without power set? Zbl 1375.03059
Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A.
19
2016
Superstrong and other large cardinals are never Laver indestructible. Zbl 1402.03073
Bagaria, Joan; Hamkins, Joel David; Tsaprounis, Konstantinos; Usuba, Toshimichi
10
2016
Algebraicity and implicit definability in set theory. Zbl 1436.03264
Hamkins, Joel David; Leahy, Cole
3
2016
Set-theoretic geology. Zbl 1348.03051
Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas
20
2015
Structural connections between a forcing class and its modal logic. Zbl 1367.03095
Hamkins, Joel David; Leibman, George; Löwe, Benedikt
3
2015
The least weakly compact cardinal can be unfoldable, weakly measurable and nearly \(\theta\)-supercompact. Zbl 1360.03082
Cody, Brent; Gitik, Moti; Hamkins, Joel David; Schanker, Jason A.
3
2015
Large cardinals need not be large in HOD. Zbl 1373.03109
Cheng, Yong; Friedman, Sy-David; Hamkins, Joel David
1
2015
Is the dream solution of the continuum hypothesis attainable? Zbl 1331.03034
Hamkins, Joel David
1
2015
Resurrection axioms and uplifting cardinals. Zbl 1351.03043
Hamkins, Joel David; Johnstone, Thomas A.
12
2014
A multiverse perspective on the axiom of constructibility. Zbl 1321.03061
Hamkins, Joel David
2
2014
Transfinite game values in infinite chess. Zbl 1369.03118
Evans, C. D. A.; Hamkins, Joel David
2
2014
Effective mathematics of the uncountable. Zbl 1297.03006
Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.)
5
2013
Moving up and down in the generic multiverse. Zbl 1303.03078
Hamkins, Joel David; Löwe, Benedikt
4
2013
Every countable model of set theory embeds into its own constructible universe. Zbl 1326.03046
Hamkins, Joel David
3
2013
Pointwise definable models of set theory. Zbl 1270.03101
Hamkins, Joel David; Linetsky, David; Reitz, Jonas
3
2013
The set-theoretic multiverse. Zbl 1260.03103
Hamkins, Joel David
18
2012
Generalizations of the Kunen inconsistency. Zbl 1270.03100
Hamkins, Joel David; Kirmayer, Greg; Perlmutter, Norman Lewis
9
2012
The hierarchy of equivalence relations on the natural numbers under computable reducibility. Zbl 1325.03049
Coskey, Amuel; Hamkins, Joel David; Miller, Russell
8
2012
Inner models with large cardinal features usually obtained by forcing. Zbl 1250.03104
Apter, Arthur W.; Gitman, Victoria; Hamkins, Joel David
3
2012
The rigid relation principle, a new weak choice principle. Zbl 1268.03067
Hamkins, Joel David; Palumbo, Justin
1
2012
The mate-in-\(n\) problem of infinite chess is decidable. Zbl 1357.03042
Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp
1
2012
Infinite time decidable equivalence relation theory. Zbl 1233.03050
Coskey, Samuel; Hamkins, Joel David
4
2011
The set-theoretic multiverse: a natural context for set theory. Zbl 1274.03076
Hamkins, Joel David
1
2011
Indestructible strong unfoldability. Zbl 1207.03057
Hamkins, Joel David; Johnstone, Thomas A.
10
2010
A natural model of the multiverse axioms. Zbl 1214.03035
Gitman, Victoria; Hamkins, Joel David
6
2010
Tall cardinals. Zbl 1165.03044
Hamkins, Joel D.
11
2009
Degrees of rigidity for Souslin trees. Zbl 1179.03043
Fuchs, Gunter; Hamkins, Joel David
5
2009
Some second order set theory. Zbl 1209.03045
Hamkins, Joel David
3
2009
The proper and semi-proper forcing axioms for forcing notions that preserve \(\aleph_2\) or \(\aleph_3\). Zbl 1166.03030
Hamkins, Joel David; Johnstone, Thomas A.
2
2009
Post’s problem for ordinal register machines: an explicit approach. Zbl 1178.03060
Hamkins, Joel David; Miller, Russell G.
1
2009
The modal logic of forcing. Zbl 1139.03039
Hamkins, Joel David; Löwe, Benedikt
16
2008
The ground axiom is consistent with \(V \neq \text{HOD}\). Zbl 1145.03029
Hamkins, Joel David; Reitz, Jonas; Woodin, W. Hugh
8
2008
Changing the heights of automorphism towers by forcing with Souslin trees over L. Zbl 1153.03026
Fuchs, Gunter; Hamkins, Joel David
2
2008
Large cardinals with few measures. Zbl 1115.03075
Apter, Arthur W.; Cummings, James; Hamkins, Joel David
8
2007
A survey of infinite time Turing machines. Zbl 1211.03060
Hamkins, Joel David
2
2007
Post’s problem for ordinal register machines. Zbl 1151.03339
Hamkins, Joel D.; Miller, Russell G.
2
2007
The complexity of quickly ORM-decidable sets. Zbl 1150.03321
Hamkins, Joel D.; Linetsky, David; Miller, Russell
1
2007
The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024
Hamkins, Joel David; Miasnikov, Alexei
16
2006
Diamond (on the regulars) can fail at any strongly unfoldable cardinal. Zbl 1110.03032
Džamonja, Mirna; Hamkins, Joel David
9
2006
The Necessary Maximality Principle for c.c.c. forcing is equiconsistent with a weakly compact cardinal. Zbl 1078.03042
Hamkins, Joel D.; Woodin, W. Hugh
8
2005
P\(\neq \text{NP}\cap \)co-NP for infinite time Turing machines. Zbl 1089.68043
Deolalikar, Vinay; Hamkins, Joel David; Schindler, Ralf
4
2005
Infinitary computability with infinite time Turing machines. Zbl 1113.68399
Hamkins, Joel David
1
2005
Extensions with the approximation and cover properties have no new large cardinals. Zbl 1066.03052
Hamkins, Joel David
51
2003
A simple maximality principle. Zbl 1056.03028
Hamkins, Joel David
16
2003
Exactly controlling the non-supercompact strongly compact cardinals. Zbl 1056.03030
Apter, Arthur W.; Hamkins, Joel David
5
2003
\(\text P^f\neq\text{NP}^{f}\) for almost all \(f\). Zbl 1043.03036
Hamkins, Joel David; Welch, Philip D.
1
2003
Indestructibility and the level-by-level agreement between strong compactness and supercompactness. Zbl 1010.03043
Apter, Arthur W.; Hamkins, Joel David
15
2002
Infinite time Turing machines. Zbl 1030.68036
Hamkins, Joel David
11
2002
Post’s problem for supertasks has both positive and negative solutions. Zbl 1024.03043
Hamkins, Joel David; Lewis, Andrew
6
2002
How tall is the automorphism tower of a group? Zbl 1012.20034
Hamkins, Joel David
1
2002
Gap forcing. Zbl 1010.03042
Hamkins, Joel David
28
2001
Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata. Zbl 0992.03064
Apter, Arthur W.; Hamkins, Joel David
8
2001
The wholeness axioms and V=HOD. Zbl 0969.03063
Hamkins, Joel David
7
2001
Infinite time Turing machines with only one tape. Zbl 0990.03031
Hamkins, Joel David; Seabold, Daniel Evan
6
2001
Unfoldable cardinals and the GCH. Zbl 1025.03051
Hamkins, Joel David
5
2001
Infinite time Turing machines. Zbl 0963.03064
Hamkins, Joel David; Lewis, Andy
64
2000
The lottery preparation. Zbl 0949.03045
Hamkins, Joel David
48
2000
Small forcing creates neither strong nor Woodin cardinals. Zbl 0959.03040
Hamkins, Joel David; Woodin, W. Hugh
16
2000
Changing the heights of automorphism towers. Zbl 0944.03048
Hamkins, Joel David; Thomas, Simon
4
2000
Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067
Hamkins, Joel David
30
1999
Universal indestructibility. Zbl 0953.03060
Apter, Arthur W.; Hamkins, Joel David
8
1999
Destruction or preservation as you like it. Zbl 0949.03047
Hamkins, Joel David
12
1998
Small forcing makes any cardinal superdestructible. Zbl 0906.03051
Hamkins, Joel David
12
1998
Superdestructibility: A dual to Laver’s indestructibility. Zbl 0921.03051
Hamkins, Joel David; Shelah, Saharon
9
1998
Every group has a terminating transfinite automorphism tower. Zbl 0904.20027
Hamkins, Joel David
3
1998
Canonical seeds and Prikry trees. Zbl 0890.03024
Hamkins, Joel David
8
1997
Fragile measurability. Zbl 0796.03054
Hamkins, Joel
14
1994
all top 5

Cited by 243 Authors

43 Apter, Arthur W.
37 Hamkins, Joel David
14 Fuchs, Gunter
13 Friedman, Sy-David
12 Carl, Merlin
9 Gitman, Victoria
8 Cody, Brent M.
8 Schlicht, Philipp
7 Lücke, Philipp Moritz
7 Rybalov, Aleksandr Nikolaevich
7 Sargsyan, Grigor
6 Honzik, Radek
6 Koepke, Peter
6 Tsaprounis, Konstantinos
6 Welch, Philip D.
5 Antos, Carolin
5 Johnstone, Thomas A.
5 Löwe, Benedikt
5 Schindler, Ralf-Dieter
4 Ben-Neria, Omer
4 Bringsjord, Selmer
4 Cheng, Yong
4 Corazza, Paul
4 Kanovei, Vladimir G.
4 Krueger, John
4 Myasnikov, Alexei G.
4 Perlmutter, Norman Lewis
4 Reitz, Jonas
4 Usuba, Toshimichi
4 Viale, Matteo
3 Barton, Neil
3 Cox, Sean D.
3 Cummings, James
3 Friedman, Shoshana
3 Gitik, Moti
3 Khoussainov, Bakhadyr M.
3 Lubarsky, Robert S.
3 Mitchell, William John
3 Monin, Benoît
3 Ng, KengMeng
3 Rin, Benjamin G.
3 Sorbi, Andrea
3 Wilson, Trevor Miles
3 Woodin, W. Hugh
2 Andrews, Uri
2 Bazhenov, Nikolaĭ Alekseevich
2 Brooke-Taylor, Andrew D.
2 Burgin, Mark
2 Calude, Cristian S.
2 Coskey, Samuel
2 d’Auriac, Paul-Elliot Anglès
2 Desfontaines, Damien
2 Dimonte, Vincenzo
2 Durand, Bruno
2 Govindarajulu, Naveen Sundar
2 Habič, Miha Emerik
2 Köllner, Peter
2 Lafitte, Grégory
2 Meadows, Toby
2 Miller, Russell G.
2 Osin, Denis V.
2 Potgieter, Petrus H.
2 Sakai, Hiroshi
2 Schanker, Jason Aaron
2 Schweber, Noah David
2 Shagrir, Oron
2 Shelah, Saharon
2 Siders, Ryan
2 Stephan, Frank
2 Ternullo, Claudio
2 Venturi, Giorgio
2 Welch, Peter D.
2 Wiedermann, Jiří
2 Williams, Kameryn J.
2 Ziegler, Martin
1 Ackerman, Nathanael Leedom
1 Akl, Selim G.
1 Arkoudas, Konstantine
1 Arrigoni, Tatiana
1 Asperó, David
1 Astor, Eric P.
1 Audrito, Giorgio
1 Badaev, Serikzhan A.
1 Bagaria, Joan
1 Bard, Vittorio
1 Bauer, Andrej
1 Baumes, Jeffrey
1 Bianchetti, Matteo
1 Bienvenu, Laurent
1 Boney, Will
1 Bruni, Riccardo
1 Button, Tim
1 Cabessa, Jérémie
1 Caicedo, Andrés Eduardo
1 Chan, William C. Y.
1 Clemens, John Daniel
1 Cockshott, Paul
1 Costa, José Félix
1 Cramer, Scott S.
1 Daghighi, Ali Sadegh
...and 143 more Authors
all top 5

Cited in 54 Serials

52 Archive for Mathematical Logic
47 The Journal of Symbolic Logic
36 Annals of Pure and Applied Logic
19 Mathematical Logic Quarterly (MLQ)
16 Theoretical Computer Science
12 Notre Dame Journal of Formal Logic
11 The Bulletin of Symbolic Logic
10 Israel Journal of Mathematics
6 Studia Logica
6 The Review of Symbolic Logic
5 Proceedings of the American Mathematical Society
4 Applied Mathematics and Computation
4 Journal of Mathematical Logic
4 Natural Computing
3 Algebra and Logic
3 Transactions of the American Mathematical Society
3 Bulletin of the Polish Academy of Sciences, Mathematics
3 Theory of Computing Systems
2 Advances in Mathematics
2 Fundamenta Mathematicae
2 Illinois Journal of Mathematics
2 Journal of Philosophical Logic
2 Siberian Mathematical Journal
2 Logical Methods in Computer Science
2 Computability
2 Bollettino dell’Unione Matematica Italiana
1 International Journal of Theoretical Physics
1 Information Processing Letters
1 Periodica Mathematica Hungarica
1 Journal of Algebra
1 Journal of Computer and System Sciences
1 Journal of Pure and Applied Algebra
1 Synthese
1 Topology and its Applications
1 Advances in Applied Mathematics
1 Bulletin of the Iranian Mathematical Society
1 Order
1 Journal of Complexity
1 Journal of Automated Reasoning
1 Journal of the American Mathematical Society
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Foundations of Computer Science
1 International Journal of Computer Mathematics
1 Indagationes Mathematicae. New Series
1 Erkenntnis
1 Foundations of Science
1 Lobachevskii Journal of Mathematics
1 Parallel Processing Letters
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Sarajevo Journal of Mathematics
1 International Journal of Parallel, Emergent and Distributed Systems
1 Logica Universalis
1 Groups, Complexity, Cryptology
1 Forum of Mathematics, Sigma

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.