Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; Soskova, Alexandra; Vatev, Stefan Learning Families of Algebraic Structures from Text. arXiv:2402.05744 Preprint, arXiv:2402.05744 [math.LO] (2024). MSC: 03C57 03E15 BibTeX Cite \textit{N. Bazhenov} et al., ``Learning Families of Algebraic Structures from Text'', Preprint, arXiv:2402.05744 [math.LO] (2024) Full Text: arXiv OA License
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra A.; Vatev, Stefan V. On cohesive powers of linear orders. (English) Zbl 07735942 J. Symb. Log. 88, No. 3, 947-1004 (2023). MSC: 03C57 03D45 PDFBibTeX XMLCite \textit{R. Dimitrov} et al., J. Symb. Log. 88, No. 3, 947--1004 (2023; Zbl 07735942) Full Text: DOI arXiv
Bazhenov, Nikolay; Fokina, Ekaterina; Rossegger, Dino; Soskova, Alexandra A.; Vatev, Stefan V. A Lopez-Escobar Theorem for Continuous Domains. arXiv:2301.09940 Preprint, arXiv:2301.09940 [math.LO] (2023). MSC: 03C57 03E15 BibTeX Cite \textit{N. Bazhenov} et al., ``A Lopez-Escobar Theorem for Continuous Domains'', Preprint, arXiv:2301.09940 [math.LO] (2023) Full Text: arXiv OA License
Soskova, Alexandra; Nikolova, Stela (Bulgarian. English summary) Zbl 07809183 God. Sofiĭ. Univ., Fak. Mat. Inform. 109, 5-18 (2022). MSC: 01A70 01A60 01A61 PDFBibTeX XMLCite \textit{A. Soskova} and \textit{S. Nikolova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 109, 5--18 (2022; Zbl 07809183) Full Text: Link
Alvir, Rachael; Calvert, Wesley; Goodman, Grant; Harizanov, Valentina; Knight, Julia; Miller, Russell; Morozov, Andrey; Soskova, Alexandra; Weisshaar, Rose Interpreting a field in its Heisenberg group. (English) Zbl 07576904 J. Symb. Log. 87, No. 3, 1215-1230 (2022). MSC: 03C57 03D45 20H20 12L12 PDFBibTeX XMLCite \textit{R. Alvir} et al., J. Symb. Log. 87, No. 3, 1215--1230 (2022; Zbl 07576904) Full Text: DOI arXiv
Knight, Julia F.; Soskova, Alexandra A.; Vatev, Stefan V. Coding in graphs and linear orderings. (English) Zbl 1459.03046 J. Symb. Log. 85, No. 2, 673-690 (2020). Reviewer: Jamalbek Tussupov (Astana) MSC: 03C57 03D45 03D30 PDFBibTeX XMLCite \textit{J. F. Knight} et al., J. Symb. Log. 85, No. 2, 673--690 (2020; Zbl 1459.03046) Full Text: DOI arXiv
Dimitrov, Rumen; Harizanov, Valentina; Morozov, Andrey; Shafer, Paul; Soskova, Alexandra; Vatev, Stefan Cohesive powers of linear orders. (English) Zbl 1434.03095 Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 168-180 (2019). MSC: 03C57 PDFBibTeX XMLCite \textit{R. Dimitrov} et al., Lect. Notes Comput. Sci. 11558, 168--180 (2019; Zbl 1434.03095) Full Text: DOI arXiv
Andrews, Uri; Ganchev, Hristo A.; Kuyper, Rutger; Lempp, Steffen; Miller, Joseph S.; Soskova, Alexandra A.; Soskova, Mariya I. On cototality and the skip operator in the enumeration degrees. (English) Zbl 1457.03059 Trans. Am. Math. Soc. 372, No. 3, 1631-1670 (2019). Reviewer: Patrizio Cintioli (Camerino) MSC: 03D30 PDFBibTeX XMLCite \textit{U. Andrews} et al., Trans. Am. Math. Soc. 372, No. 3, 1631--1670 (2019; Zbl 1457.03059) Full Text: DOI
Calvert, W.; Frolov, A.; Harizanov, V.; Knight, J.; McCoy, C.; Soskova, A.; Vatev, S. Strong jump inversion. (English) Zbl 1444.03138 J. Log. Comput. 28, No. 7, 1499-1522 (2018). MSC: 03D45 03C57 03D25 PDFBibTeX XMLCite \textit{W. Calvert} et al., J. Log. Comput. 28, No. 7, 1499--1522 (2018; Zbl 1444.03138) Full Text: DOI arXiv
Elwes, Richard; Lewis-Pye, Andy; Löwe, Benedikt; Macpherson, Dugald; Normann, Dag; Sorbi, Andrea; Soskova, Alexandra A.; Soskova, Mariya I.; van Emde Boas, Peter; Wainer, Stan Obituary: S. Barry Cooper (1943–2015). (English) Zbl 1395.01048 Computability 7, No. 2-3, 103-131 (2018). MSC: 01A70 PDFBibTeX XMLCite \textit{R. Elwes} et al., Computability 7, No. 2--3, 103--131 (2018; Zbl 1395.01048) Full Text: DOI
Soskova, Alexandra A.; Soskova, Mariya I. Enumeration reducibility and computable structure theory. (English) Zbl 1485.03118 Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 10010, 271-301 (2017). MSC: 03C57 03D30 03D45 PDFBibTeX XMLCite \textit{A. A. Soskova} and \textit{M. I. Soskova}, Lect. Notes Comput. Sci. 10010, 271--301 (2017; Zbl 1485.03118) Full Text: DOI
Soskova, Alexandra A.; Soskov, Ivan N. Quasi-minimal degrees for degree spectra. (English) Zbl 1327.03036 J. Log. Comput. 23, No. 6, 1319-1334 (2013). MSC: 03D45 03D30 03C57 PDFBibTeX XMLCite \textit{A. A. Soskova} and \textit{I. N. Soskov}, J. Log. Comput. 23, No. 6, 1319--1334 (2013; Zbl 1327.03036) Full Text: DOI
Soskova, Alexandra (ed.); Cooper, S. Barry (ed.); Sorbi, Andrea (ed.) Special issue: Selected papers based on the presentations at the logic colloquium 2009, Sofia, Bulgaria, July 31 – August 5, 2009, and the workshop on computability theory 2009. (English) Zbl 1283.03013 J. Log. Comput. 22, No. 4, 667-952 (2012). MSC: 03-06 03C57 03Dxx 00B25 PDFBibTeX XML
Löwe, Benedikt (ed.); Normann, Dag (ed.); Soskov, Ivan (ed.); Soskova, Alexandra (ed.) Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. (English) Zbl 1221.68025 Lecture Notes in Computer Science 6735. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). xiii, 319 p. (2011). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{B. Löwe} (ed.) et al., Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 -- July 2, 2011. Proceedings. Berlin: Springer (2011; Zbl 1221.68025) Full Text: DOI
Soskova, Alexandra A.; Soskov, Ivan N. A jump inversion theorem for the degree spectra. (English) Zbl 1165.03018 J. Log. Comput. 19, No. 1, 199-215 (2009). MSC: 03D28 03C57 PDFBibTeX XMLCite \textit{A. A. Soskova} and \textit{I. N. Soskov}, J. Log. Comput. 19, No. 1, 199--215 (2009; Zbl 1165.03018) Full Text: DOI
Soskova, Alexandra A. \(\omega \)-degree spectra. (English) Zbl 1142.03355 Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 544-553 (2008). MSC: 03D30 PDFBibTeX XMLCite \textit{A. A. Soskova}, Lect. Notes Comput. Sci. 5028, 544--553 (2008; Zbl 1142.03355) Full Text: DOI
Soskova, Alexandra A. Relativized degree spectra. (English) Zbl 1157.03023 J. Log. Comput. 17, No. 6, 1215-1233 (2007). Reviewer: Andrei S. Morozov (Novosibirsk) MSC: 03D45 03C57 03D30 PDFBibTeX XMLCite \textit{A. A. Soskova}, J. Log. Comput. 17, No. 6, 1215--1233 (2007; Zbl 1157.03023) Full Text: DOI
Soskova, Alexandra A. A jump inversion theorem for the degree spectra. (English) Zbl 1142.03354 Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 716-726 (2007). MSC: 03D30 PDFBibTeX XMLCite \textit{A. A. Soskova}, Lect. Notes Comput. Sci. 4497, 716--726 (2007; Zbl 1142.03354) Full Text: DOI
Soskova, Alexandra A. Relativized degree spectra. (English) Zbl 1142.03353 Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 546-555 (2006). MSC: 03D30 PDFBibTeX XMLCite \textit{A. A. Soskova}, Lect. Notes Comput. Sci. 3988, 546--555 (2006; Zbl 1142.03353) Full Text: DOI
Soskova, Alexandra Properties of co-spectra of joint spectra of structures. (English) Zbl 1474.03100 God. Sofiĭ. Univ., Fak. Mat. Inform. 97, 23-40 (2005). MSC: 03D30 PDFBibTeX XMLCite \textit{A. Soskova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 97, 23--40 (2005; Zbl 1474.03100) Full Text: Link
Soskova, Alexandra A. Minimal pairs and quasi-minimal degrees for the joint spectra of structures. (English) Zbl 1115.03053 Cooper, S. Barry (ed.) et al., New computational paradigms. First conference on computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8–12, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26179-6/pbk). Lecture Notes in Computer Science 3526, 451-460 (2005). MSC: 03D45 03D30 03D75 PDFBibTeX XMLCite \textit{A. A. Soskova}, Lect. Notes Comput. Sci. 3526, 451--460 (2005; Zbl 1115.03053) Full Text: DOI
Soskova, A.; Soskov, I. Co-spectra of joint spectra of structures. (English) Zbl 1086.03035 God. Sofij. Univ., Fak. Mat. Inform. 96, 35-44 (2004). MSC: 03D75 03D45 03D30 03C57 PDFBibTeX XMLCite \textit{A. Soskova} and \textit{I. Soskov}, God. Sofiĭ. Univ., Fak. Mat. Inform. 96, 35--44 (2004; Zbl 1086.03035)
Soskova, Alexandra An external approach to abstract data types. I: Computability on abstract data type. (English) Zbl 1079.68576 God. Sofij. Univ., Fak. Mat. Inform. 87(1993), No. 1, 47-59 (1999). MSC: 68Q65 03D45 03D65 PDFBibTeX XMLCite \textit{A. Soskova}, God. Sofiĭ. Univ., Fak. Mat. Inform. 87, No. 1, 47--59 (1999; Zbl 1079.68576)
Soskova, Alexandra A.; Soskov, Ivan N. Admissibility in \(\Sigma_n^0\)-enumerations. (English) Zbl 1079.03542 God. Sofij. Univ., Fak. Mat. Inform. 90(1996), No. 1, 77-90 (1998). MSC: 03D75 03D70 PDFBibTeX XMLCite \textit{A. A. Soskova} and \textit{I. N. Soskov}, God. Sofiĭ. Univ., Fak. Mat. Inform. 90, No. 1, 77--90 (1998; Zbl 1079.03542)
Soskova, Alexandra A. Effective structures. (English) Zbl 0872.03031 Math. Log. Q. 43, No. 2, 235-250 (1997). Reviewer: M.M.Arslanov (Kazan’) MSC: 03D45 03D75 PDFBibTeX XMLCite \textit{A. A. Soskova}, Math. Log. Q. 43, No. 2, 235--250 (1997; Zbl 0872.03031) Full Text: DOI
Soskova, Al. A. Effective abstract structures. (English) Zbl 0732.03038 C. R. Acad. Bulg. Sci. 43, No. 10, 5-8 (1990). Reviewer: C.Calude (Bucureşti) MSC: 03D75 68Q65 PDFBibTeX XMLCite \textit{Al. A. Soskova}, C. R. Acad. Bulg. Sci. 43, No. 10, 5--8 (1990; Zbl 0732.03038)
Soskova, A. A. Computability on many-sorted partial structures. (English) Zbl 0704.03027 C. R. Acad. Bulg. Sci. 43, No. 1, 9-11 (1990). MSC: 03D75 PDFBibTeX XMLCite \textit{A. A. Soskova}, C. R. Acad. Bulg. Sci. 43, No. 1, 9--11 (1990; Zbl 0704.03027)
Soskova, Alexandra A.; Soskov, Ivan N. Effective enumerations of abstract structures. (English) Zbl 0779.03012 Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 361-372 (1990). MSC: 03D75 PDFBibTeX XMLCite \textit{A. A. Soskova} and \textit{I. N. Soskov}, in: Mathematical logic. Proceedings of the summer school and conference dedicated to the ninetieth anniversary of Arend Heyting (1898-1980), held in Chaika, Bulgaria, September 13-23, 1988. New York: Plenum Press. 361--372 (1990; Zbl 0779.03012)