Biblio

Author [ Title(Desc)] Type Year
Filters: Keyword is definability  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
Soskova A, Soskov I.  1998.  ADMISSIBILITY IN $\sum_n^0$-ENUMERATIONS. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 90(Livre 1 - Mathématiques et Mecanique):77-90.PDF icon 90-077-090.pdf (1.2 MB)
D
Sariev A, Ganchev H.  2018.  Definability issues in the ω-Turing degrees. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 105:45-54.PDF icon 105-045-054.pdf (344.29 KB)
Ganchev H, Sariev A.  2015.  DEFINABILITY OF JUMP CLASSES IN THE LOCAL THEORY OF THE $\omega$-ENUMERATION DEGREES. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 102:207-224.PDF icon 102-207-224.pdf (245.32 KB)
N
Vatev S.  2015.  ON THE NOTION OF JUMP STRUCTURE. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 102:171-206.PDF icon 102-171-206.pdf (363.1 KB)
R
Baleva V.  2001.  Regular enumerations for abstract structures. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 93:39-48.PDF icon 93-039-048.pdf (910.83 KB)
Nikolova S.  2005.  RELATIVELY INTRINSICALLY ARITHMETICAL SETS. Annuaire de l’Université de Sofia “St. Kliment Ohridski”. Faculté de Mathématiques et Informatique. 97PDF icon 0397.pdf (54.17 KB)PDF icon 97-041-062.pdf (2.43 MB)

© Faculty of Mathematics and Informatics