Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Sorbi, Andrea
309  Ergebnisse:
Personensuche X
?
1

Conjunctive degrees and cylinders:

Chitaia, Irakli ; Omanadze, Roland ; Sorbi, Andrea
Journal of Logic and Computation.  , 2023
Link: https://doi.org/10.1093/..
 
?
2

Minimal degrees and downwards density in some strong positi..:

Chitaia, Irakli ; Ng, Keng Meng ; Sorbi, Andrea.
Journal of Logic and Computation.  33 (2022)  5 - p. 1060-1088 , 2022
Link: https://doi.org/10.1093/..
 
?
3

INITIAL SEGMENTS OF THE DEGREES OF CEERS:

ANDREWS, URI ; SORBI, ANDREA
The Journal of Symbolic Logic.  87 (2022)  3 - p. 1260-1282 , 2022
Link: https://doi.org/10.1017/..
 
?
4

Notes on conjunctive and Quasi degrees:

Chitaia, Irakli ; Omanadze, Roland ; Sorbi, Andrea
Journal of Logic and Computation.  31 (2021)  5 - p. 1317-1329 , 2021
Link: https://doi.org/10.1093/..
 
?
5

Effective Inseparability and Its Applications:

, In: Lecture Notes in Computer Science; Connecting with Computability,
Sorbi, Andrea - p. 417-423 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Self-full ceers and the uniform join operator:

Sorbi, Andrea ; Schweber, Noah ; Andrews, Uri
Journal of Logic and Computation.  30 (2020)  3 - p. 765-783 , 2020
Link: https://doi.org/10.1093/..
 
?
7

The theory of ceers computes true arithmetic:

Andrews, Uri ; Schweber, Noah ; Sorbi, Andrea
Annals of Pure and Applied Logic.  171 (2020)  8 - p. 102811 , 2020
Link: https://doi.org/10.1016/..
 
?
8

Incomparability in local structures of s-degrees and Q-degr..:

Chitaia, Irakli ; Ng, Keng Meng ; Sorbi, Andrea.
Archive for Mathematical Logic.  59 (2020)  7-8 - p. 777-791 , 2020
Link: https://doi.org/10.1007/..
 
?
9

Word problems and ceers:

Delle Rose, Valentino ; San Mauro, Luca ; Sorbi, Andrea
Mathematical Logic Quarterly.  66 (2020)  3 - p. 341-354 , 2020
Link: https://doi.org/10.1002/..
 
?
10

Classifying equivalence relations in the Ershov hierarchy:

Bazhenov, Nikolay ; Mustafa, Manat ; San Mauro, Luca..
Archive for Mathematical Logic.  59 (2020)  7-8 - p. 835-864 , 2020
Link: https://doi.org/10.1007/..
 
?
11

A note on uniform density in weak arithmetical theories:

Pianigiani, Duccio ; Sorbi, Andrea
Archive for Mathematical Logic.  60 (2020)  1-2 - p. 211-225 , 2020
Link: https://doi.org/10.1007/..
 
?
12

EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIO..:

ANDREWS, URI ; SORBI, ANDREA
The Review of Symbolic Logic.  14 (2019)  4 - p. 838-865 , 2019
Link: https://doi.org/10.1017/..
 
?
13

Trial and error mathematics: Dialectical systems and comple..:

Sorbi, Andrea ; San Mauro, Luca ; Pianigiani, Duccio..
Journal of Logic and Computation.  29 (2018)  1 - p. 157-184 , 2018
Link: https://doi.org/10.1093/..
 
?
14

Comparing the degrees of enumerability and the closed Medve..:

Shafer, Paul ; Sorbi, Andrea
Archive for Mathematical Logic.  58 (2018)  5-6 - p. 527-542 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Jumps of computably enumerable equivalence relations:

Andrews, Uri ; Sorbi, Andrea
Annals of Pure and Applied Logic.  169 (2018)  3 - p. 243-259 , 2018
Link: https://doi.org/10.1016/..
 
1-15