×

zbMATH — the first resource for mathematics

Solomon, Reed

Compute Distance To:
Author ID: solomon.reed Recent zbMATH articles by "Solomon, Reed"
Published as: Solomon, Reed; Solomon, D. Reed; Solomon, D. R.; Solomon, D.; Solomon, R.
Documents Indexed: 47 Publications since 1984, including 1 Book

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 270 times in 215 Documents Cited by Year
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
38
2005
Lowness notions, measure and domination. Zbl 1262.03068
Kjos-Hanssen, Bjørn; Miller, Joseph S.; Solomon, Reed
27
2012
Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021
Lerman, Manuel; Solomon, Reed; Towsner, Henry
22
2013
The computable dimension of ordered abelian groups. Zbl 1031.03058
Goncharov, Sergey S.; Lempp, Steffen; Solomon, Reed
19
2003
A \(\Delta_2^0\) set with no infinite low subset in either it or its complement. Zbl 0990.03046
Downey, Rod; Hirschfeldt, Denis R.; Lempp, Steffen; Solomon, Reed
17
2001
Friedberg numberings of families of \(n\)-computably enumerable sets. Zbl 1063.03028
Goncharov, S. S.; Lempp, Steffen; Solomon, D. R.
17
2002
Computable categoricity of trees of finite height. Zbl 1104.03026
Lempp, Steffen; McCoy, Charles; Miller, Russel; Solomon, Reed
16
2005
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. Zbl 1075.03030
Cholak, Peter; Marcone, Alberto; Solomon, Reed
12
2004
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination. Zbl 1103.03014
Binns, Stephen; Kjos-Hanssen, Bjørn; Lerman, Manuel; Solomon, Reed
9
2006
Computability-theoretic and proof-theoretic aspects of partial and linear orderings. Zbl 1044.03043
Downey, Rodney G.; Hirschfeldt, Denis R.; Lempp, Steffen; Solomon, Reed
9
2003
\(\Pi_{1}^{0}\) classes and orderable groups. Zbl 0998.03036
Solomon, Reed
7
2002
Evaluating project completion times when actvity times are Erlang distributed. Zbl 0832.90054
Bendell, A.; Solomon, D.; Carter, J. M.
7
1995
Reverse mathematics and fully ordered groups. Zbl 0973.03076
Solomon, Reed
7
1998
Degrees that are low for isomorphism. Zbl 1322.03028
Franklin, Johanna N. Y.; Solomon, Reed
7
2014
Jump degrees of torsion-free abelian groups. Zbl 1273.03142
Andersen, Brooke M.; Kach, Asher M.; Melnikov, Alexander G.; Solomon, Reed
7
2012
Embedding finite lattices into the computably enumerable degrees – a status survey. Zbl 1107.03046
Lempp, Steffen; Lerman, Manuel; Solomon, Reed
5
2006
On the computability-theoretic complexity of trivial, strongly minimal models. Zbl 1124.03016
Khoussainov, Bakhadyr M.; Laskowski, Michael C.; Lempp, Steffen; Solomon, Reed
5
2007
Ramsey’s theorem for singletons and strong computable reducibility. Zbl 1423.03159
Dzhafarov, Damir D.; Patey, Ludovic; Solomon, Reed; Westrick, Linda Brown
5
2017
Ordered groups: A case study in reverse mathematics. Zbl 0922.03078
Solomon, Reed
4
1999
Effectiveness of Hindman’s theorem for bounded sums. Zbl 06700057
Dzhafarov, Damir D.; Jockusch, Carl G. jun.; Solomon, Reed; Westrick, Linda Brown
4
2017
The uniform content of partial and linear orders. Zbl 1390.03040
Astor, Eric P.; Dzhafarov, Damir D.; Solomon, Reed; Suggs, Jacob
4
2017
The complexity of central series in nilpotent computable groups. Zbl 1247.03091
Csima, Barbara F.; Solomon, Reed
3
2011
Stability and posets. Zbl 1171.03034
Jockusch, Carl G. jun.; Kastermans, Bart; Lempp, Steffen; Lerman, Manuel; Solomon, Reed
3
2009
The Lindenbaum algebra of the theory of the class of all finite models. Zbl 1033.03035
Lempp, Steffen; Peretyatkin, Mikhail; Solomon, Reed
2
2002
On the filter of computably enumerable supersets of an r-maximal set. Zbl 1030.03029
Lempp, Steffen; Nies, André; Solomon, D. Reed
2
2001
Thin classes of separating sets. Zbl 1123.03037
Solomon, Reed
2
2007
Self-embeddings of computable trees. Zbl 1204.03044
Binns, Stephen; Kjos-Hanssen, Bjørn; Lerman, Manuel; Schmerl, James H.; Solomon, Reed
2
2008
Degrees of orders on torsion-free abelian groups. Zbl 1323.03058
Kach, Asher M.; Lange, Karen; Solomon, Reed
2
2013
The reverse mathematics of Hindman’s theorem for sums of exactly two elements. Zbl 1448.03007
Csima, Barbara F.; Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; Solomon, Reed; Westrick, Linda Brown
2
2019
A computably stable structure with no Scott family of finitary formulas. Zbl 1170.03024
Cholak, Peter; Shore, Richard A.; Solomon, Reed
1
2006
\(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups. Zbl 0981.03060
Solomon, Reed
1
2001
Effectiveness for infinite variable words and the dual Ramsey theorem. Zbl 1059.03068
Miller, Joseph S.; Solomon, Reed
1
2004
On the effectiveness of symmetry breaking. Zbl 1432.68363
Miller, Russell; Solomon, Reed; Steiner, Rebecca M.
1
2014
The reverse mathematics of Hindman’s theorem for sums of exactly two elements. Zbl 1448.03007
Csima, Barbara F.; Dzhafarov, Damir D.; Hirschfeldt, Denis R.; Jockusch, Carl G. jun.; Solomon, Reed; Westrick, Linda Brown
2
2019
Ramsey’s theorem for singletons and strong computable reducibility. Zbl 1423.03159
Dzhafarov, Damir D.; Patey, Ludovic; Solomon, Reed; Westrick, Linda Brown
5
2017
Effectiveness of Hindman’s theorem for bounded sums. Zbl 06700057
Dzhafarov, Damir D.; Jockusch, Carl G. jun.; Solomon, Reed; Westrick, Linda Brown
4
2017
The uniform content of partial and linear orders. Zbl 1390.03040
Astor, Eric P.; Dzhafarov, Damir D.; Solomon, Reed; Suggs, Jacob
4
2017
Degrees that are low for isomorphism. Zbl 1322.03028
Franklin, Johanna N. Y.; Solomon, Reed
7
2014
On the effectiveness of symmetry breaking. Zbl 1432.68363
Miller, Russell; Solomon, Reed; Steiner, Rebecca M.
1
2014
Separating principles below Ramsey’s theorem for pairs. Zbl 1326.03021
Lerman, Manuel; Solomon, Reed; Towsner, Henry
22
2013
Degrees of orders on torsion-free abelian groups. Zbl 1323.03058
Kach, Asher M.; Lange, Karen; Solomon, Reed
2
2013
Lowness notions, measure and domination. Zbl 1262.03068
Kjos-Hanssen, Bjørn; Miller, Joseph S.; Solomon, Reed
27
2012
Jump degrees of torsion-free abelian groups. Zbl 1273.03142
Andersen, Brooke M.; Kach, Asher M.; Melnikov, Alexander G.; Solomon, Reed
7
2012
The complexity of central series in nilpotent computable groups. Zbl 1247.03091
Csima, Barbara F.; Solomon, Reed
3
2011
Stability and posets. Zbl 1171.03034
Jockusch, Carl G. jun.; Kastermans, Bart; Lempp, Steffen; Lerman, Manuel; Solomon, Reed
3
2009
Self-embeddings of computable trees. Zbl 1204.03044
Binns, Stephen; Kjos-Hanssen, Bjørn; Lerman, Manuel; Schmerl, James H.; Solomon, Reed
2
2008
On the computability-theoretic complexity of trivial, strongly minimal models. Zbl 1124.03016
Khoussainov, Bakhadyr M.; Laskowski, Michael C.; Lempp, Steffen; Solomon, Reed
5
2007
Thin classes of separating sets. Zbl 1123.03037
Solomon, Reed
2
2007
On a conjecture of Dobrinen and Simpson concerning almost everywhere domination. Zbl 1103.03014
Binns, Stephen; Kjos-Hanssen, Bjørn; Lerman, Manuel; Solomon, Reed
9
2006
Embedding finite lattices into the computably enumerable degrees – a status survey. Zbl 1107.03046
Lempp, Steffen; Lerman, Manuel; Solomon, Reed
5
2006
A computably stable structure with no Scott family of finitary formulas. Zbl 1170.03024
Cholak, Peter; Shore, Richard A.; Solomon, Reed
1
2006
Enumerations in computable structure theory. Zbl 1081.03033
Goncharov, Sergey; Harizanov, Valentina; Knight, Julia; McCoy, Charles; Miller, Russell; Solomon, Reed
38
2005
Computable categoricity of trees of finite height. Zbl 1104.03026
Lempp, Steffen; McCoy, Charles; Miller, Russel; Solomon, Reed
16
2005
Reverse mathematics and the equivalence of definitions for well and better quasi-orders. Zbl 1075.03030
Cholak, Peter; Marcone, Alberto; Solomon, Reed
12
2004
Effectiveness for infinite variable words and the dual Ramsey theorem. Zbl 1059.03068
Miller, Joseph S.; Solomon, Reed
1
2004
The computable dimension of ordered abelian groups. Zbl 1031.03058
Goncharov, Sergey S.; Lempp, Steffen; Solomon, Reed
19
2003
Computability-theoretic and proof-theoretic aspects of partial and linear orderings. Zbl 1044.03043
Downey, Rodney G.; Hirschfeldt, Denis R.; Lempp, Steffen; Solomon, Reed
9
2003
Friedberg numberings of families of \(n\)-computably enumerable sets. Zbl 1063.03028
Goncharov, S. S.; Lempp, Steffen; Solomon, D. R.
17
2002
\(\Pi_{1}^{0}\) classes and orderable groups. Zbl 0998.03036
Solomon, Reed
7
2002
The Lindenbaum algebra of the theory of the class of all finite models. Zbl 1033.03035
Lempp, Steffen; Peretyatkin, Mikhail; Solomon, Reed
2
2002
A \(\Delta_2^0\) set with no infinite low subset in either it or its complement. Zbl 0990.03046
Downey, Rod; Hirschfeldt, Denis R.; Lempp, Steffen; Solomon, Reed
17
2001
On the filter of computably enumerable supersets of an r-maximal set. Zbl 1030.03029
Lempp, Steffen; Nies, André; Solomon, D. Reed
2
2001
\(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups. Zbl 0981.03060
Solomon, Reed
1
2001
Ordered groups: A case study in reverse mathematics. Zbl 0922.03078
Solomon, Reed
4
1999
Reverse mathematics and fully ordered groups. Zbl 0973.03076
Solomon, Reed
7
1998
Evaluating project completion times when actvity times are Erlang distributed. Zbl 0832.90054
Bendell, A.; Solomon, D.; Carter, J. M.
7
1995
all top 5

Cited by 173 Authors

19 Montalbán, Antonio
16 Patey, Ludovic
14 Bazhenov, Nikolaĭ Alekseevich
14 Kalimullin, Iskander Shagitovich
14 Melnikov, Alexander G.
11 Greenberg, Noam
11 Solomon, Reed
10 Downey, Rodney Graham
9 Harizanov, Valentina S.
9 Lempp, Steffen
8 Barmpalias, George
8 Miller, Joseph S.
7 Dzhafarov, Damir D.
7 Miller, Russell G.
6 Marcone, Alberto
6 Ng, KengMeng
5 Harrison-Trainor, Matthew
5 Hirschfeldt, Denis Roman
5 Kach, Asher M.
5 Knight, Julia F.
5 Ospichev, Sergeĭ Sergeevich
5 Shore, Richard A.
5 Simpson, Stephen G.
5 Slaman, Theodore A.
5 Stephan, Frank
4 Cenzer, Douglas
4 Conidis, Chris J.
4 Csima, Barbara F.
4 Faĭzrahmanov, Marat Khaidarovich
4 Fokina, Ekaterina B.
4 Franklin, Johanna N. Y.
4 Goncharov, Sergeĭ Savost’yanovich
4 Khoussainov, Bakhadyr M.
4 Kjos-Hanssen, Bjørn
4 Monin, Benoît
4 Mustafa, Manat
4 Puzarenko, Vadim G.
4 Turetsky, Daniel D.
4 Yokoyama, Keita
4 Yu, Liang
3 Bienvenu, Laurent
3 Carlucci, Lorenzo
3 Cholak, Peter A.
3 Frittaion, Emanuele
3 Hirst, Jeffry Lynn
3 Jockusch, Carl G. jun.
3 Kołodziejczyk, Leszek Aleksander
3 Lange, Karen
3 Miyabe, Kenshi
3 Selivanov, Viktor L’vovich
3 Shafer, Paul
3 Shlapentokh, Alexandra
3 Turetsky, Dan
3 Tusupov, Dzhamalbek Aliaskarovich
2 Andrews, Uri
2 Arslanov, Marat M.
2 Brodhead, Paul
2 Calvert, Wesley
2 Dorais, François Gilbert
2 Faizrakhmanov, Marat Kh.
2 Flood, Stephen P.
2 Liu, Lu
2 Mileti, Joseph R.
2 Morozov, Andreĭ Sergeevich
2 Nies, André Otfrid
2 Soskova, Mariya Ivanova
2 Terwijn, Sebastiaan A.
2 Van der Meeren, Jeroen
2 Weiermann, Andreas
2 Yamaleev, Mars Mansurovich
2 Yang, Yue
1 Akama, Yohji
1 Alaev, Pavel Evgenievich
1 Andersen, Brooke M.
1 Astor, Eric P.
1 Avigad, Jeremy
1 Badaev, Serikzhan A.
1 Barrett, Jordan Mitchell
1 Binns, Stephen
1 Bovykin, Andrey I.
1 Boyadzhiyska, Simona
1 Brattka, Vasco
1 Brot, Joshua
1 Cao, Mengyang
1 Chisholm, John Stephen Roy
1 Chong, Chi Tat
1 Cole, Joshua A.
1 Corduan, Jared R.
1 Dabkowska, Malgorzata A.
1 Dabkowski, Mieczysław K.
1 Darbinyan, Arman
1 d’Auriac, Paul-Elliot Anglès
1 Day, Adam R.
1 Dean, Edward T.
1 Diamondstone, David E.
1 Ding, Decheng
1 Dushenin, D. I.
1 Džamonja, Mirna
1 Fernández Bretón, David José
1 Fiori-Carones, Marta
...and 73 more Authors
all top 5

Cited in 40 Serials

34 Annals of Pure and Applied Logic
19 The Journal of Symbolic Logic
16 Algebra and Logic
15 Archive for Mathematical Logic
11 Proceedings of the American Mathematical Society
11 Journal of Mathematical Logic
10 The Bulletin of Symbolic Logic
7 Advances in Mathematics
7 Transactions of the American Mathematical Society
6 Journal of Mathematical Sciences (New York)
5 Israel Journal of Mathematics
4 Journal of Algebra
4 Notre Dame Journal of Formal Logic
4 Siberian Mathematical Journal
4 Theoretical Computer Science
4 Mathematical Logic Quarterly (MLQ)
4 Lobachevskii Journal of Mathematics
4 Computability
3 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
2 International Journal of Algebra and Computation
2 Journal of Knot Theory and its Ramifications
2 Theory of Computing Systems
1 Studia Logica
1 Tohoku Mathematical Journal. Second Series
1 Order
1 Information and Computation
1 Journal of the American Mathematical Society
1 MSCS. Mathematical Structures in Computer Science
1 New Zealand Journal of Mathematics
1 Russian Mathematics
1 The Electronic Journal of Combinatorics
1 Selecta Mathematica. New Series
1 Doklady Mathematics
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Journal of the Australian Mathematical Society
1 Oberwolfach Reports
1 Proceedings of the Steklov Institute of Mathematics
1 Journal of Logic and Analysis
1 Transactions of the London Mathematical Society
1 European Journal of Mathematics

Citations by Year