×

zbMATH — the first resource for mathematics

Cenzer, Douglas

Compute Distance To:
Author ID: cenzer.douglas Recent zbMATH articles by "Cenzer, Douglas"
Published as: Cenzer, D.; Cenzer, Douglas; Czenzer, Douglas
Homepage: https://people.clas.ufl.edu/cenzer/
External Links: MGP · ResearchGate · dblp
Documents Indexed: 105 Publications since 1974, including 4 Books

Publications by Year

Citations contained in zbMATH Open

77 Publications have been cited 480 times in 238 Documents Cited by Year
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
34
2006
\(\Pi_1^0\) classes in mathematics. Zbl 0941.03044
Cenzer, D.; Remmel, J. B.
33
1998
Polynomial-time versus recursive models. Zbl 0756.03021
Cenzer, Douglas; Remmel, Jeffrey
26
1991
\(\Pi_1^0\) classes in computability theory. Zbl 0939.03047
Cenzer, Douglas
19
1999
Members of countable \(\Pi ^ 0_ 1\) classes. Zbl 0605.03020
Cenzer, Douglas; Clote, Peter; Smith, Rick L.; Soare, Robert I.; Wainer, Stanley S.
19
1986
Polynomial-time Abelian groups. Zbl 0764.03015
Cenzer, Douglas; Remmel, Jeffrey
18
1992
Complexity theoretic model theory and algebra. Zbl 0941.03035
Cenzer, D.; Remmel, J. B.
17
1998
Effectively closed sets and enumerations. Zbl 1140.03026
Brodhead, Paul; Cenzer, Douglas
14
2008
Algorithmic randomness of closed sets. Zbl 1155.03031
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed; Weber, Rebecca
14
2007
Density of the Medvedev lattice of \(\Pi^0_1\) classes. Zbl 1037.03040
Cenzer, Douglas; Hinman, Peter G.
14
2003
Index sets for \(\Pi^0_1\) classes. Zbl 0926.03042
Cenzer, Douglas; Remmel, Jeffrey
13
1998
Countable thin \(\Pi^0_1\) classes. Zbl 0909.03039
Cenzer, Douglas; Downey, Rodney; Jockusch, Carl; Shore, Richard A.
13
1993
Recursively presented games and strategies. Zbl 0786.90103
Cenzer, Douglas; Remmel, Jeffrey
13
1992
Space complexity of abelian groups. Zbl 1161.03021
Cenzer, Douglas; Downey, Rodney G.; Remmel, Jeffrey B.; Uddin, Zia
10
2009
Computable symbolic dynamics. Zbl 1170.03029
Cenzer, Douglas; Dashti, S. Ali; King, Jonathan L. F.
10
2008
Inductive definability: Measure and category. Zbl 0466.03018
Cenzer, Douglas; Mauldin, R. Daniel
10
1980
Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei
9
2009
\(\Pi_1^0\) classes – structure and applications. Zbl 0962.03040
Cenzer, Douglas; Jockusch, Carl G. jun.
9
2000
Effectively closed sets and graphs of computable real functions. Zbl 1039.03033
Cenzer, Douglas; Remmel, Jeffrey B.
8
2002
On the ranked points of a \(\Pi ^ 0_ 1\) set. Zbl 0689.03022
Cenzer, Douglas; Smith, Rick L.
8
1989
Measurable parametrizations and selections. Zbl 0391.28006
Cenzer, Douglas; Mauldin, R. Daniel
8
1978
Polynomial-time versus computable Boolean algebras. Zbl 0948.03039
Cenzer, Douglas; Remmel, Jeffrey B.
7
1999
Index sets in computable analysis. Zbl 0916.68052
Cenzer, Douglas; Remmel, Jeffrey B.
7
1999
Feasibly categorical Abelian groups. Zbl 0846.03014
Cenzer, Douglas; Remmel, Jeffrey
7
1995
The stability problem for transformations of the circle. Zbl 0439.39004
Cenzer, Douglas
7
1979
Equivalence structures and isomorphisms in the difference hierarchy. Zbl 1196.03049
Cenzer, Douglas; Laforte, Geoffrey; Remmel, Jeffrey
6
2009
Degrees of difficulty of generalized r.e. separating classes. Zbl 1151.03020
Cenzer, Douglas; Hinman, Peter G.
6
2008
Complexity and categoricity. Zbl 0892.68045
Cenzer, Douglas; Remmel, Jeffrey B.
6
1998
On the Borel class of the derived set operator. II. Zbl 0552.54027
Cenzer, Douglas; Mauldin, R. Daniel
6
1983
Computability of countable subshifts. Zbl 1285.03054
Cenzer, Douglas; Dashti, Ali; Toska, Ferit; Wyman, Sebastian
5
2010
Random closed sets. Zbl 1145.68437
Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed
5
2006
Feasible graphs and colorings. Zbl 0827.03037
Cenzer, Douglas; Remmel, Jeffrey
5
1995
The stability problem: New results and counterexamples. Zbl 0595.39010
Cenzer, Douglas
5
1985
Computability-theoretic properties of injection structures. Zbl 1323.03045
Cenzer, D.; Harizanov, V.; Remmel, J. B.
4
2014
Computability of countable subshifts in one dimension. Zbl 1285.03055
Cenzer, Douglas; Dashti, Ali; Toska, Ferit; Wyman, Sebastian
4
2012
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. Zbl 1241.03040
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2011
\({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2009
Effective symbolic dynamics. Zbl 1262.37008
Cenzer, Douglas; Dashti, S. Ali; King, Jonathan L. F.
4
2008
Effective real dynamics. Zbl 0823.03034
Cenzer, Douglas
4
1993
Monotone reducibility and the family of infinite sets. Zbl 0573.54030
Cenzer, Douglas
4
1984
On the Borel class of the derived set operator. Zbl 0514.54027
Cenzer, Douglas; Mauldin, R. Daniel
4
1982
Immunity and non-cupping for closed sets. Zbl 1208.03047
Cenzer, Douglas; Kihara, Takayuki; Weber, Rebecca; Wu, Guohua
3
2009
\(K\)-triviality of closed sets and continuous functions. Zbl 1158.03029
Barmpalias, George; Cenzer, Douglas; Remmel, Jeffrey B.; Weber, Rebecca
3
2009
Global properties of the lattice of \(\Pi^0_1\) classes. Zbl 1042.03031
Cenzer, Douglas; Nies, André
3
2004
Index sets for \(\omega\)-languages. Zbl 1031.03064
Czenzer, Douglas; Remmel, Jeffrey B.
3
2003
Monotone inductive definitions over the continuum. Zbl 0344.02032
Cenzer, Douglas
3
1976
Cores of \(\Pi^1_1\) sets of reals. Zbl 0295.02038
Blass, Andreas; Cenzer, Douglas
3
1975
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs. Zbl 1281.68063
Cenzer, Douglas; Remmel, Jeffrey B.
2
2012
Effective categoricity of injection structures. Zbl 1345.03062
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
2
2011
Algorithmic randomness of continuous functions. Zbl 1141.03020
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Remmel, Jeffrey B.; Weber, Rebecca
2
2008
Locally determined logic programs and recursive stable models. Zbl 1049.68035
Cenzer, Douglas; Remmel, Jeffrey B.; Vanderbilt, Amy
2
2004
Locally determined logic programs. Zbl 0953.68030
Cenzer, Douglas; Remmel, Jeffrey B.; Vanderbilt, Amy
2
1999
Borel equivalence and isomorphism of coanalytic sets. Zbl 0568.03023
Cenzer, Douglas; Mauldin, R. Daniel
2
1984
Faithful extensions of analytic sets to Borel sets. Zbl 0431.54021
Cenzer, D.; Mauldin, R. D.
2
1980
On vertex k-partitions of certain infinite graphs. Zbl 0417.05052
Cenzer, Douglas; Howorka, Edward
2
1978
Ordinal recursion and inductive definitions. Zbl 0284.02021
Cenzer, Douglas
2
1974
The probability of a computable output from a random oracle. Zbl 1407.03056
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
1
2017
Random numbers as probabilities of machine behavior. Zbl 1370.03061
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
1
2017
Injection structures specified by finite state transducers. Zbl 06700070
Buss, Sam; Cenzer, Douglas; Minnes, Mia; Remmel, Jeffrey B.
1
2017
Index sets for finite normal predicate logic programs with function symbols. Zbl 06751230
Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B.
1
2016
Sub-computable boundedness randomness. Zbl 1325.03050
Buss, Sam; Cenzer, Douglas; Remmel, Jeffrey B.
1
2014
Two-to-one structures. Zbl 1327.03026
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
1
2013
Algorithmic randomness and capacity of closed sets. Zbl 1237.03026
Brodhead, Paul; Cenzer, Douglas; Toska, Ferit; Wyman, Sebastian
1
2011
A superhigh diamond in the c.e. tt-degrees. Zbl 1216.03054
Cenzer, Douglas; Franklin, Johanna N. Y.; Liu, Jiang; Wu, Guohua
1
2011
Pseudojump operators and \(\Pi^0_1\) classes. Zbl 1151.03334
Cenzer, Douglas; LaForte, Geoffrey; Wu, Guohua
1
2007
Logspace complexity of functions and structures. Zbl 1145.03314
Cenzer, Douglas; Uddin, Zia
1
2006
Logic programming with infinite sets. Zbl 1086.68126
Cenzer, Douglas; Remmel, Jeffrey B.; Marek, Victor W.
1
2005
The complexity of inductive definability. Zbl 1113.03330
Cenzer, Douglas; Remmel, Jeffrey B.
1
2005
Minimal extensions of \(\Pi^{0}_{1}\) classes. Zbl 1067.03052
Cenzer, Douglas; Riazati, Farzan
1
2005
Index sets for computable differential equations. Zbl 1062.03038
Cenzer, Douglas; Remmel, Jeffrey B.
1
2004
Initial segments of the lattice of \(\Pi_1^0\) classes. Zbl 1003.03042
Cenzer, Douglas; Nies, Andre
1
2001
Feasible graphs with standard universe. Zbl 0938.03065
Cenzer, Douglas; Remmel, Jeffrey B.
1
1998
Representations of well-founded preference orders. Zbl 0495.28003
Cenzer, Douglas; Mauldin, R. Daniel
1
1983
Parametric inductive definitions and recursive operators over the continuum. Zbl 0391.03023
Cenzer, Douglas
1
1978
Inductively defined sets of reals. Zbl 0328.02028
Cenzer, Douglas
1
1974
The boundedness principle in ordinal recursion. Zbl 0328.02027
Cenzer, Douglas
1
1974
Analytic inductive definitions. Zbl 0296.02021
Cenzer, Douglas
1
1974
The probability of a computable output from a random oracle. Zbl 1407.03056
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
1
2017
Random numbers as probabilities of machine behavior. Zbl 1370.03061
Barmpalias, George; Cenzer, Douglas; Porter, Christopher P.
1
2017
Injection structures specified by finite state transducers. Zbl 06700070
Buss, Sam; Cenzer, Douglas; Minnes, Mia; Remmel, Jeffrey B.
1
2017
Index sets for finite normal predicate logic programs with function symbols. Zbl 06751230
Cenzer, Douglas; Marek, Victor W.; Remmel, Jeffrey B.
1
2016
Computability-theoretic properties of injection structures. Zbl 1323.03045
Cenzer, D.; Harizanov, V.; Remmel, J. B.
4
2014
Sub-computable boundedness randomness. Zbl 1325.03050
Buss, Sam; Cenzer, Douglas; Remmel, Jeffrey B.
1
2014
Two-to-one structures. Zbl 1327.03026
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
1
2013
Computability of countable subshifts in one dimension. Zbl 1285.03055
Cenzer, Douglas; Dashti, Ali; Toska, Ferit; Wyman, Sebastian
4
2012
A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs. Zbl 1281.68063
Cenzer, Douglas; Remmel, Jeffrey B.
2
2012
\(\Sigma_1^0\) and \(\Pi_1^0\) equivalence structures. Zbl 1241.03040
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2011
Effective categoricity of injection structures. Zbl 1345.03062
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
2
2011
Algorithmic randomness and capacity of closed sets. Zbl 1237.03026
Brodhead, Paul; Cenzer, Douglas; Toska, Ferit; Wyman, Sebastian
1
2011
A superhigh diamond in the c.e. tt-degrees. Zbl 1216.03054
Cenzer, Douglas; Franklin, Johanna N. Y.; Liu, Jiang; Wu, Guohua
1
2011
Computability of countable subshifts. Zbl 1285.03054
Cenzer, Douglas; Dashti, Ali; Toska, Ferit; Wyman, Sebastian
5
2010
Space complexity of abelian groups. Zbl 1161.03021
Cenzer, Douglas; Downey, Rodney G.; Remmel, Jeffrey B.; Uddin, Zia
10
2009
Effective categoricity of abelian \(p\)-groups. Zbl 1177.03046
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina S.; Morozov, Andrei
9
2009
Equivalence structures and isomorphisms in the difference hierarchy. Zbl 1196.03049
Cenzer, Douglas; Laforte, Geoffrey; Remmel, Jeffrey
6
2009
\({\Sigma}^0_1\) and \({\Pi}^0_1\) equivalence structures. Zbl 1239.03023
Cenzer, Douglas; Harizanov, Valentina; Remmel, Jeffrey B.
4
2009
Immunity and non-cupping for closed sets. Zbl 1208.03047
Cenzer, Douglas; Kihara, Takayuki; Weber, Rebecca; Wu, Guohua
3
2009
\(K\)-triviality of closed sets and continuous functions. Zbl 1158.03029
Barmpalias, George; Cenzer, Douglas; Remmel, Jeffrey B.; Weber, Rebecca
3
2009
Effectively closed sets and enumerations. Zbl 1140.03026
Brodhead, Paul; Cenzer, Douglas
14
2008
Computable symbolic dynamics. Zbl 1170.03029
Cenzer, Douglas; Dashti, S. Ali; King, Jonathan L. F.
10
2008
Degrees of difficulty of generalized r.e. separating classes. Zbl 1151.03020
Cenzer, Douglas; Hinman, Peter G.
6
2008
Effective symbolic dynamics. Zbl 1262.37008
Cenzer, Douglas; Dashti, S. Ali; King, Jonathan L. F.
4
2008
Algorithmic randomness of continuous functions. Zbl 1141.03020
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Remmel, Jeffrey B.; Weber, Rebecca
2
2008
Algorithmic randomness of closed sets. Zbl 1155.03031
Barmpalias, George; Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed; Weber, Rebecca
14
2007
Pseudojump operators and \(\Pi^0_1\) classes. Zbl 1151.03334
Cenzer, Douglas; LaForte, Geoffrey; Wu, Guohua
1
2007
Effective categoricity of equivalence structures. Zbl 1103.03037
Calvert, Wesley; Cenzer, Douglas; Harizanov, Valentina; Morozov, Andrei
34
2006
Random closed sets. Zbl 1145.68437
Brodhead, Paul; Cenzer, Douglas; Dashti, Seyyed
5
2006
Logspace complexity of functions and structures. Zbl 1145.03314
Cenzer, Douglas; Uddin, Zia
1
2006
Logic programming with infinite sets. Zbl 1086.68126
Cenzer, Douglas; Remmel, Jeffrey B.; Marek, Victor W.
1
2005
The complexity of inductive definability. Zbl 1113.03330
Cenzer, Douglas; Remmel, Jeffrey B.
1
2005
Minimal extensions of \(\Pi^{0}_{1}\) classes. Zbl 1067.03052
Cenzer, Douglas; Riazati, Farzan
1
2005
Global properties of the lattice of \(\Pi^0_1\) classes. Zbl 1042.03031
Cenzer, Douglas; Nies, André
3
2004
Locally determined logic programs and recursive stable models. Zbl 1049.68035
Cenzer, Douglas; Remmel, Jeffrey B.; Vanderbilt, Amy
2
2004
Index sets for computable differential equations. Zbl 1062.03038
Cenzer, Douglas; Remmel, Jeffrey B.
1
2004
Density of the Medvedev lattice of \(\Pi^0_1\) classes. Zbl 1037.03040
Cenzer, Douglas; Hinman, Peter G.
14
2003
Index sets for \(\omega\)-languages. Zbl 1031.03064
Czenzer, Douglas; Remmel, Jeffrey B.
3
2003
Effectively closed sets and graphs of computable real functions. Zbl 1039.03033
Cenzer, Douglas; Remmel, Jeffrey B.
8
2002
Initial segments of the lattice of \(\Pi_1^0\) classes. Zbl 1003.03042
Cenzer, Douglas; Nies, Andre
1
2001
\(\Pi_1^0\) classes – structure and applications. Zbl 0962.03040
Cenzer, Douglas; Jockusch, Carl G. jun.
9
2000
\(\Pi_1^0\) classes in computability theory. Zbl 0939.03047
Cenzer, Douglas
19
1999
Polynomial-time versus computable Boolean algebras. Zbl 0948.03039
Cenzer, Douglas; Remmel, Jeffrey B.
7
1999
Index sets in computable analysis. Zbl 0916.68052
Cenzer, Douglas; Remmel, Jeffrey B.
7
1999
Locally determined logic programs. Zbl 0953.68030
Cenzer, Douglas; Remmel, Jeffrey B.; Vanderbilt, Amy
2
1999
\(\Pi_1^0\) classes in mathematics. Zbl 0941.03044
Cenzer, D.; Remmel, J. B.
33
1998
Complexity theoretic model theory and algebra. Zbl 0941.03035
Cenzer, D.; Remmel, J. B.
17
1998
Index sets for \(\Pi^0_1\) classes. Zbl 0926.03042
Cenzer, Douglas; Remmel, Jeffrey
13
1998
Complexity and categoricity. Zbl 0892.68045
Cenzer, Douglas; Remmel, Jeffrey B.
6
1998
Feasible graphs with standard universe. Zbl 0938.03065
Cenzer, Douglas; Remmel, Jeffrey B.
1
1998
Feasibly categorical Abelian groups. Zbl 0846.03014
Cenzer, Douglas; Remmel, Jeffrey
7
1995
Feasible graphs and colorings. Zbl 0827.03037
Cenzer, Douglas; Remmel, Jeffrey
5
1995
Countable thin \(\Pi^0_1\) classes. Zbl 0909.03039
Cenzer, Douglas; Downey, Rodney; Jockusch, Carl; Shore, Richard A.
13
1993
Effective real dynamics. Zbl 0823.03034
Cenzer, Douglas
4
1993
Polynomial-time Abelian groups. Zbl 0764.03015
Cenzer, Douglas; Remmel, Jeffrey
18
1992
Recursively presented games and strategies. Zbl 0786.90103
Cenzer, Douglas; Remmel, Jeffrey
13
1992
Polynomial-time versus recursive models. Zbl 0756.03021
Cenzer, Douglas; Remmel, Jeffrey
26
1991
On the ranked points of a \(\Pi ^ 0_ 1\) set. Zbl 0689.03022
Cenzer, Douglas; Smith, Rick L.
8
1989
Members of countable \(\Pi ^ 0_ 1\) classes. Zbl 0605.03020
Cenzer, Douglas; Clote, Peter; Smith, Rick L.; Soare, Robert I.; Wainer, Stanley S.
19
1986
The stability problem: New results and counterexamples. Zbl 0595.39010
Cenzer, Douglas
5
1985
Monotone reducibility and the family of infinite sets. Zbl 0573.54030
Cenzer, Douglas
4
1984
Borel equivalence and isomorphism of coanalytic sets. Zbl 0568.03023
Cenzer, Douglas; Mauldin, R. Daniel
2
1984
On the Borel class of the derived set operator. II. Zbl 0552.54027
Cenzer, Douglas; Mauldin, R. Daniel
6
1983
Representations of well-founded preference orders. Zbl 0495.28003
Cenzer, Douglas; Mauldin, R. Daniel
1
1983
On the Borel class of the derived set operator. Zbl 0514.54027
Cenzer, Douglas; Mauldin, R. Daniel
4
1982
Inductive definability: Measure and category. Zbl 0466.03018
Cenzer, Douglas; Mauldin, R. Daniel
10
1980
Faithful extensions of analytic sets to Borel sets. Zbl 0431.54021
Cenzer, D.; Mauldin, R. D.
2
1980
The stability problem for transformations of the circle. Zbl 0439.39004
Cenzer, Douglas
7
1979
Measurable parametrizations and selections. Zbl 0391.28006
Cenzer, Douglas; Mauldin, R. Daniel
8
1978
On vertex k-partitions of certain infinite graphs. Zbl 0417.05052
Cenzer, Douglas; Howorka, Edward
2
1978
Parametric inductive definitions and recursive operators over the continuum. Zbl 0391.03023
Cenzer, Douglas
1
1978
Monotone inductive definitions over the continuum. Zbl 0344.02032
Cenzer, Douglas
3
1976
Cores of \(\Pi^1_1\) sets of reals. Zbl 0295.02038
Blass, Andreas; Cenzer, Douglas
3
1975
Ordinal recursion and inductive definitions. Zbl 0284.02021
Cenzer, Douglas
2
1974
Inductively defined sets of reals. Zbl 0328.02028
Cenzer, Douglas
1
1974
The boundedness principle in ordinal recursion. Zbl 0328.02027
Cenzer, Douglas
1
1974
Analytic inductive definitions. Zbl 0296.02021
Cenzer, Douglas
1
1974
all top 5

Cited by 208 Authors

43 Cenzer, Douglas
25 Remmel, Jeffrey B.
23 Melnikov, Alexander G.
18 Downey, Rodney Graham
13 Ng, KengMeng
12 Mauldin, Richard Daniel
10 Harizanov, Valentina S.
9 Bazhenov, Nikolaĭ Alekseevich
9 Kalimullin, Iskander Shagitovich
7 Alaev, Pavel Evgenievich
7 Miller, Joseph S.
6 Brodhead, Paul
6 Khoussainov, Bakhadyr M.
5 Fokina, Ekaterina B.
5 Kalantari, Iraj
5 Weber, Rebecca
5 Welch, Lawrence V.
4 Jeandel, Emmanuel
4 Kihara, Takayuki
4 Leroux, Stéphane
4 Nies, André Otfrid
4 Pauly, Arno M.
4 Stephan, Frank
4 Turetsky, Daniel D.
3 Calvert, Wesley
3 Cole, Joshua A.
3 Finkel, Olivier
3 Greenberg, Noam
3 Harrison-Trainor, Matthew
3 Hinman, Peter G.
3 Kjos-Hanssen, Bjørn
3 Knight, Julia F.
3 Lecomte, Dominique
3 Marek, V. Wiktor
3 Montalbán, Antonio
3 Selivanov, Viktor L’vovich
3 Simpson, Stephen G.
3 Vanier, Pascal
3 Wu, Guohua
3 Yang, Yue
2 Axon, Logan M.
2 Binns, Stephen
2 Brattka, Vasco
2 Brzdęk, Janusz
2 Carson, Jacob
2 Çevik, Ahmet Sinan
2 Cholak, Peter A.
2 Chong, Chi Tat
2 Clote, Peter G.
2 Conidis, Chris J.
2 Dashti, S. Ali
2 Diamondstone, David E.
2 Friedman, Sy-David
2 Hirschfeldt, Denis Roman
2 Hölzl, Rupert
2 Hoyrup, Mathieu
2 Jackson, Stephen C.
2 Jockusch, Carl G. jun.
2 King, Jonathan L. F.
2 Korovina, Margarita Vladimirovna
2 Kudinov, Oleg Victorovich
2 Lange, Karen
2 Lawton, Linda
2 Maitra, Ashok Prasad
2 McNicholl, Timothy H.
2 Milnikel, Robert Saxon
2 Nobrega, Hugo
2 Ott, Matthias
2 Pol, Roman
2 Porter, Christopher P.
2 Rute, Jason
2 Shore, Richard A.
2 Slaman, Theodore A.
2 Smith, Rick L.
2 Srivatsa, V. V.
2 Wallbaum, John
2 Westrick, Linda Brown
2 Wyman, Sebastian
2 Yu, Liang
2 Ziegler, Martin
1 Aleksandrova, S. A.
1 Anderson, Bernard A.
1 Aubrun, Nathalie
1 Barbieri, Sebastián
1 Barmpalias, George
1 Bienvenu, Laurent
1 Blinov, K. V.
1 Bonatti, Piero Andrea
1 Boyadzhiyska, Simona
1 Brillouët-Belluot, Nicole
1 Brown, Tyler A.
1 Buss, Sam
1 Cabello Sánchez, Félix
1 Case, John
1 Chaber, Jozef
1 Chisholm, John Stephen Roy
1 Chubb, Jennifer
1 Cichoń, Jacek
1 Ciepliński, Krzysztof
1 Coles, Richard J.
...and 108 more Authors
all top 5

Cited in 49 Serials

34 Annals of Pure and Applied Logic
23 The Journal of Symbolic Logic
22 Archive for Mathematical Logic
17 Transactions of the American Mathematical Society
15 Algebra and Logic
13 Proceedings of the American Mathematical Society
7 Theoretical Computer Science
7 The Bulletin of Symbolic Logic
6 Mathematical Logic Quarterly (MLQ)
5 Theory of Computing Systems
5 Journal of Mathematical Logic
4 Annals of Mathematics and Artificial Intelligence
3 Israel Journal of Mathematics
3 Journal of Mathematical Analysis and Applications
3 Siberian Mathematical Journal
3 Information and Computation
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Information Processing Letters
2 Advances in Mathematics
2 Bulletin de la Société Mathématique de France
2 Journal of Computer and System Sciences
2 Notre Dame Journal of Formal Logic
2 International Journal of Algebra and Computation
2 MSCS. Mathematical Structures in Computer Science
2 Aequationes Mathematicae
2 Logical Methods in Computer Science
1 Artificial Intelligence
1 Discrete Mathematics
1 Studia Mathematica
1 Journal of Algebra
1 Journal of Mathematical Economics
1 Journal of Soviet Mathematics
1 Mathematika
1 Memoirs of the American Mathematical Society
1 Topology and its Applications
1 Advances in Applied Mathematics
1 Ergodic Theory and Dynamical Systems
1 Mathematical Social Sciences
1 International Journal of Foundations of Computer Science
1 Journal of Knot Theory and its Ramifications
1 Doklady Mathematics
1 Abstract and Applied Analysis
1 Positivity
1 Lobachevskii Journal of Mathematics
1 Journal of Applied Logic
1 Oberwolfach Reports
1 Sibirskie Èlektronnye Matematicheskie Izvestiya
1 Bulletin of the American Mathematical Society
1 Computability

Citations by Year