Slides of some talks delivered by Dimiter Skordev

“Can every day be Easter?” (in Bulgarian, PDF, 270 KB) – slides of a talk given on June 9, 2011 in Sofia. Each day of the year is shown to be the Gregorian date of the orthodox Easter under the present rules at least once in the period from the year 2012 till the year 46455 inclusive (the statement can be strengthened by replacement of 2012 with 2447).
Remark. Unfortunately, as observed in December 2014, the second of the Internet pages indicated on the slide before the last no longer exists.

“On a relative computability notion for real functions” by Dimiter Skordev and Ivan Georgiev (PDF, 307 KB) – a slightly revised version of the slides of a 20minutes talk given on June 29, 2011 at CiE 2011

“On computability in topological spaces” (PDF, 375 KB) – slides of a talk, given on October 11, 2013, in Ghent University, Belgium

“Ivan Soskov's work on computability on firstorder structures” (PDF, 457 KB) – slides of a talk given on September 20, 2014, at the Conference on Mathematical Logic, dedicated to the memory of Ivan Soskov

“Ivan Rachev Prodanov – on the occasion of the 80th anniversary of his birth and of his 30th death anniversary“ (in Bulgarian, PDF, 117 KB) – a slightly more precise version of slides to a commemorative speech delivered on March 28, 2015 at the Spring Scientific Session of FMI

“Moschovakis extension of effective topological spaces” (PDF, 305 KB) – a version of the slides of a talk given on March 28, 2015 at the Spring Scientific Session of FMI

“Some cases when the local presence of properties of functions implies global one” (in Bulgarian, PDF, 280 KB) – slides of a talk given on March 26, 2016 at the Spring Scientific Session of FMI

“On transition from local to global presence of properties of functions” (PDF, 256 KB) – slides of a talk given on October 8, 2016 at a Conference on Mathematical Logic,
dedicated to the 80th anniversary of Prof. Dimiter Skordev held in Gyolechitsa, Bulgaria

“100 Years from the Birth of Professor Yaroslav Tagamlitzki” (in Bulgarian, PDF, 5.83 MB) – a version of the slides of a talk given on April 9, 2017 in Borovets at the 46th Spring Conference of UMB

“100 Years from the Birth of Professor Yaroslav Tagamlitzki” (in Bulgarian, PDF, 31.9 MB) – a version of the slides of a talk given on September 15, 2017 in Sofia at the Jubilee Scientific Conference “100 Years from the Birth of Professor Yaroslav Tagamlitzki”

“Moschovakis extension of effective metric space” (in Bulgarian, PDF, 214 KB) – slides of a talk given on March 31, 2018 at the Spring Scientific Session of FMI

“TTE computability on Moschovakis extensions” (PDF, 219 KB) – slides of a talk given on May 13, 2018 at a Scientific Session dedicated to the 80th Anniversary of Professor Dimiter Vakarelov (held in Gyolechitsa, Bulgaria)

“Moschovakis extension of multirepresented spaces” (PDF, 295 KB) – slides of a talk given on August 8, 2018 at the Fifteenth International Conference on Computability and Complexity in Analysis (held in Kochel am See, Germany)

“A class of recursive functionals” (in Bulgarian, PDF, 269 KB) – slides of a talk given on March 16, 2019 at the Spring Scientific Session of FMI

“A variant of the system PA: with exponentiation instead of addition and multiplication” (PDF, 294 KB) – slides of a talk given on June 17, 2021 at the Mathematical Logic Colloquium in Sofia University

“Todor Genchev's publications” (in Bulgarian, PDF, 1.27 MB) – slides of a talk given on March 26, 2022 at the Spring Scientific Session of FMI. A list published in 2004 is reproduced with the indication of numerous necessary corrections of data in it. Some other publications are additionally quoted, namely the texts by Todor Genchev in a book on Yaroslav Tagamlitzki, certain talks by Genchev (listed without any claims on completeness) and his dissertations.
Remark. The information in part I of the 2004 list needs at least the following four supplementary corrections: “of the” and “theorem” in items 23 and 25 must be replaced with “of” and “theorems”, respectively, the numbers 1989 in item 30 and 1993 in item 36 must be replaced, respectively, with “105, 1989” and with 1994. Replacement of “5, 1978” with “1978, no. 5” in part III, item 4 is also necessary. A verification is still needed of the data in items 24, 26, 33, 35 in part I and item 3 in part III.
Last modification of this file: April 30, 2022