×

zbMATH — the first resource for mathematics

Sorbi, Andrea

Compute Distance To:
Author ID: sorbi.andrea Recent zbMATH articles by "Sorbi, Andrea"
Published as: Sorbi, Andrea; Sorbi, A.
Documents Indexed: 98 Publications since 1982, including 11 Books

Publications by Year

Citations contained in zbMATH Open

69 Publications have been cited 337 times in 179 Documents Cited by Year
Generalized computable numerations and nontrivial Rogers semilattices. Zbl 0969.03052
Goncharov, S. S.; Sorbi, A.
32
1997
Classifying positive equivalence relations. Zbl 0528.03030
Bernardi, Claudio; Sorbi, Andrea
24
1983
The Medvedev lattice of degrees of difficulty. Zbl 0849.03033
Sorbi, Andrea
17
1996
Some remarks on the algebraic structure of the Medvedev lattice. Zbl 0703.03022
Sorbi, Andrea
15
1990
Universal computably enumerable equivalence relations. Zbl 1338.03076
Andrews, Uri; Lempp, Steffen; Miller, Joseph S.; Ng, Keng Meng; San Mauro, Luca; Sorbi, Andrea
14
2014
Cupping and noncupping in the enumeration degrees of \(\Sigma_ 2^ 0\) sets. Zbl 0874.03056
Cooper, S. Barry; Sorbi, Andrea; Yi, Xiaoding
12
1996
Embedding Brouwer algebra in the Medvedev lattice. Zbl 0737.06009
Sorbi, Andrea
12
1991
The enumeration degrees of the \(\Sigma_ 2^ 0\) sets. Zbl 0884.03046
Sorbi, Andrea
10
1997
Taking the Pirahã seriously. Zbl 1401.03110
Montagna, Franco; Simi, Giulia; Sorbi, Andrea
10
2015
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
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
Universal recursion theoretic properties of R.E. preordered structures. Zbl 0578.03026
Montagna, Franco; Sorbi, Andrea
8
1985
A survey on universal computably enumerable equivalence relations. Zbl 06700071
Andrews, Uri; Badaev, Serikzhan; Sorbi, Andrea
8
2017
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
7
2016
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
Complexity, logic, and recursion theory. Zbl 0865.00036
Sorbi, Andrea (ed.)
5
1997
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
Intuitionistic logic and Muchnik degrees. Zbl 1252.03101
Sorbi, Andrea; Terwijn, Sebastiaan A.
5
2012
Positive undecidable numberings in the Ershov hierarchy. Zbl 1287.03092
Manat, M.; Sorbi, A.
5
2012
Jumps of computably enumerable equivalence relations. Zbl 1406.03055
Andrews, Uri; Sorbi, Andrea
5
2018
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
On some filters and ideals of the Medvedev lattice. Zbl 0704.03025
Sorbi, Andrea
4
1990
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
Elementary properties of Rogers semilattices of arithmetical numberings. Zbl 1054.03033
Badaev, S. A.; Goncharov, S. S.; Sorbi, A.
4
2003
Bounding and nonbounding minimal pairs in the enumeration degrees. Zbl 1093.03029
Cooper, S. Barry; Li, Angsheng; Sorbi, Andrea; Yang, Yue
4
2005
Density results in the \(\Delta_2^0\) e-degrees. Zbl 1042.03033
Arslanov, Marat M.; Kalimullin, Iskander Sh.; Sorbi, Andrea
4
2001
Bounding nonsplitting enumeration degrees. Zbl 1131.03019
Kent, Thomas F.; Sorbi, Andrea
4
2007
New computational paradigms. Changing conceptions of what is computable. Zbl 1130.68005
Cooper, S. Barry (ed.); Löwe, Benedikt (ed.); Sorbi, Andrea (ed.)
4
2008
Rogers semilattices of families of two embedded sets in the Ershov hierarchy. Zbl 1257.03071
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea
4
2012
Jumps of \(\Sigma_2^0\)-high e-degrees and properly \(\Sigma_2^0\) e-degrees. Zbl 0949.03036
Shore, Richard; Sorbi, Andrea
3
1999
Noncappable enumeration degrees below \(\text \textbf{0}'_ e\). Zbl 0874.03055
Cooper, S. Barry; Sorbi, Andrea
3
1996
Creativeness and completeness in recursion categories of partial recursive operators. Zbl 0714.03041
Montagna, Franco; Sorbi, Andrea
3
1989
Singleton enumeration reducibility and arithmetic. Zbl 1327.03034
Marsibilio, Daniele; Sorbi, Andrea
3
2013
The complexity of index sets of classes of computably enumerable equivalence relations. Zbl 1403.03062
Andrews, Uri; Sorbi, Andrea
3
2016
Initial segments of the \({\Sigma}_2^0\) enumeration degrees. Zbl 1348.03038
Ganchev, Hristo; Sorbi, Andrea
3
2016
Topological aspects of the Medvedev lattice. Zbl 1221.03037
Lewis, Andrew E. M.; Shore, Richard A.; Sorbi, Andrea
3
2011
Embedding finite lattices into the \(\Sigma_2^0\) enumeration degrees. Zbl 1021.03035
Lempp, Steffen; Sorbi, Andrea
2
2002
A note on algebras of languages. Zbl 1228.68038
Marini, Claudio; Simi, Giulia; Sorbi, Andrea; Sorrentino, Marianna
2
2011
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
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
Sets of generator and automorphism bases for the enumeration degrees. Zbl 0924.03081
Sorbi, Andrea
1
1998
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
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
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
Diamond embeddings into the enumeration degrees. Zbl 1220.03041
Sorbi, Andrea; Wu, Guohua; Yang, Yue
1
2010
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 relative efficiency of axiom systems. Zbl 0812.03026
Fontani, Sandra; Montagna, Franco; Sorbi, Andrea
1
1994
Properly \(\Sigma_2^0\) enumeration degrees and the high/low hierarchy. Zbl 1114.03034
Giorgi, Matthew; Sorbi, Andrea; Yang, Yue
1
2006
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
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
Cooper, S. Barry (ed.); Löwe, Benedikt (ed.); Sorbi, Andrea (ed.)
1
2007
On quasi-minimal e-degrees and total e-degrees. Zbl 0651.03033
Sorbi, Andrea
1
1988
Numerazioni positive, r.e. classi e formule. Zbl 0502.03023
Sorbi, Andrea
1
1982
Some remarks on tiling recognizable languages. Zbl 1110.68061
De Carli, F.; Frosini, A.; Rinaldi, S.; Sorbi, A.
1
2005
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
Cooper, S. Barry (ed.); Sorbi, Andrea (ed.)
1
2011
Friedberg numberings in the Ershov hierarchy. Zbl 1341.03055
Badaev, Serikzhan A.; Manat, Mustafa; Sorbi, Andrea
1
2015
The theory of ceers computes true arithmetic. Zbl 1442.03021
Andrews, Uri; Schweber, Noah; Sorbi, Andrea
1
2020
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
Classifying equivalence relations in the Ershov hierarchy. Zbl 1461.03041
Bazhenov, Nikolay; Mustafa, Manat; San Mauro, Luca; Sorbi, Andrea; Yamaleev, Mars
1
2020
Jumps of computably enumerable equivalence relations. Zbl 1406.03055
Andrews, Uri; Sorbi, Andrea
5
2018
A survey on universal computably enumerable equivalence relations. Zbl 06700071
Andrews, Uri; Badaev, Serikzhan; Sorbi, Andrea
8
2017
Weakly precomplete computably enumerable equivalence relations. Zbl 1361.03043
Badaev, Serikzhan; Sorbi, Andrea
7
2016
The complexity of index sets of classes of computably enumerable equivalence relations. Zbl 1403.03062
Andrews, Uri; Sorbi, Andrea
3
2016
Initial segments of the \({\Sigma}_2^0\) enumeration degrees. Zbl 1348.03038
Ganchev, Hristo; Sorbi, Andrea
3
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
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
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
14
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
Intuitionistic logic and Muchnik degrees. Zbl 1252.03101
Sorbi, Andrea; Terwijn, Sebastiaan A.
5
2012
Positive undecidable numberings in the Ershov hierarchy. Zbl 1287.03092
Manat, M.; Sorbi, 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
Cooper, S. Barry; Sorbi, Andrea
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
Cooper, S. Barry; Löwe, Benedikt; Sorbi, Andrea
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
4
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
Cooper, S. Barry; Löwe, Benedikt; Sorbi, Andrea
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.
32
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
Sorbi, Andrea
5
1997
The Medvedev lattice of degrees of difficulty. Zbl 0849.03033
Sorbi, Andrea
17
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
8
1985
Classifying positive equivalence relations. Zbl 0528.03030
Bernardi, Claudio; Sorbi, Andrea
24
1983
Numerazioni positive, r.e. classi e formule. Zbl 0502.03023
Sorbi, Andrea
1
1982
all top 5

Cited by 142 Authors

34 Sorbi, Andrea
14 Soskova, Mariya Ivanova
13 Bazhenov, Nikolaĭ Alekseevich
12 Mustafa, Manat
10 Terwijn, Sebastiaan A.
9 Badaev, Serikzhan A.
8 Ganchev, Hristo A.
7 Faĭzrahmanov, Marat Khaidarovich
7 Kalimullin, Iskander Shagitovich
7 Nies, André Otfrid
6 Lempp, Steffen
6 Ng, KengMeng
6 Ospichev, Sergeĭ Sergeevich
6 Yamaleev, Mars Mansurovich
5 Andrews, Uri
5 Faizrakhmanov, Marat Kh.
5 Harris, Charles M.
5 Kalmurzaev, Birzhan S.
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 Bernardi, Claudio
3 Brattka, Vasco
3 Case, John
3 Chitaia, Irakli O.
3 Hinman, Peter G.
3 Selivanov, Viktor L’vovich
3 Shafer, Paul
3 Simpson, Stephen G.
3 Yang, Yue
2 Amidei, Jacopo
2 Barendregt, Hendrik Pieter
2 Batyrshin, Ilnur I.
2 Forcheri, Paola
2 Gentilini, Paolo
2 Greenberg, Noam
2 Issakhov, A. A.
2 Jain, Sanjay
2 Khoussainov, Bakhadyr M.
2 Lewis, Andrew E. M.
2 Melnikov, Alexander G.
2 Miller, Joseph S.
2 Moelius, Samuel E. III
2 Pianigiani, Duccio
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 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 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.
1 Kastermans, Bart
1 Klimashov, Vitaly Yu.
1 Knight, Julia F.
...and 42 more Authors
all top 5

Cited in 41 Serials

24 Annals of Pure and Applied Logic
22 Archive for Mathematical Logic
21 The Journal of Symbolic Logic
19 Algebra and Logic
9 Siberian Mathematical Journal
5 Notre Dame Journal of Formal Logic
5 Lobachevskii Journal of Mathematics
4 Transactions of the American Mathematical Society
4 Mathematical Logic Quarterly (MLQ)
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
2 Israel Journal of Mathematics
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 The Review of Symbolic Logic
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
1 Computability

Citations by Year