Edit Profile Hamkins, Joel David Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 24 single-authored 7 Apter, Arthur W. 7 Gitman, Victoria 6 Fuchs, Gunter 6 Miller, Russell G. 5 Johnstone, Thomas A. 4 Reitz, Jonas 3 Coskey, Samuel 3 Löwe, Benedikt 3 Woodin, W. Hugh 2 Brendle, Jörg 2 Brian, William Rea 2 Cummings, James 2 Greenberg, Noam 2 Hirschfeldt, Denis Roman 2 Linetsky, David 2 Schindler, Ralf-Dieter 2 Seabold, Daniel Evan 1 Bagaria, Joan 1 Barton, Neil 1 Blair, D. Dakota 1 Blass, Andreas Raphael 1 Brumleve, Dan 1 Caicedo, Andrés Eduardo 1 Cheng, Yong 1 Cody, Brent M. 1 Daghighi, Ali Sadegh 1 Deolalikar, Vinay 1 Dorais, François Gilbert 1 Džamonja, Mirna 1 Enayat, Ali 1 Evans, C. D. A. 1 Friedman, Sy-David 1 Gitik, Moti 1 Godziszewski, Michał Tomasz 1 Golshani, Mohammad 1 Groszek, Marcia J. 1 Habič, Miha Emerik 1 Hardy, Michael 1 Jeřábek, Emil 1 Kikuchi, Makoto 1 Kirmayer, Greg 1 Klausner, Lukas Daniel 1 Larson, Paul B. 1 Leahy, Cole 1 Leibman, George 1 Lewis, Andrew D. 1 Lewis, Andy 1 Miller, Russel G. 1 Myasnikov, Alexei G. 1 O’Bryant, Kevin 1 Palumbo, Justin 1 Perlmutter, Norman Lewis 1 Schanker, Jason Aaron 1 Schlicht, Philipp 1 Shelah, Saharon 1 Thomas, Simon R. 1 Tsaprounis, Konstantinos 1 Usuba, Toshimichi 1 Verner, Jonathan L. 1 Warner, Steve 1 Welch, Philip D. 1 Williams, Kameryn J. all top 5 Serials 14 The Journal of Symbolic Logic 9 Archive for Mathematical Logic 9 Mathematical Logic Quarterly (MLQ) 8 Annals of Pure and Applied Logic 7 Notre Dame Journal of Formal Logic 5 Proceedings of the American Mathematical Society 2 Israel Journal of Mathematics 2 Fundamenta Mathematicae 2 Transactions of the American Mathematical Society 2 Integers 1 Annals of the Japan Association for Philosophy of Science 1 Studia Logica 1 Kobe Journal of Mathematics 1 Journal of Logic and Computation 1 1 The Bulletin of Symbolic Logic 1 Journal of Mathematical Logic 1 Logic and Logical Philosophy 1 Central European Journal of Mathematics 1 Lecture Notes in Logic 1 The Review of Symbolic Logic 1 Computability all top 5 Fields 85 Mathematical logic and foundations (03-XX) 7 Computer science (68-XX) 4 Group theory and generalizations (20-XX) 3 General and overarching topics; collections (00-XX) 2 History and biography (01-XX) 2 Sequences, series, summability (40-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Number theory (11-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 72 Publications have been cited 648 times in 321 Documents Cited by ▼ Year ▼ Infinite time Turing machines. Zbl 0963.03064Hamkins, Joel David; Lewis, Andy 64 2000 Extensions with the approximation and cover properties have no new large cardinals. Zbl 1066.03052Hamkins, Joel David 51 2003 The lottery preparation. Zbl 0949.03045Hamkins, Joel David 48 2000 Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067Hamkins, Joel David 30 1999 Gap forcing. Zbl 1010.03042Hamkins, Joel David 28 2001 Set-theoretic geology. Zbl 1348.03051Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas 20 2015 What is the theory ZFC without power set? Zbl 1375.03059Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A. 19 2016 The set-theoretic multiverse. Zbl 1260.03103Hamkins, Joel David 18 2012 The modal logic of forcing. Zbl 1139.03039Hamkins, Joel David; Löwe, Benedikt 16 2008 The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024Hamkins, Joel David; Miasnikov, Alexei 16 2006 A simple maximality principle. Zbl 1056.03028Hamkins, Joel David 16 2003 Small forcing creates neither strong nor Woodin cardinals. Zbl 0959.03040Hamkins, Joel David; Woodin, W. Hugh 16 2000 Indestructibility and the level-by-level agreement between strong compactness and supercompactness. Zbl 1010.03043Apter, Arthur W.; Hamkins, Joel David 15 2002 Fragile measurability. Zbl 0796.03054Hamkins, Joel 14 1994 Resurrection axioms and uplifting cardinals. Zbl 1351.03043Hamkins, Joel David; Johnstone, Thomas A. 12 2014 Destruction or preservation as you like it. Zbl 0949.03047Hamkins, Joel David 12 1998 Small forcing makes any cardinal superdestructible. Zbl 0906.03051Hamkins, Joel David 12 1998 Tall cardinals. Zbl 1165.03044Hamkins, Joel D. 11 2009 Infinite time Turing machines. Zbl 1030.68036Hamkins, Joel David 11 2002 Superstrong and other large cardinals are never Laver indestructible. Zbl 1402.03073Bagaria, Joan; Hamkins, Joel David; Tsaprounis, Konstantinos; Usuba, Toshimichi 10 2016 Indestructible strong unfoldability. Zbl 1207.03057Hamkins, Joel David; Johnstone, Thomas A. 10 2010 Generalizations of the Kunen inconsistency. Zbl 1270.03100Hamkins, Joel David; Kirmayer, Greg; Perlmutter, Norman Lewis 9 2012 Diamond (on the regulars) can fail at any strongly unfoldable cardinal. Zbl 1110.03032Džamonja, Mirna; Hamkins, Joel David 9 2006 Superdestructibility: A dual to Laver’s indestructibility. Zbl 0921.03051Hamkins, Joel David; Shelah, Saharon 9 1998 The hierarchy of equivalence relations on the natural numbers under computable reducibility. Zbl 1325.03049Coskey, Amuel; Hamkins, Joel David; Miller, Russell 8 2012 The ground axiom is consistent with \(V \neq \text{HOD}\). Zbl 1145.03029Hamkins, Joel David; Reitz, Jonas; Woodin, W. Hugh 8 2008 Large cardinals with few measures. Zbl 1115.03075Apter, 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.03042Hamkins, Joel D.; Woodin, W. Hugh 8 2005 Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata. Zbl 0992.03064Apter, Arthur W.; Hamkins, Joel David 8 2001 Universal indestructibility. Zbl 0953.03060Apter, Arthur W.; Hamkins, Joel David 8 1999 Canonical seeds and Prikry trees. Zbl 0890.03024Hamkins, Joel David 8 1997 The wholeness axioms and V=HOD. Zbl 0969.03063Hamkins, Joel David 7 2001 A natural model of the multiverse axioms. Zbl 1214.03035Gitman, Victoria; Hamkins, Joel David 6 2010 Post’s problem for supertasks has both positive and negative solutions. Zbl 1024.03043Hamkins, Joel David; Lewis, Andrew 6 2002 Infinite time Turing machines with only one tape. Zbl 0990.03031Hamkins, Joel David; Seabold, Daniel Evan 6 2001 Effective mathematics of the uncountable. Zbl 1297.03006Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.) 5 2013 Degrees of rigidity for Souslin trees. Zbl 1179.03043Fuchs, Gunter; Hamkins, Joel David 5 2009 Exactly controlling the non-supercompact strongly compact cardinals. Zbl 1056.03030Apter, Arthur W.; Hamkins, Joel David 5 2003 Unfoldable cardinals and the GCH. Zbl 1025.03051Hamkins, Joel David 5 2001 Strongly uplifting cardinals and the boldface resurrection axioms. Zbl 1417.03269Hamkins, Joel David; Johnstone, Thomas A. 4 2017 Moving up and down in the generic multiverse. Zbl 1303.03078Hamkins, Joel David; Löwe, Benedikt 4 2013 Infinite time decidable equivalence relation theory. Zbl 1233.03050Coskey, Samuel; Hamkins, Joel David 4 2011 P\(\neq \text{NP}\cap \)co-NP for infinite time Turing machines. Zbl 1089.68043Deolalikar, Vinay; Hamkins, Joel David; Schindler, Ralf 4 2005 Changing the heights of automorphism towers. Zbl 0944.03048Hamkins, Joel David; Thomas, Simon 4 2000 Algebraicity and implicit definability in set theory. Zbl 1436.03264Hamkins, Joel David; Leahy, Cole 3 2016 Structural connections between a forcing class and its modal logic. Zbl 1367.03095Hamkins, 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.03082Cody, 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.03046Hamkins, Joel David 3 2013 Pointwise definable models of set theory. Zbl 1270.03101Hamkins, Joel David; Linetsky, David; Reitz, Jonas 3 2013 Inner models with large cardinal features usually obtained by forcing. Zbl 1250.03104Apter, Arthur W.; Gitman, Victoria; Hamkins, Joel David 3 2012 Some second order set theory. Zbl 1209.03045Hamkins, Joel David 3 2009 Every group has a terminating transfinite automorphism tower. Zbl 0904.20027Hamkins, Joel David 3 1998 A model of the generic Vopěnka principle in which the ordinals are not Mahlo. Zbl 07006136Gitman, Victoria; Hamkins, Joel David 2 2019 A multiverse perspective on the axiom of constructibility. Zbl 1321.03061Hamkins, Joel David 2 2014 Transfinite game values in infinite chess. Zbl 1369.03118Evans, 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.03030Hamkins, Joel David; Johnstone, Thomas A. 2 2009 Changing the heights of automorphism towers by forcing with Souslin trees over L. Zbl 1153.03026Fuchs, Gunter; Hamkins, Joel David 2 2008 A survey of infinite time Turing machines. Zbl 1211.03060Hamkins, Joel David 2 2007 Post’s problem for ordinal register machines. Zbl 1151.03339Hamkins, Joel D.; Miller, Russell G. 2 2007 The rearrangement number. Zbl 07144584Blass, 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.03016Enayat, Ali; Hamkins, Joel David 1 2018 Open determinacy for class games. Zbl 1423.03200Gitman, Victoria; Hamkins, Joel David 1 2017 Large cardinals need not be large in HOD. Zbl 1373.03109Cheng, Yong; Friedman, Sy-David; Hamkins, Joel David 1 2015 Is the dream solution of the continuum hypothesis attainable? Zbl 1331.03034Hamkins, Joel David 1 2015 The rigid relation principle, a new weak choice principle. Zbl 1268.03067Hamkins, Joel David; Palumbo, Justin 1 2012 The mate-in-\(n\) problem of infinite chess is decidable. Zbl 1357.03042Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp 1 2012 The set-theoretic multiverse: a natural context for set theory. Zbl 1274.03076Hamkins, Joel David 1 2011 Post’s problem for ordinal register machines: an explicit approach. Zbl 1178.03060Hamkins, Joel David; Miller, Russell G. 1 2009 The complexity of quickly ORM-decidable sets. Zbl 1150.03321Hamkins, Joel D.; Linetsky, David; Miller, Russell 1 2007 Infinitary computability with infinite time Turing machines. Zbl 1113.68399Hamkins, Joel David 1 2005 \(\text P^f\neq\text{NP}^{f}\) for almost all \(f\). Zbl 1043.03036Hamkins, Joel David; Welch, Philip D. 1 2003 How tall is the automorphism tower of a group? Zbl 1012.20034Hamkins, Joel David 1 2002 The rearrangement number. Zbl 07144584Blass, 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 07006136Gitman, Victoria; Hamkins, Joel David 2 2019 ZFC proves that the class of ordinals is not weakly compact for definable classes. Zbl 1447.03016Enayat, Ali; Hamkins, Joel David 1 2018 Strongly uplifting cardinals and the boldface resurrection axioms. Zbl 1417.03269Hamkins, Joel David; Johnstone, Thomas A. 4 2017 Open determinacy for class games. Zbl 1423.03200Gitman, Victoria; Hamkins, Joel David 1 2017 What is the theory ZFC without power set? Zbl 1375.03059Gitman, Victoria; Hamkins, Joel David; Johnstone, Thomas A. 19 2016 Superstrong and other large cardinals are never Laver indestructible. Zbl 1402.03073Bagaria, Joan; Hamkins, Joel David; Tsaprounis, Konstantinos; Usuba, Toshimichi 10 2016 Algebraicity and implicit definability in set theory. Zbl 1436.03264Hamkins, Joel David; Leahy, Cole 3 2016 Set-theoretic geology. Zbl 1348.03051Fuchs, Gunter; Hamkins, Joel David; Reitz, Jonas 20 2015 Structural connections between a forcing class and its modal logic. Zbl 1367.03095Hamkins, 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.03082Cody, Brent; Gitik, Moti; Hamkins, Joel David; Schanker, Jason A. 3 2015 Large cardinals need not be large in HOD. Zbl 1373.03109Cheng, Yong; Friedman, Sy-David; Hamkins, Joel David 1 2015 Is the dream solution of the continuum hypothesis attainable? Zbl 1331.03034Hamkins, Joel David 1 2015 Resurrection axioms and uplifting cardinals. Zbl 1351.03043Hamkins, Joel David; Johnstone, Thomas A. 12 2014 A multiverse perspective on the axiom of constructibility. Zbl 1321.03061Hamkins, Joel David 2 2014 Transfinite game values in infinite chess. Zbl 1369.03118Evans, C. D. A.; Hamkins, Joel David 2 2014 Effective mathematics of the uncountable. Zbl 1297.03006Greenberg, Noam (ed.); Hamkins, Joel David (ed.); Hirschfeldt, Denis (ed.); Miller, Russell (ed.) 5 2013 Moving up and down in the generic multiverse. Zbl 1303.03078Hamkins, Joel David; Löwe, Benedikt 4 2013 Every countable model of set theory embeds into its own constructible universe. Zbl 1326.03046Hamkins, Joel David 3 2013 Pointwise definable models of set theory. Zbl 1270.03101Hamkins, Joel David; Linetsky, David; Reitz, Jonas 3 2013 The set-theoretic multiverse. Zbl 1260.03103Hamkins, Joel David 18 2012 Generalizations of the Kunen inconsistency. Zbl 1270.03100Hamkins, Joel David; Kirmayer, Greg; Perlmutter, Norman Lewis 9 2012 The hierarchy of equivalence relations on the natural numbers under computable reducibility. Zbl 1325.03049Coskey, Amuel; Hamkins, Joel David; Miller, Russell 8 2012 Inner models with large cardinal features usually obtained by forcing. Zbl 1250.03104Apter, Arthur W.; Gitman, Victoria; Hamkins, Joel David 3 2012 The rigid relation principle, a new weak choice principle. Zbl 1268.03067Hamkins, Joel David; Palumbo, Justin 1 2012 The mate-in-\(n\) problem of infinite chess is decidable. Zbl 1357.03042Brumleve, Dan; Hamkins, Joel David; Schlicht, Philipp 1 2012 Infinite time decidable equivalence relation theory. Zbl 1233.03050Coskey, Samuel; Hamkins, Joel David 4 2011 The set-theoretic multiverse: a natural context for set theory. Zbl 1274.03076Hamkins, Joel David 1 2011 Indestructible strong unfoldability. Zbl 1207.03057Hamkins, Joel David; Johnstone, Thomas A. 10 2010 A natural model of the multiverse axioms. Zbl 1214.03035Gitman, Victoria; Hamkins, Joel David 6 2010 Tall cardinals. Zbl 1165.03044Hamkins, Joel D. 11 2009 Degrees of rigidity for Souslin trees. Zbl 1179.03043Fuchs, Gunter; Hamkins, Joel David 5 2009 Some second order set theory. Zbl 1209.03045Hamkins, Joel David 3 2009 The proper and semi-proper forcing axioms for forcing notions that preserve \(\aleph_2\) or \(\aleph_3\). Zbl 1166.03030Hamkins, Joel David; Johnstone, Thomas A. 2 2009 Post’s problem for ordinal register machines: an explicit approach. Zbl 1178.03060Hamkins, Joel David; Miller, Russell G. 1 2009 The modal logic of forcing. Zbl 1139.03039Hamkins, Joel David; Löwe, Benedikt 16 2008 The ground axiom is consistent with \(V \neq \text{HOD}\). Zbl 1145.03029Hamkins, Joel David; Reitz, Jonas; Woodin, W. Hugh 8 2008 Changing the heights of automorphism towers by forcing with Souslin trees over L. Zbl 1153.03026Fuchs, Gunter; Hamkins, Joel David 2 2008 Large cardinals with few measures. Zbl 1115.03075Apter, Arthur W.; Cummings, James; Hamkins, Joel David 8 2007 A survey of infinite time Turing machines. Zbl 1211.03060Hamkins, Joel David 2 2007 Post’s problem for ordinal register machines. Zbl 1151.03339Hamkins, Joel D.; Miller, Russell G. 2 2007 The complexity of quickly ORM-decidable sets. Zbl 1150.03321Hamkins, Joel D.; Linetsky, David; Miller, Russell 1 2007 The halting problem is decidable on a set of asymptotic probability one. Zbl 1137.03024Hamkins, Joel David; Miasnikov, Alexei 16 2006 Diamond (on the regulars) can fail at any strongly unfoldable cardinal. Zbl 1110.03032Dž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.03042Hamkins, Joel D.; Woodin, W. Hugh 8 2005 P\(\neq \text{NP}\cap \)co-NP for infinite time Turing machines. Zbl 1089.68043Deolalikar, Vinay; Hamkins, Joel David; Schindler, Ralf 4 2005 Infinitary computability with infinite time Turing machines. Zbl 1113.68399Hamkins, Joel David 1 2005 Extensions with the approximation and cover properties have no new large cardinals. Zbl 1066.03052Hamkins, Joel David 51 2003 A simple maximality principle. Zbl 1056.03028Hamkins, Joel David 16 2003 Exactly controlling the non-supercompact strongly compact cardinals. Zbl 1056.03030Apter, Arthur W.; Hamkins, Joel David 5 2003 \(\text P^f\neq\text{NP}^{f}\) for almost all \(f\). Zbl 1043.03036Hamkins, Joel David; Welch, Philip D. 1 2003 Indestructibility and the level-by-level agreement between strong compactness and supercompactness. Zbl 1010.03043Apter, Arthur W.; Hamkins, Joel David 15 2002 Infinite time Turing machines. Zbl 1030.68036Hamkins, Joel David 11 2002 Post’s problem for supertasks has both positive and negative solutions. Zbl 1024.03043Hamkins, Joel David; Lewis, Andrew 6 2002 How tall is the automorphism tower of a group? Zbl 1012.20034Hamkins, Joel David 1 2002 Gap forcing. Zbl 1010.03042Hamkins, Joel David 28 2001 Indestructible weakly compact cardinals and the necessity of supercompactness for certain proof schemata. Zbl 0992.03064Apter, Arthur W.; Hamkins, Joel David 8 2001 The wholeness axioms and V=HOD. Zbl 0969.03063Hamkins, Joel David 7 2001 Infinite time Turing machines with only one tape. Zbl 0990.03031Hamkins, Joel David; Seabold, Daniel Evan 6 2001 Unfoldable cardinals and the GCH. Zbl 1025.03051Hamkins, Joel David 5 2001 Infinite time Turing machines. Zbl 0963.03064Hamkins, Joel David; Lewis, Andy 64 2000 The lottery preparation. Zbl 0949.03045Hamkins, Joel David 48 2000 Small forcing creates neither strong nor Woodin cardinals. Zbl 0959.03040Hamkins, Joel David; Woodin, W. Hugh 16 2000 Changing the heights of automorphism towers. Zbl 0944.03048Hamkins, Joel David; Thomas, Simon 4 2000 Gap forcing: Generalizing the Lévy-Solovay theorem. Zbl 0933.03067Hamkins, Joel David 30 1999 Universal indestructibility. Zbl 0953.03060Apter, Arthur W.; Hamkins, Joel David 8 1999 Destruction or preservation as you like it. Zbl 0949.03047Hamkins, Joel David 12 1998 Small forcing makes any cardinal superdestructible. Zbl 0906.03051Hamkins, Joel David 12 1998 Superdestructibility: A dual to Laver’s indestructibility. Zbl 0921.03051Hamkins, Joel David; Shelah, Saharon 9 1998 Every group has a terminating transfinite automorphism tower. Zbl 0904.20027Hamkins, Joel David 3 1998 Canonical seeds and Prikry trees. Zbl 0890.03024Hamkins, Joel David 8 1997 Fragile measurability. Zbl 0796.03054Hamkins, Joel 14 1994 all cited Publications top 5 cited Publications 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 all top 5 Cited in 16 Fields 294 Mathematical logic and foundations (03-XX) 50 Computer science (68-XX) 11 General and overarching topics; collections (00-XX) 9 Group theory and generalizations (20-XX) 4 Combinatorics (05-XX) 4 Order, lattices, ordered algebraic structures (06-XX) 4 Category theory; homological algebra (18-XX) 3 Quantum theory (81-XX) 2 History and biography (01-XX) 1 Commutative algebra (13-XX) 1 Real functions (26-XX) 1 Abstract harmonic analysis (43-XX) 1 General topology (54-XX) 1 Numerical analysis (65-XX) 1 Operations research, mathematical programming (90-XX) 1 Information and communication theory, circuits (94-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.