×
Compute Distance To:
Author ID: sorbi.andrea Recent zbMATH articles by "Sorbi, Andrea"
Published as: Sorbi, Andrea; Sorbi, A.

Publications by Year

Citations contained in zbMATH Open

71 Publications have been cited 356 times in 189 Documents Cited by Year
Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052
Goncharov, S. S.; Sorbi, A.
34
1997
Classifying positive equivalence relations. Zbl 0528.03030
Bernardi, Claudio; Sorbi, Andrea
26
1983
The Medvedev lattice of degrees of difficulty. Zbl 0849.03033
Sorbi, Andrea
18
1996
Universal computably enumerable equivalence relations. Zbl 1338.03076
Andrews, Uri; Lempp, Steffen; Miller, Joseph S.; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea
17
2014
Some remarks on the algebraic structure of the Medvedev lattice. Zbl 0703.03022
Sorbi, Andrea
15
1990
Embedding Brouwer algebra in the Medvedev lattice. Zbl 0737.06009
Sorbi, Andrea
12
1991
Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets. Zbl 0874.03056
Cooper, S. Barry; Sorbi, Andrea; Yi, Xiaoding
12
1996
A survey on universal computably enumerable equivalence relations. Zbl 06700071
Andrews, Uri; Badaev, Serikzhan; Sorbi, Andrea
11
2017
The enumeration degrees of the \(\Sigma_ 2^ 0\) sets. Zbl 0884.03046
Sorbi, Andrea
10
1997
Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. Zbl 1164.03340
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
10
2006
Universal recursion theoretic properties of R.E. preordered structures. Zbl 0578.03026
Montagna, Franco; Sorbi, Andrea
10
1985
Taking the Pirahã seriously. Zbl 1401.03110
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
10
2015
Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026
Sorbi, Andrea; Terwijn, Sebastiaan A.
9
2008
Some quotient lattices of the Medvedev lattice. Zbl 0702.03021
Sorbi, Andrea
8
1991
Strong enumeration reducibilities. Zbl 1110.03028
Omanadze, Roland Sh.; Sorbi, Andrea
7
2006
Elementary theories for Rogers semilattices. Zbl 1106.03041
Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea
7
2005
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
7
2016
Jumps of computably enumerable equivalence relations. Zbl 1406.03055
Andrews, Uri; Sorbi, Andrea
6
2018
Complexity, logic, and recursion theory. Zbl 0865.00036
5
1997
Bounding nonsplitting enumeration degrees. Zbl 1131.03019
Kent, Thomas F.; Sorbi, Andrea
5
2007
On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. Zbl 1097.03036
Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea
5
2005
Positive undecidable numberings in the Ershov hierarchy. Zbl 1287.03092
Manat, M.; Sorbi, A.
5
2012
Intuitionistic logic and Muchnik degrees. Zbl 1252.03101
Sorbi, Andrea; Terwijn, Sebastiaan A.
5
2012
Branching in the enumeration degrees of the \(\Sigma_2^0\) sets. Zbl 0924.03080
Nies, André; Sorbi, Andrea
4
1999
Relative splittings of \(\mathbf 0_e\prime\) in the \(\Delta_2^0\)-enumeration degrees. Zbl 0951.03034
Arslanov, Marat M.; Sorbi, Andrea
4
2000
A note on closed degrees of difficulty of the Medvedev lattice. Zbl 0845.03020
Bianchini, Caterina; Sorbi, Andrea
4
1996
Logic and probabilistic systems. Zbl 0854.03020
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
4
1996
Density results in the \(\Delta_2^0\) e-degrees. Zbl 1042.03033
Arslanov, Marat M.; Kalimullin, Iskander Sh.; Sorbi, Andrea
4
2001
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
Initial segments of the \({\Sigma}_2^0\) enumeration degrees. Zbl 1348.03038
Ganchev, Hristo; Sorbi, Andrea
4
2016
New computational paradigms. Changing conceptions of what is computable. Zbl 1130.68005
4
2008
On some filters and ideals of the Medvedev lattice. Zbl 0704.03025
Sorbi, Andrea
4
1990
Bounding and nonbounding minimal pairs in the enumeration degrees. Zbl 1093.03029
Cooper, S. Barry; Li, Angsheng; Sorbi, Andrea; Yang, Yue
4
2005
Rogers semilattices of families of two embedded sets in the Ershov hierarchy. Zbl 1257.03071
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea
4
2012
The complexity of index sets of classes of computably enumerable equivalence relations. Zbl 1403.03062
Andrews, Uri; Sorbi, Andrea
4
2016
Noncappable enumeration degrees below \(\text \textbf{0}'_ e\). Zbl 0874.03055
Cooper, S. Barry; Sorbi, Andrea
3
1996
Jumps of \(\Sigma_2^0\)-high e-degrees and properly \(\Sigma_2^0\) e-degrees. Zbl 0949.03036
Shore, Richard; Sorbi, Andrea
3
1999
Topological aspects of the Medvedev lattice. Zbl 1221.03037
Lewis, Andrew E. M.; Shore, Richard A.; Sorbi, Andrea
3
2011
Singleton enumeration reducibility and arithmetic. Zbl 1327.03034
Marsibilio, Daniele; Sorbi, Andrea
3
2013
Creativeness and completeness in recursion categories of partial recursive operators. Zbl 0714.03041
Montagna, Franco; Sorbi, Andrea
3
1989
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039
Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea
2
2005
Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. Zbl 1021.03035
Lempp, Steffen; Sorbi, Andrea
2
2002
The first order theories of the Medvedev and Muchnik lattices. Zbl 1233.03039
Lewis, Andrew; Nies, André; Sorbi, Andrea
2
2009
Immunity properties of the s-degrees. Zbl 1254.03078
Omanadze, Roland; Sorbi, Andrea
2
2010
A characterization of the \(\Delta _2^0\) hyperhyperimmune sets. Zbl 1161.03026
Omanadze, Roland Sh.; Sorbi, Andrea
2
2008
Undecidability of local structures of s-degrees and Q-degrees. Zbl 1158.03028
Affatato, Maria Libera; Kent, Thomas F.; Sorbi, Andrea
2
2008
A note on initial segments of the enumeration degrees. Zbl 1337.03060
Slaman, Theodore A.; Sorbi, Andrea
2
2014
A note on algebras of languages. Zbl 1228.68038
Marini, Claudio; Simi, Giulia; Sorbi, Andrea; Sorrentino, Marianna
2
2011
Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars
1
2020
A note on uniform density in weak arithmetical theories. Zbl 1477.03170
Pianigiani, Duccio; Sorbi, Andrea
1
2021
Sets of generator and automorphism bases for the enumeration degrees. Zbl 0924.03081
Sorbi, Andrea
1
1998
A note on relative efficiency of axiom systems. Zbl 0812.03026
Fontani, Sandra; Montagna, Franco; Sorbi, Andrea
1
1994
The distribution of properly \(\Sigma_2^0\) e-degrees. Zbl 0946.03049
Bereznyuk, Stanislaw; Coles, Richard; Sorbi, Andrea
1
2000
Structural properties and \(\Sigma_2^0\) enumeration degrees. Zbl 0945.03063
Nies, André; Sorbi, Andrea
1
2000
Quasi-minimal enumeration degrees and minimal Turing degrees. Zbl 0957.03049
Slaman, Theodore A.; Sorbi, A.
1
1998
Diamond embeddings into the enumeration degrees. Zbl 1220.03041
Sorbi, Andrea; Wu, Guohua; Yang, Yue
1
2010
Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Zbl 1119.68004
1
2007
High minimal pairs in the enumeration degrees. Zbl 1239.03029
Sorbi, Andrea; Wu, Guohua; Yang, Yue
1
2009
Computability in context. Computation and logic in the real world. Zbl 1235.03005
1
2011
Some remarks on tiling recognizable languages. Zbl 1110.68061
De Carli, F.; Frosini, A.; Rinaldi, S.; Sorbi, A.
1
2005
Properly \(\Sigma_2^0\) enumeration degrees and the high/low hierarchy. Zbl 1114.03034
Giorgi, Matthew; Sorbi, Andrea; Yang, Yue
1
2006
Trial and error mathematics. I: Dialectical and quasidialectical systems. Zbl 1384.03079
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea
1
2016
A note on the enumeration degrees of 1-generic sets. Zbl 1388.03041
Badillo, Liliana; Bianchini, Caterina; Ganchev, Hristo; Kent, Thomas F.; Sorbi, Andrea
1
2016
On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms. Zbl 1274.68142
Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea
1
2003
The theory of ceers computes true arithmetic. Zbl 1442.03021
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
1
2020
Notes on conjunctive and quasi degrees. Zbl 07398786
Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea
1
2021
On quasi-minimal e-degrees and total e-degrees. Zbl 0651.03033
Sorbi, Andrea
1
1988
Bounded enumeration reducibility and its degree structure. Zbl 1241.03054
Marsibilio, Daniele; Sorbi, Andrea
1
2012
Empty intervals in the enumeration degrees. Zbl 1241.03053
Kent, Thomas F.; Lewis, Andrew E. M.; Sorbi, Andrea
1
2012
Friedberg numberings in the Ershov hierarchy. Zbl 1341.03055
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea
1
2015
Numerazioni positive, r.e. classi e formule. Zbl 0502.03023
Sorbi, Andrea
1
1982
A note on uniform density in weak arithmetical theories. Zbl 1477.03170
Pianigiani, Duccio; Sorbi, Andrea
1
2021
Notes on conjunctive and quasi degrees. Zbl 07398786
Chitaia, Irakli; Omanadze, Roland; Sorbi, Andrea
1
2021
Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars
1
2020
The theory of ceers computes true arithmetic. Zbl 1442.03021
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
1
2020
Jumps of computably enumerable equivalence relations. Zbl 1406.03055
Andrews, Uri; Sorbi, Andrea
6
2018
A survey on universal computably enumerable equivalence relations. Zbl 06700071
Andrews, Uri; Badaev, Serikzhan; Sorbi, Andrea
11
2017
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
7
2016
Initial segments of the \({\Sigma}_2^0\) enumeration degrees. Zbl 1348.03038
Ganchev, Hristo; Sorbi, Andrea
4
2016
The complexity of index sets of classes of computably enumerable equivalence relations. Zbl 1403.03062
Andrews, Uri; Sorbi, Andrea
4
2016
Trial and error mathematics. I: Dialectical and quasidialectical systems. Zbl 1384.03079
Amidei, Jacopo; Pianigiani, Duccio; San Mauro, Luca; Simi, Giulia; Sorbi, Andrea
1
2016
A note on the enumeration degrees of 1-generic sets. Zbl 1388.03041
Badillo, Liliana; Bianchini, Caterina; Ganchev, Hristo; Kent, Thomas F.; Sorbi, Andrea
1
2016
Taking the Pirahã seriously. Zbl 1401.03110
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
10
2015
Friedberg numberings in the Ershov hierarchy. Zbl 1341.03055
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea
1
2015
Universal computably enumerable equivalence relations. Zbl 1338.03076
Andrews, Uri; Lempp, Steffen; Miller, Joseph S.; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea
17
2014
A note on initial segments of the enumeration degrees. Zbl 1337.03060
Slaman, Theodore A.; Sorbi, Andrea
2
2014
Singleton enumeration reducibility and arithmetic. Zbl 1327.03034
Marsibilio, Daniele; Sorbi, Andrea
3
2013
Positive undecidable numberings in the Ershov hierarchy. Zbl 1287.03092
Manat, M.; Sorbi, A.
5
2012
Intuitionistic logic and Muchnik degrees. Zbl 1252.03101
Sorbi, Andrea; Terwijn, Sebastiaan A.
5
2012
Rogers semilattices of families of two embedded sets in the Ershov hierarchy. Zbl 1257.03071
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea
4
2012
Bounded enumeration reducibility and its degree structure. Zbl 1241.03054
Marsibilio, Daniele; Sorbi, Andrea
1
2012
Empty intervals in the enumeration degrees. Zbl 1241.03053
Kent, Thomas F.; Lewis, Andrew E. M.; Sorbi, Andrea
1
2012
Topological aspects of the Medvedev lattice. Zbl 1221.03037
Lewis, Andrew E. M.; Shore, Richard A.; Sorbi, Andrea
3
2011
A note on algebras of languages. Zbl 1228.68038
Marini, Claudio; Simi, Giulia; Sorbi, Andrea; Sorrentino, Marianna
2
2011
Computability in context. Computation and logic in the real world. Zbl 1235.03005
1
2011
Immunity properties of the s-degrees. Zbl 1254.03078
Omanadze, Roland; Sorbi, Andrea
2
2010
Diamond embeddings into the enumeration degrees. Zbl 1220.03041
Sorbi, Andrea; Wu, Guohua; Yang, Yue
1
2010
The first order theories of the Medvedev and Muchnik lattices. Zbl 1233.03039
Lewis, Andrew; Nies, André; Sorbi, Andrea
2
2009
High minimal pairs in the enumeration degrees. Zbl 1239.03029
Sorbi, Andrea; Wu, Guohua; Yang, Yue
1
2009
Intermediate logics and factors of the Medvedev lattice. Zbl 1156.03026
Sorbi, Andrea; Terwijn, Sebastiaan A.
9
2008
New computational paradigms. Changing conceptions of what is computable. Zbl 1130.68005
4
2008
A characterization of the \(\Delta _2^0\) hyperhyperimmune sets. Zbl 1161.03026
Omanadze, Roland Sh.; Sorbi, Andrea
2
2008
Undecidability of local structures of s-degrees and Q-degrees. Zbl 1158.03028
Affatato, Maria Libera; Kent, Thomas F.; Sorbi, Andrea
2
2008
Bounding nonsplitting enumeration degrees. Zbl 1131.03019
Kent, Thomas F.; Sorbi, Andrea
5
2007
Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Zbl 1119.68004
1
2007
Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy. Zbl 1164.03340
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
10
2006
Strong enumeration reducibilities. Zbl 1110.03028
Omanadze, Roland Sh.; Sorbi, Andrea
7
2006
Properly \(\Sigma_2^0\) enumeration degrees and the high/low hierarchy. Zbl 1114.03034
Giorgi, Matthew; Sorbi, Andrea; Yang, Yue
1
2006
Elementary theories for Rogers semilattices. Zbl 1106.03041
Badaev, S. A.; Goncharov, S. S.; Sorbi, Andrea
7
2005
On extensions of embeddings into the enumeration degrees of the \({\Sigma_2^0}\)-sets. Zbl 1097.03036
Lempp, Steffen; Slaman, Theodore A.; Sorbi, Andrea
5
2005
Bounding and nonbounding minimal pairs in the enumeration degrees. Zbl 1093.03029
Cooper, S. Barry; Li, Angsheng; Sorbi, Andrea; Yang, Yue
4
2005
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms. Zbl 1094.68039
Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea
2
2005
Some remarks on tiling recognizable languages. Zbl 1110.68061
De Carli, F.; Frosini, A.; Rinaldi, S.; Sorbi, A.
1
2005
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
On learning to coordinate. Random bits help, insightful normal forms, and competency isomorphisms. Zbl 1274.68142
Case, John; Jain, Sanjay; Montagna, Franco; Simi, Giulia; Sorbi, Andrea
1
2003
Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. Zbl 1021.03035
Lempp, Steffen; Sorbi, Andrea
2
2002
Density results in the \(\Delta_2^0\) e-degrees. Zbl 1042.03033
Arslanov, Marat M.; Kalimullin, Iskander Sh.; Sorbi, Andrea
4
2001
Relative splittings of \(\mathbf 0_e\prime\) in the \(\Delta_2^0\)-enumeration degrees. Zbl 0951.03034
Arslanov, Marat M.; Sorbi, Andrea
4
2000
The distribution of properly \(\Sigma_2^0\) e-degrees. Zbl 0946.03049
Bereznyuk, Stanislaw; Coles, Richard; Sorbi, Andrea
1
2000
Structural properties and \(\Sigma_2^0\) enumeration degrees. Zbl 0945.03063
Nies, André; Sorbi, Andrea
1
2000
Branching in the enumeration degrees of the \(\Sigma_2^0\) sets. Zbl 0924.03080
Nies, André; Sorbi, Andrea
4
1999
Jumps of \(\Sigma_2^0\)-high e-degrees and properly \(\Sigma_2^0\) e-degrees. Zbl 0949.03036
Shore, Richard; Sorbi, Andrea
3
1999
Sets of generator and automorphism bases for the enumeration degrees. Zbl 0924.03081
Sorbi, Andrea
1
1998
Quasi-minimal enumeration degrees and minimal Turing degrees. Zbl 0957.03049
Slaman, Theodore A.; Sorbi, A.
1
1998
Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052
Goncharov, S. S.; Sorbi, A.
34
1997
The enumeration degrees of the \(\Sigma_ 2^ 0\) sets. Zbl 0884.03046
Sorbi, Andrea
10
1997
Complexity, logic, and recursion theory. Zbl 0865.00036
5
1997
The Medvedev lattice of degrees of difficulty. Zbl 0849.03033
Sorbi, Andrea
18
1996
Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets. Zbl 0874.03056
Cooper, S. Barry; Sorbi, Andrea; Yi, Xiaoding
12
1996
A note on closed degrees of difficulty of the Medvedev lattice. Zbl 0845.03020
Bianchini, Caterina; Sorbi, Andrea
4
1996
Logic and probabilistic systems. Zbl 0854.03020
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
4
1996
Noncappable enumeration degrees below \(\text \textbf{0}'_ e\). Zbl 0874.03055
Cooper, S. Barry; Sorbi, Andrea
3
1996
A note on relative efficiency of axiom systems. Zbl 0812.03026
Fontani, Sandra; Montagna, Franco; Sorbi, Andrea
1
1994
Embedding Brouwer algebra in the Medvedev lattice. Zbl 0737.06009
Sorbi, Andrea
12
1991
Some quotient lattices of the Medvedev lattice. Zbl 0702.03021
Sorbi, Andrea
8
1991
Some remarks on the algebraic structure of the Medvedev lattice. Zbl 0703.03022
Sorbi, Andrea
15
1990
On some filters and ideals of the Medvedev lattice. Zbl 0704.03025
Sorbi, Andrea
4
1990
Creativeness and completeness in recursion categories of partial recursive operators. Zbl 0714.03041
Montagna, Franco; Sorbi, Andrea
3
1989
On quasi-minimal e-degrees and total e-degrees. Zbl 0651.03033
Sorbi, Andrea
1
1988
Universal recursion theoretic properties of R.E. preordered structures. Zbl 0578.03026
Montagna, Franco; Sorbi, Andrea
10
1985
Classifying positive equivalence relations. Zbl 0528.03030
Bernardi, Claudio; Sorbi, Andrea
26
1983
Numerazioni positive, r.e. classi e formule. Zbl 0502.03023
Sorbi, Andrea
1
1982
all top 5

Cited by 148 Authors

36 Sorbi, Andrea
14 Soskova, Mariya Ivanova
13 Bazhenov, Nikolaĭ Alekseevich
13 Mustafa, Manat
11 Terwijn, Sebastiaan A.
10 Badaev, Serikzhan A.
9 Ganchev, Hristo A.
8 Faĭzrahmanov, Marat Khaidarovich
8 Nies, André Otfrid
7 Kalimullin, Iskander Shagitovich
6 Andrews, Uri
6 Kalmurzaev, Birzhan S.
6 Lempp, Steffen
6 Ng, KengMeng
6 Ospichev, Sergeĭ Sergeevich
6 Yamaleev, Mars Mansurovich
5 Faizrakhmanov, Marat Kh.
5 Harris, Charles M.
5 Kent, Thomas F.
5 Omanadze, Roland Sh.
5 Sergeev, Yaroslav Dmitrievich
4 Cenzer, Douglas
4 Cooper, Stuart Barry
4 Downey, Rodney Graham
4 Kuyper, Rutger
4 Puzarenko, Vadim G.
4 San Mauro, Luca
4 Stephan, Frank
3 Arslanov, Marat M.
3 Badillo, Liliana
3 Batyrshin, Ilnur I.
3 Bernardi, Claudio
3 Brattka, Vasco
3 Case, John
3 Chitaia, Irakli O.
3 Greenberg, Noam
3 Hinman, Peter G.
3 Miller, Joseph S.
3 Selivanov, Viktor L’vovich
3 Shafer, Paul
3 Simpson, Stephen G.
3 Yang, Yue
2 Amidei, Jacopo
2 Barendregt, Hendrik Pieter
2 Forcheri, Paola
2 Gentilini, Paolo
2 Issakhov, A. A.
2 Jain, Sanjay
2 Khoussainov, Bakhadyr M.
2 Lewis, Andrew E. M.
2 Melnikov, Alexander G.
2 Moelius, Samuel E. III
2 Pianigiani, Duccio
2 Sariev, Andrey C.
2 Shavrukov, V. Yu.
2 Slaman, Theodore A.
2 Soskova, Alexandra A.
2 Wu, Guohua
1 Abeshev, K. Sh.
1 Affatato, Maria Libera
1 Alaev, Pavel Evgenievich
1 Bagaria, Joan
1 Basu, Sankha S.
1 Bianchini, Caterina
1 Brugnano, Luigi
1 Caldarola, Fabio
1 Carotenuto, Gemma
1 Caterina, Gianluca
1 Cholak, Peter A.
1 Cococcioni, Marco
1 Cudazzo, Alessandro
1 D’Alotto, Louis A.
1 Dashti, Ali
1 Day, Adam R.
1 De Leone, Renato
1 Delle Rose, V.
1 Dorzhieva, Marina Valerianovna
1 Emelyanov, Alexey A.
1 Fasano, Giovanni
1 Fokina, Ekaterina B.
1 Friedman, Sy-David
1 Gangle, Rocco
1 Gavryushkin, Alex
1 Gavryushkin, Alexander
1 Gherardi, Guido
1 Giorgi, Matthew B.
1 Golov, Anton
1 Goncharov, Sergeĭ Savost’yanovich
1 Gurevich, Yuri
1 Harizanov, Valentina S.
1 Harrington, Leo A.
1 Herbert, Ian
1 Higuchi, Kojiro
1 Hirschfeldt, Denis Roman
1 Ianovski, Egor
1 Iavernaro, Felice
1 Iudin, Dmitry I.
1 Iudin, Fedor D.
1 Ivanova, Zlata Konstantinovna
1 Kabylzhanova, D. K.
...and 48 more Authors
all top 5

Cited in 41 Serials

24 Annals of Pure and Applied Logic
23 Archive for Mathematical Logic
21 Algebra and Logic
21 The Journal of Symbolic Logic
10 Siberian Mathematical Journal
6 Lobachevskii Journal of Mathematics
5 Notre Dame Journal of Formal Logic
4 Transactions of the American Mathematical Society
4 Mathematical Logic Quarterly (MLQ)
3 Israel Journal of Mathematics
3 Studia Logica
3 Theoretical Computer Science
3 Journal of Mathematical Sciences (New York)
3 The Bulletin of Symbolic Logic
3 Theory of Computing Systems
3 Communications in Nonlinear Science and Numerical Simulation
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 The Review of Symbolic Logic
2 Advances in Mathematics
2 Algebra Universalis
2 Journal of Computational and Applied Mathematics
2 Information and Computation
2 MSCS. Mathematical Structures in Computer Science
2 Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika
2 Computability
1 Annali di Matematica Pura ed Applicata. Serie Quarta
1 Applied Mathematics and Computation
1 Journal of Optimization Theory and Applications
1 Proceedings of the American Mathematical Society
1 Tohoku Mathematical Journal. Second Series
1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1 Russian Mathematics
1 Journal of Applied Non-Classical Logics
1 Journal of Functional Programming
1 Annals of Mathematics and Artificial Intelligence
1 Soft Computing
1 Foundations of Science
1 Journal of Mathematical Logic
1 Journal of Applied Logic
1 Oberwolfach Reports
1 Logical Methods in Computer Science

Citations by Year