# zbMATH — the first resource for mathematics

## Hamkins, Joel David

Compute Distance To:
 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)

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

#### Wikidata Timeline

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